Walther Neuper

24 papers Journal 1Unranked 12
YearRankTypeTitle / Venue / Authors
2025 — ed.
Proceedings The 13th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2024, Nancy, France, 1-2nd July 2024.
ThEdu@CADE
Julien Narboux, Walther Neuper, Pedro Quaresma
2024 — ed.
Proceedings 12th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2023, Rome, Italy, 5th July 2023.
ThEdu@CADE
Julien Narboux, Walther Neuper, Pedro Quaresma
2023 — conf
Interactive Formal Specification for Mathematical Problems of Engineers.
ThEdu@CADE
Walther Neuper
2023 — ed.
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software, ThEdu@FLoC 2022, Haifa, Israel, 11 August 2022.
ThEdu@FLoC
Pedro Quaresma, João Marcos, Walther Neuper
2022 — conf
Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover.
ICCHP-AAATE (1)
Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr
2022 — ed.
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2021, (Remote) Carnegie Mellon University, Pittsburgh, PA, United States, 11 July 2021.
ThEdu@CADE
João Marcos, Walther Neuper, Pedro Quaresma
2022 — conf
Towards an Accessible Mathematics Working Environment Based on Isabelle/VSCode.
ThEdu@FLoC
Klaus Miesenberger, Walther Neuper, Bernhard Stöger, Makarius Wenzel
2020 — conf
Lucas-Interpretation on Isabelle's Functions.
ThEdu@IJCAR
Walther Neuper
2020 — ed.
Proceedings 8th International Workshop on Theorem Proving Components for Educational Software, ThEdu@CADE 2019, Natal, Brazil, 25th August 2019.
ThEdu@CADE
Pedro Quaresma, Walther Neuper, João Marcos
2020 — ed.
Proceedings 9th International Workshop on Theorem Proving Components for Educational Software, ThEdu@IJCAR 2020, Paris, France, 29th June 2020.
ThEdu@IJCAR
Pedro Quaresma, Walther Neuper, João Marcos
2019 — ed.
Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath Workshops, Doctoral Program and Work in Progress at the Conference on Intelligent Computer Mathematics 2018 co-located with the 11th Conference on Intelligent Computer Mathematics (CICM 2018), Hagenberg, Austria, August 13-17, 2018.
CICM Workshops
Osman Hasan, Abdou Youssef, Adam Naumowicz, William M. Farmer, Cezary Kaliszyk, Diane Gallois-Wong, Florian Rabe, Gabriel Dos Reis, Grant O. Passmore, James H. Davenport, Markus Pfeiffer, Michael Kohlhase, Serge Autexier, Sofiène Tahar, Thomas Koprucki, Umair Siddique, Walther Neuper, Wolfgang Windsteiger, Wolfgang Schreiner, Wolfram Sperber, Zoltán Kovács
2019 — ed.
Proceedings 7th International Workshop on Theorem proving components for Educational software, ThEdu@FLoC 2018, Oxford, United Kingdom, 18 july 2018.
ThEdu@FLoC
Pedro Quaresma, Walther Neuper
2018 — conf
Mechanical Explanation in "Systems that Explain Themselves".
CICM Workshops
Walther Neuper
2018 — ed.
Proceedings 6th International Workshop on Theorem proving components for Educational software, ThEdu@CADE 2017, Gothenburg, Sweden, 6 Aug 2017.
ThEdu@CADE
Pedro Quaresma, Walther Neuper
2018 — conf
Technologies for "Complete, Transparent & Interactive Models of Math" in Education.
ThEdu@FLoC
Walther Neuper
2017 — ed.
Joint Proceedings of the FM4M, MathUI, and ThEdu Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2016 co-located with the 9th Conference on Intelligent Computer Mathematics (CICM 2016), Bialystok, Poland, July 25-29, 2016.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Andrea Kohlhase, Paul Libbrecht, Bruce R. Miller, Adam Naumowicz, Walther Neuper, Pedro Quaresma, Frank Wm. Tompa, Martin Suda
2017 — conf
Prototyping "Systems that Explain Themselves" for Education.
ThEdu@CADE
Alan Krempler, Walther Neuper
2016 — conf
Lucas-Interpretation from Users' Perspective.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Walther Neuper
2016 — conf
Rigor of TP in Educational Engineering Software.
FM4M/MathUI/ThEdu/DP/WIP@CIKM
Walther Neuper
2014 — conf
GCD - A Case Study on Lucas-Interpretation.
CICM Workshops
Walther Neuper
2014 — ed.
Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM co-located with Conferences on Intelligent Computer Mathematics (CICM 2014), Coimbra, Portugal, July 7-11, 2014.
CICM Workshops
Matthew England, James H. Davenport, Andrea Kohlhase, Michael Kohlhase, Paul Libbrecht, Walther Neuper, Pedro Quaresma, Alan P. Sexton, Petr Sojka, Josef Urban, Stephen M. Watt
2013 — conf
Computer algebra implemented in Isabelle's function package under Lucas-interpretation - a case study.
CICM Workshops
Walther Neuper
2011 — conf
Automated Generation of User Guidance by Combining Computation and Deduction
ThEdu
Walther Neuper
2010 J jnl
CTP-based programming languages?: considerations about an experimental design.
ACM Commun. Comput. Algebra
Florian Haftmann, Cezary Kaliszyk, Walther Neuper