Walther Neuper

Orcid: 0000-0002-4365-3576

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Interactive Formal Specification for Mathematical Problems of Engineers.
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.
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.
Proceedings of the Computers Helping People with Special Needs, 2022

2020
Lucas-Interpretation on Isabelle's Functions.
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.
Proceedings of the Proceedings 7th International Workshop on Theorem proving components for Educational software, 2018

Mechanical Explanation in "Systems that Explain Themselves".
Proceedings of the Joint Proceedings of the CME-EI, 2018

2017
Prototyping "Systems that Explain Themselves" for Education.
Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017

2016
Rigor of TP in Educational Engineering Software.
Proceedings of the Joint Proceedings of the FM4M, 2016

Lucas-Interpretation from Users' Perspective.
Proceedings of the Joint Proceedings of the FM4M, 2016

2014
GCD - A Case Study on Lucas-Interpretation.
Proceedings of the Joint Proceedings of the MathUI, 2014

2013
Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study.
Proceedings of the Joint Proceedings of the MathUI, 2013

2011
Automated Generation of User Guidance by Combining Computation and Deduction
Proceedings of the Proceedings First Workshop on CTP Components for Educational Software, 2011

2010
CTP-based programming languages?: considerations about an experimental design.
ACM Commun. Comput. Algebra, 2010


  Loading...