Walther Neuper

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 11

Top Topics

Working Environment

Top Venues

FM4M/MathUI/ThEdu/DP/WIP@CIKM

Publications

Pedro Quaresma, João Marcos, Walther Neuper
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software. CoRR (2023)
Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode. CoRR (2023)
Walther Neuper
Interactive Formal Specification for Mathematical Problems of Engineers. ThEdu@CADE (2023)
João Marcos, Walther Neuper, Pedro Quaresma
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software. CoRR (2022)
Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr
Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover. ICCHP-AAATE (1) (2022)
Walther Neuper
Lucas-Interpretation on Isabelle's Functions. ThEdu@IJCAR (2020)
Walther Neuper
Mechanical Explanation in "Systems that Explain Themselves". CICM Workshops (2018)
Walther Neuper
Technologies for "Complete, Transparent & Interactive Models of Math" in Education. ThEdu@FLoC (2018)
Alan Krempler, Walther Neuper
Prototyping "Systems that Explain Themselves" for Education. ThEdu@CADE (2017)
Walther Neuper
Lucas-Interpretation from Users' Perspective. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Walther Neuper
Rigor of TP in Educational Engineering Software. FM4M/MathUI/ThEdu/DP/WIP@CIKM (2016)
Walther Neuper
GCD - A Case Study on Lucas-Interpretation. CICM Workshops (2014)
Walther Neuper
Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study. CICM Workshops (2013)
Walther Neuper
Automated Generation of User Guidance by Combining Computation and Deduction ThEdu (2011)
Florian Haftmann, Cezary Kaliszyk, Walther Neuper
CTP-based programming languages?: considerations about an experimental design. ACM Commun. Comput. Algebra 44 (1/2) (2010)