Walther Neuper

24 papers Journal 1Unranked 12

Year	Rank	Type	Title / 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