Publications and Theses

Refereed Papers

 * Walther Neuper, Bernhard Stöger and Makarius Wenzel. [[Media:Paper-Isabelle-WS22.pdf | Towards Accessible Formal Mathematics with ISAC and Isabelle/VSCode]]. Submission to the Isabelle Workshop 2022. [[Media:Presentation_IICHP-4-WNfig.pdf | Presentation] at IICHP.


 * Bernhard Stöger, Klaus Miesenberger, Walther Neuper, Makarius Wenzel, Thomas Neumayr. [[Media:IICHP-Paper.pdf | Designing an Inclusive and Accessible Mathematical Learning Environment Based on a Theorem Prover]]. In: TODO Springer 2022.
 * Klaus Miesenberger, Walther Neuper, Bernhard Stöger and Makarius Wenzel. [[Media:Mawen-isa.pdf | Towards an Accessible Mathematics Working Environment in Education]]. to appear in EPTCS.
 * Reinhard Koutny, Klaus Miesenberger, Walther Neuper and Bernhard Stöger. [[Media:ThEdu21_paper_2.pdf | Make Isabelle Accessible!]]. Contribution to ThEdu'21.


 * Walther Neuper, Lucas-Interpretation on Isabelle’s Functions. In P. Quaresma et.al. (Eds.): Proceedings 9th International Workshop on Theorem Proving Components for Educational Software EPTCS 328, Vol.328, pp. 79-95, 2020.


 * Walther Neuper, Technologies for "Complete, Transparent & Interactive Models of Math" in Education. In P. Quaresma and W. Neuper (Eds.): 7th International Workshop on Theorem proving components for Educational software (ThEdu’18) EPTCS 267, 2019, pp. 76-95.


 * Walther Neuper, Mechanical Explanation in "Systems that Explain Themselves". In Osman Hasan et al., editors: Workshop Papers at 11th Conference on Intelligent Computer Mathematics CICM 2018, Conference on Intelligent Computer Mathematics CICM, Hagenberg, Austria. [[Media:Mechanise-explain.pdf | Extended abstract]].


 * Walther Neuper, Lucas Interpretation from Programmers' Perspective. Extended abstract submitted to ThEdu'18 at FLoC. [[Media:Lucin-prog-view.pdf | Draft]], [[Media:Lucin-prog-view-present.pdf | Slides]].


 * Walther Neuper, “Speaking“ Mathematics with “Systems that explain themselves”. [[Media:RR_neuper.pdf | Draft]] rejected by PME 2018, the PME42-Review demonstrates common difficulties in interdisciplinary communication.


 * Walther Neuper, “Systems that explain themselves” für neue Ansätze in Technikdidaktik. Submitted to B. Zinn, R. Tenberg & D. Pittich (Eds.), Journal of Technical Education (JOTED), 2018. [[Media:Tech-did-sys-explain.pdf | Draft]].


 * Walther Neuper, Technology of Deduction for “Systems that Explain Themselves”. Extended Abstract for ThEdu'17 at CADE26, Gothenburg, Sweden, 2017. [[Media:Ded-for-sys-explain.pdf | Draft]], [[Media:Ded-for-present.pdf | Slides]].


 * Alan Krempler, Walther Neuper, Prototyping “Systems that Explain Themselves” for Education. In P. Quaresma and W. Neuper (Eds.): 6th International Workshop on Theorem proving components for Educational software (ThEdu’17) EPTCS 267, 2018, pp. 89–107, http://dx.doi.org/10.4204/EPTCS.267.6.


 * N.n., Essentials missed by mathematics education -- for good reasons, and with bad consequences. Draft for: Acta Didactica Napocensia, to appear. [[Media:Math-edu-miss.pdf | Preprint]].


 * Walther Neuper, Formal Abstraction in Engineering Education -- Challenges and Technology Support. In: Acta Didactica Napocensia, Volume 10, Number 1, p.1-18, Preprint [[Media:Sys-explain-eng-edu.pdf | with numbered sections]] 2017.


 * Walther Neuper, Lucas-Interpretation from Users’ Perspective. In: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM, Bialystok, Poland, 2016 PDF.


 * Walther Neuper, Rigor of TP in Educational Engineering Software. In: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM, Bialystok, Poland, 2016 PDF.


 * Walther Neuper, GCD — A Case Study on Lucas-Interpretation. In: Joint Proceedings of the MathUI, OpenMath and ThEdu Workshops and Work in Progress track at CICM, Coimbra, Portugal, 2014 PDF.


 * Jan ROCNIK, Trials with TP-based Programming for Interactive Course Material. In: F.Maric and W.Neuper, editors, eJMT the Electronic Journal of Mathematics & Technology, volume 7, number 2 (Special Issue February), pages 91-109, 2013. [[Media:Jrocnik_eJMT.pdf | Preprint]].


 * Walther Neuper, On the Emergence of TP-based Educational Math Assistants. In: F.Maric and W.Neuper, editors, eJMT the Electronic Journal of Mathematics & Technology, volume 7, number 2 (Special Issue February), pages 110-129, 2013. [[Media:Newgen.pdf | Preprint]].


 * Gabriella DAROCZY, Walther Neuper, Error-Patterns within “Next-Step-Guidance” in TP-based Educational Systems. In: F.Maric and W.Neuper, editors, eJMT the Electronic Journal of Mathematics & Technology, volume 7, number 2 (Special Issue February), pages 175-194, 2013. [[Media:Gdaroczy-eJMT.pdf | Preprint]].


 * Walther Neuper, Automated generation of user guidance by combining computation and deduction. In: Pedro Quaresma and Ralph-Johan Back, editors, Proceedings First Workshop on CTP Components for Educational Software, Wroclaw, Poland, 31th July 2011, volume 79 of Electronic Proceedings in TheoreticalComputer Science, pages 82–101. Open Publishing Association, 2012.


 * Florian Haftmann, Cezary Kaliszyk, Walther Neuper. CTP-based programming languages? Considerations about an experimental design. ACM Communications in Computer Algebra, 44(1/2):27 - 41, 2010. Preprint ([[Media:Plmms-10.pdf | PDF]], [[Media:100708-plmms.pdf | presentation]])


 * Walther Neuper, Common grounds for modelling mathematics in educational software. In: The International Journal for Technology in Mathematics Education (IJTME), Vol.17, No.3, 2010. Preprint ([[Media:Ijtme09.pdf | PDF]], [[Media:090711-ConMAs.pdf | presentation]] at CADGME 09)


 * Alan Krempler and Walther Neuper, Formative Assessment for User Guidance In Single Stepping Systems. In: Proceedings of ICL08, Villach, Austria, Sept.24-26 2008. ([[Media:Icl08.pdf | PDF]], [[Media:Icl08pres.pdf | presentation]])


 * Walther Neuper and Franz Wotawa. Model-based Reasoning in Mathematical Tutoring Systems - Preliminary Thoughts and Problems to be solved. In: Proceedings of Model Based Systems and Qualitative Reasoning for Intelligent Tutoring Systems, International workshop at ITS 2002, San Sebastian, Spain, June 2, 2002. ( [[Media:MbsqritsWorkshop02.pdf | PDF]])


 * Walther A. Neuper. A `Calculemus-approach to high-school math ? In: Linton, Steve and Sebastiani, Roberto, Proceedings of CALCULEMUS-2001, 9th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Siena, Italy, June 21st-22nd, 2001. ([[Media:Calculemus01.pdf | PDF]])

Theses
These theses have been supervised by staff with respective "venia docendi" in cooperation with Walther Neuper. The entries are listed with latest ones on top:

Since 2013

 * Marco Mahringer Formula Editors for TP-based Systems. State of the Art and Prototype Implementation in ISAC. Master Thesis at University of Applied Sciences Hagenberg 2018. ([[Media:Mmahringer-master.pdf |PDF]]).


 * Natalie Karl Developing an Inclusive Approach for Representing Mathematical Formulas. Master Thesis at University of Applied Sciences Hagenberg 2016. ([[Media:Masterthesis_NatalieKarl.pdf | Thesis]]).


 * Mathias Lehnfeld Introducing Parallelism in an Educational Mathematics System Developed in a Functional Programming Language. Master Thesis at University of Applied Sciences Hagenberg 2014. ([[Media:Mlehnfeld-master.pdf |thesis]], [[Media:Mlehnfeld-ma-present.pdf | presentation]]).


 * Tom Zillinger A General Web-Interface of an Assessment-Engine Instantiated for a TP-based Mathematics Assistant. Master Thesis at IICM at TU Graz 2014. ([[Media:Tzilling-master.pdf | thesis]], [] presentation).


 * Gabriella Daróczy. Cognitive Aspects of Designing Dialogues in Theorem-Prover Based Mathematics Assistants; Implementation of Error-Patterns Guiding Dialogues in ISAC. Master Thesis at ME:CogSci in Vienna, 2013. ([[Media:Gdaroczy-ma.pdf | thesis]]).

2012 - 2008

 * Jan Rocnik, Towards Interactive Course Material for Signal Processing based on Isabelle/ISAC. Baccalaureate Thesis at IST, TU Graz. 2012. [[Media:Jrocnik_bakk.pdf | thesis]], [[Media:Jrocnik_present.pdf | presentation]]).


 * Markus Kienleiter, Towards “NextStep Userguidance” in a Mechanized Math Assistant. Baccalaureate Thesis at IICM, TU Graz. 2012. ([[Media:Mkienl_bakk.pdf | thesis]], [[Media:Mkienl_present.pdf | presentation]]).


 * Franz Kober. Logging High-Level Interactions in a Mechanized Math Assistant. Baccalaureate Thesis at IICM, TU Graz. 2012. ([[Media:Fkober_bakk.pdf | thesis]], [[Media:Fkober_present.pdf | presentation]]).


 * Marco Steger, Userinterfaces fur Computer Theorem Prover, Machbarkeits-Studie im Isac-Projekt. Bakkalaureats-Arbeit am Inst.f.Softwaretechnologie, TU Graz, unter Betreuung von Prof. Dipl.-Ing. Dr.techn. Bernhard Aichernig, Juni 2011 ([[Media:Msteger-bakk.pdf | Thesis]], [[Media:Msteger-bakk-pres.pdf | Präsentation]])


 * Mathias Lehnfeld, Verbindung von "Computation" und "Deduction" im ISAC System. Projektpraktikum am Inst.f.Computersprachen, TU Wien, unter Betreuung von Univ.Prof.Dr. Jens Knoop, Mai 2011 ([[Media:Bakk-mlehnfeld-bericht.pdf | Bericht]], [[Media:Bakk-mlehnfeld-present.pdf | Präsentation]])

2008 - 2006

 * Martin Moschitz, Prototyp eines Authoring Tools für das ISAC System. Seminar/Projekt am Institut für Softwaretechnologie, Graz University of Technology, 2008. ([[Media:MM-semproj.pdf | PDF]])


 * Wolfgang Kandlbauer, Feasibilitystudy: Transfer ISACs graphical userinterface to Web2.0 technology. Bachelor Thesis at University of Technology, Institute for Information Systems and Computer Media (IICM), Graz, Austria. 2007. ([[Media:WK-bakk.pdf | PDF]]).


 * Günther Schröttner, Feasibilitystudy: Communication of a Web 2.0 Browser with an Interactive Mathematics Server. Bachelor Thesis at University of Technology, Institute for Information Systems and Computer Media (IICM), Graz, Austria. 2007. ([[Media:GS-bakk.pdf | PDF]]).

2006 - 2003

 * Nebojsa Simic, A GUI-Component for Interactive Construction of Calculations. Seminar/Projekt at University of Technology, Institute for Software Technoloy, Graz, Austria. 2006. ([[Media:NC-proj-sem.pdf | PDF]]).


 * Robert Könighofer, Presentation of Mathematical Knowledge in the ISAC-System, Seminar/Projekt and Bachelor Thesis at University of Technology, Institute for Software Technoloy, Graz, Austria. 2006. ([[Media:RK-bachelor-thesis.pdf | PDF]]).


 * Martin Lang, Beispielsorientierter Zugang zu ISACs Mathematik Wissensbasis, Seminar/Projekt at University of Technology, Institute for Software Technoloy, Graz, Austria. 2006. ([[Media:Da-mlang.pdf | PDF]]).


 * Alan Krempler, Architectural Design for Integrating an Interactive Dialog Guide into a Mathematical Tutoring System, Masters Thesis at University of Technology, Institute for Software Technoloy, Graz, Austria. 2005. ([[Media:Da-krempler.pdf | PDF]]).


 * Richard Gradischnegg, Eine Java/SML--Schnittstelle fuer ISAC auf Basis von XML. Masters Thesis at University of Applied Sciences, Dpt. Software Engineering, Hagenberg, Upper Austria, 2004. ([[Media:Da-gradischnegg.pdf | PDF]]).


 * Mario Hochreiter, Design and Implementation of a Graphical User Interface for the Math-Learning-System ISAC. Masters Thesis at University of Applied Sciences, Dpt. Software Engineering, Hagenberg, Upper Austria 2004. ([[Media:Da-hochreiter.pdf | PDF]]).

2003 - 2000

 * Andreas Griesmayer, Architecture and Knowledge-Representation of the Web-based Math-Learning-System ISAC. Masters Thesis at University of Technology, Institute for Software Technoloy, Graz, Austria. 2003. ([[Media:Da-griesmayer.pdf | PDF]])


 * Matthias Goldgruber, Algebraische Simplifikation mittels Rewriting in ISAC. Masters Thesis at University of Technology, Institute for Software Technoloy, Graz, Austria. 2003. ([[Media:DA-M02-main.pdf | PDF]])


 * Richard Lang, Elementare Gleichungen der Mittelschulmathematik in der ISAC Wissensbasis. Masters Thesis at University of Technology, Institute for Software Technoloy, Graz, Austria. 2003. ([[Media:Da-rlang.pdf | PDF]])


 * Stefan Karnel, Grösste gemeinsame Teiler in Polynomringen und Implementierung im ISAC-Projekt. Masters Thesis at University of Technology, Institute of Mathematics, Graz, Austria. 2002. [[Media:GGTs-von-Polynomen.pdf | PDF]].


 * Thomas M. Fink. Benutzerschnittstelle für ein Mathematik-Lernsystem im WWW. Masters thesis, Institute for Software Technology, TU-Graz, Austria, April 2001. ([[Media:Tf-dipl.pdf | PDF]])


 * Walther A. Neuper. Reactive user-guidance by an autonomous engine doing high-school math. [[Media:Wn-diss.pdf | PhD-thesis]], Institute for Software Technology, TU-Graz, Austria, April 2001.

Papers and Presentations on Didactics

 * Walther Neuper, Mechanised Explanation in "Systems that Explain Themselves". Magic caused by Confusion of Languages? [[Media:Mechanise-expl-prensent.pdf | Presentation]] at Workshop "Computer Mathematics in Education --- Enlightenment or Incantation?" affiliated to CICM, Hagenberg, Austria, Aug. 17, 2018.


 * Walther Neuper, Mechanised Justification in "Systems that Explain Themselves" for Mathematics Education. [[Media:Justify-sys-explain-present.pdf | Presentation]] at Workshop "Justification in Doing Math (eduTPS)" affiliated to CADGME, Coimbra, Portugal, June 27, 2018.


 * Johannes Reitinger, Walther Neuper. Begreifen und Mechanisieren beim Algebra Einstieg. Endbericht des IMST Projektes 1063, Klagenfurt 2008 ([[Media:ID1063-endbericht.pdf | PDF]]).


 * Walther Neuper. A Transparent Mathematics Engine - Gains for Flexible Tutoring. In: Michael Auer, Proceedings ICL'02, International Workshop 'Interactive Computer Aided Learning, Villach, Austria, August 25 to 27 September. Kassel University Press 2002. ([[Media:Icl02.pdf | PDF]])


 * Walther A. Neuper. What teachers can request from CAS-designers, ICTMT5, Klagenfurt, Austria, August 2001. ([[Media:RequestCAS.pdf.gz | PDF]])


 * Matthias Goldgruber, Andreas Griesmayer, Richard Lang, Stefan Karnel, Alan Krempler, Walther Neuper. Re-engineering algebra systems for education. In: J.Böhm, B.Kutzler. Proceedings of VISIT-ME 2002. ACDCA, Austrian Center for Didactics of Computer Algebra. ([[Media:Visitme02-all.pdf | PDF]])


 * Walther Neuper. Re-engineering von Algebra-Systemen zum Mathematik-Lernen. In: J.Böhm, B.Kutzler. Proceedings of VISIT-ME 2002. ACDCA, Austrian Center for Didactics of Computer Algebra. ([[Media:Visitme02-intro.pdf | PDF]])


 * Matthias Goldgruber, Richard Lang. Eine explizite Hierarchie von Typen elementarer Gleichungen. In: J.Böhm, B.Kutzler. Proceedings of VISIT-ME 2002. ACDCA, Austrian Center for Didactics of Computer Algebra. ([[Media:Visitme02-M023.pdf | PDF]])


 * Stefan Karnel. Computer Algebra für Brüche - angepasst an Ausbildungszwecke. In: J.Böhm, B.Kutzler. Proceedings of VISIT-ME 2002. ACDCA, Austrian Center for Didactics of Computer Algebra. ([[Media:Visitme02-M01-paper.PDF | PDF]])


 * Alan Krempler. Zum Design eines elektronischen Arbeitsblattes für Mathematik. In: J.Böhm, B.Kutzler. Proceedings of VISIT-ME 2002. ACDCA, Austrian Center for Didactics of Computer Algebra. ([[Media:Visitme02-p01-paper.pdf | PDF]])

System descriptions
These descriptions might be of historical interest.


 * Walther Neuper. ISAC - a transparent single-stepping system for applied mathematics. Submitted to CADE07. ([[Media:System-descr.pdf | PDF]])


 * The ISAC-Team. ISAC Design Documents. Technical Report, Institute for Software Technology, TU-Graz, Austria, August 2004. ([[Media:Isac-docu.pdf | PDF]])


 * Thomas Oberhuber. ISAC-Bridge. Institute for Software Technology, TU-Graz, Austria, 2001. ([[Media:Tober-sem.pdf | PDF]])


 * Walther Neuper. Mathematics tutoring II: A mathematics-engine for guided interaction. Technical Report IST-TEC-99-15, Institute for Software Technology, TU-Graz, Austria, August 1999. (PostScript)


 * Walter A. Neuper. Mathematics tutoring I: Problem types for mechanized problem solving. Technical Report IST-TEC-99-07, Institute for Software Technology, TU-Graz, Austria, February 1999. ([[Media:IST-TEC-99-07.pdf | PDF]])


 * Interfaces for developers of math knowledge and tools for experiments in symbolic computation ([[Media:Mat-eng.pdf | PDF]])

Miscellaneous

 * Mathematics, Reflection, Computers and the Miracle of Learning. Thoughts on Educational Software for Mathematics. ([[Media:Reflection.pdf | PDF]]) Preparations for the OEMG meeting at Bozen in Sep.03.


 * Wie funktioniert ein Algebra System? Vor-Information zu Veranstaltungen in der Lehrerfortbildung. ([[Media:Pis.pdf | PDF]])


 * Künftige Software für den Mathematikunterricht. Arbeitspapier für die AMMU (Arbeitsgruppe moderner Mathematikunterricht). Sept.01. ([[Media:Ammu1.pdf | PDF]])


 * What can ISAC learn/adopt from MoWGLI ? What can ISAC contribute ? Preparation for a meeting at MKM, Bologna Feb.03. ([[Media:Isac-mowgli2.pdf | PDF]])


 * Foils for the talk at ICL, 25 to 27 September 2002 in Villach Austria ([[Media:Iicl02-foils.pdf | PDF]])


 * Foils for the talk at ICTMT5, Aug. 6-9, 2001, Klagenfurt Austria ([[Media:010806-ictmt5-talk.pdf | PDF]])


 * Foils for the presentation at ICTMT5, Aug. 6-9, 2001, Klagenfurt Austria ([[Media:010806-ictmt5-pres.pdf | PDF]])

The reader may apologize that *.pdf-files older than 2005 do not display figures!



















