Walther Neuper

According to our database, Walther Neuper authored at least 13 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Interactive Formal Specification for Mathematical Problems of Engineers.

Walther Neuper

Proceedings of the Proceedings 12th International Workshop on Theorem proving components for Educational software, 2023

2022

Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode.

Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel

Proceedings of the Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, 2022

Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover.

Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr

Proceedings of the Computers Helping People with Special Needs, 2022

2020

Lucas-Interpretation on Isabelle's Functions.

Walther Neuper

Proceedings of the Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, 2020

2018

Technologies for "Complete, Transparent & Interactive Models of Math" in Education.

Walther Neuper

Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Mechanical Explanation in "Systems that Explain Themselves".

Walther Neuper

Proceedings of the Joint Proceedings of the CME-EI, 2018

2017

Prototyping "Systems that Explain Themselves" for Education.

Alan Krempler, Walther Neuper

Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

2016

Rigor of TP in Educational Engineering Software.

Walther Neuper

Proceedings of the Joint Proceedings of the FM4M, 2016

Lucas-Interpretation from Users' Perspective.

Walther Neuper

Proceedings of the Joint Proceedings of the FM4M, 2016

2014

GCD - A Case Study on Lucas-Interpretation.

Walther Neuper

Proceedings of the Joint Proceedings of the MathUI, 2014

2013

Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study.

Walther Neuper

Proceedings of the Joint Proceedings of the MathUI, 2013

2011

Automated Generation of User Guidance by Combining Computation and Deduction

Walther Neuper

Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

2010

CTP-based programming languages?: considerations about an experimental design.

Florian Haftmann, Cezary Kaliszyk, Walther Neuper

ACM Commun. Comput. Algebra, 2010