Credits

in alphabetical order

Dines Björner
initiated an R&D-project on educational math software MacSchubert at UNU/IIST in 1993 and brought Bruno Buchberger and Peter Lucas together. This was the first step towards the ISAC-project.

Bruno Buchberger
supervised Walther Neuper's thesis, provided the foundamental ideas for the structure of ISACs knowledgebase and contributed as an advisor in the late nineties.

Gabriella Daroczy
Gabriella Daróczy was the first student contributing from outside computer mathematics and software technology: her master thesis was done in cooperation with MEI:CogSci where she investigated approaches to mathematics learning from Cognitive Science and provided a design for extending ISAC's dialogue with "error patterns".

Thomas Fink
formulated the user-requirements for the first prototype, and built the frontend as a part of his diploma thesis in Telematics in 2001. He also provided for the availability of ISAC via www.

Bernhard Geiger
contributed his expertise in Signal Processing to the Baccalaureate Thesis of Jan Rocnik and thus valuably assisted in the first steps towards interactive course material at TUG based on Isabelle/ISAC.

Matthias Goldgruber
designed and implemented the elementary simplifiers for multivariate polynomials and rational terms within his diploma thesis at the Institute for Mathematics in 2002/03.

Richard Gradischnegg
implemented the basics of the bidirectional translation between SML and Java/XML based on Thomas' work; he did this work during his Praktikumsemester at FH Hagenberg 2003/04, and here is his diploma thesis.

Andreas Griesmayer
designed and implemented the xml-representation of the knowledgebase and the web-based communication between the compontents in 2002/03. His thesis describes part of his work. He also contributed as supervisor of later development phases 2005-2007.

Clemens Heuberger
supervises specific diplomatheses at the Institute for Mathematics concerning ISACs mathematics knowledgebase since 2002.

Mario Hochreiter
did the detailed design of the worksheet and implemented ISACs networking components and some basic functionality of the worksheet during his Praktikumsemester at FH Hagenberg in 2003/04. Here is the resulting diploma thesis.

Wolfgang Kandlbauer
did his Baccalaureate Thesis (abstract and bib, PostScript) in 2007. He assisted transfer ISAC's graphical userinterface to Web2.0 technology.

Natalie Karl
did her Master Thesis in a cooperation between FH Hagenberg and IIS Linz in 2016. She investigated possibilities to make formulas accessible for visually impaired people and implemented a tree representation augmented with auditive information in Isac.

Stefan Karnel
did his diploma thesis within the ISAC-project and finished his studies in Technical Mathematics in 2002; he made ISAC calculate with fractions based on concepts and algorithms of symbolic computation under supervision of Clemens Heuberger.

Markus Kienleitner
as a student of Softwareengineering and Economy at TUG, did his Bakk-Thesis (presentation) in 2011/12 at IICM in efficient cooperation with Franz Kober. He selected an appropriate rule-based system and used it to replace Java code in the WorksheetDialog.

Alois Kirchsteiger
as a student of Softwareengineering at FH Hagenberg, did his 'Praktikumssemester' in 2004/05 at IST. He implementation of some the worksheets features --- and he introduced Walther Neuper to ood/oop (thanks for the patience ;-).

Franz Kober
as a student of Softwareengineering and Economy at TUG, did his Bakk-Thesis (presentation) in 2011/12 at IICM in efficient cooperation with Markus Kienleitner. He implemented a UserLogger which records high-level interactions of the learner.

Georg Kompacher
as a student of Softwareentwicklung, worked within his 'Bakkarbeit B' in the summer-term 2006. His special tasks were to implement the browser dialogs (wrt. 'contexts') and to extend the parser in the bridge between the SML-kernel and the java front-end.

Robert Könighofer
as a student of Telematik, worked within his 'Bakkarbeit A' in the summer-term 2006. His special tasks are re-engineering the session dialog and generating html in the knowledge browsers. After finishing his thesis he greatly helped to make ISAC ready for a field-test.

Manuel Koschuch
as a student of Telematik, worked within a 'Seminar/Projekt' in 2005/06. His task made ISAC's front-end ready for interactive specification of problems, a task which partially relies on context-based access to the knowledge base.

Alan Krempler
designed ISACs overall architecture together with Andreas Griesmayer and was designer in charge of the dialog (diploma thesis). His long-term dedication (2002 - 2005 !) happily resolved the crucial step from phase 2 to phase 3.

Martin Lang
is a student of Telematik and worked within his 'Bakk-Seminar' and 'Bakk-Arbeit'. His task was to design and implement a presentation of examples like in traditional textbooks, and also to start them as examples for demonstration of problems. The documentation is here.

Richard Lang
implemented the hierarchy of elementary equations and the solving algorithms (thus he is the alpha-Tester of isacs program language) within his diploma thesis in 2002/03.

Mathias Lehnfeld
was the first student to contribute to ISAC's math-engine in 2011. He accompanied ISAC's update from Isabelle2002 to Isabelle2011 and the birth of the Lucas-Interpreter, where he implemented Isabelle's contexts in Isac (report, presentation). In 2014 in his master thesis at FH Hagenberg he helped to adapt Isac to Isabelle's parallel theory evaluation and parallelised session management in the Isac-core.

Johannes Loinig
as a student of Telematik, worked within a 'Seminar/Projekt' in 2005/06. His task provided for context-based access (the context is the respective calculation under construction) to ISAC's problem hierarchy.

Peter Lucas
supervised Walther Neuper's thesis, provided ISACs interactive conception and supported the start of the ISAC-project at his Institute for Software Technology in the late nineties. ISAC's key concept, Lucas Interpretation is named after him.

Marco Mahringer
did his Master Thesis in a cooperation between FH Hagenberg and IIS Linz in 2017. He used the user requirements from previous work and implemented an editor for 2-dimensional formulas. This included transfer of Isabelles AST translations from SML to Scala.

Diana Meindl
In 2011 started her Masters Thesis at RISC Linz under supervision of Wolfgang Schreiner. She improves previous work on cancellation of multivariate polynomials. She presents her work such that it can be translated to Isabelle/HOL's executable fragment in a straight forward manner.

Martin Moschitz
The goal for this thesis (abstract and bib, PDF) was: implement several hundred examples into the ISAC tutor for a field test. This goal only could be accomplished by quickly implementing some authoring tools.

Walther Neuper
based on his experience as a mathematics teacher, he provided ISAC's basic educational design under the supervision of Peter Lucas and Bruno Buchberger and he is the initial and current leader of the ISAC project.

Thomas Oberhuber
implemented a multi-user bridge between the frontend (Java) and the dialog/math-engine (SML) including several parsers for the first prototype in 2000/01.

Jan Rocnik
was the first "application programmer" using ISAC's TP-based programming language in his thesis: in 2011/12 he implemented the "Inverse Z-Transform" and "Partial Fraction Decomposition" --- with the plan not to be concerned with internals of Lucas-Interpretation. The latter turned out infeasible, rather his work revealed, that even simple programming errors are hard to find because the system's error-messages are misleading and that exceptions are not structured appropriately.

Klaus Schmaranz
contributed significantly to the design of ISAC and helped to make ISAC's architecture general such that it could adopt the Dinopolis middleware. After that he started his own company.

Günther Schröttner
In 2007 he performed an extensive feasibility study on how to transfer ISACs graphical user-interface to Web2.0 technology. He used the most advanced tools available in 2007, Ajax, Java server faces, etc. However, his thesis (abstract and bib, PostScript) came to the conclusion, that the most advanced technology could not cope with the complexity of ISAC's frotn-end.

Nebojsa Simic
as a student of Telematik, first worked as a freelancer on improvements of the worksheet(-dialog). In a follow-up 'Seminar/Projekt' he coordinated design and implementation during summer-term 2006. His experience and professionality set the standards for this phase.

Marco Steger
in 2010/11 did his Bakkalaureate Thesis on the upcoming Isabelle front-end. He documented the current organization of the respective components and set up the whole system, Isabelle, Scala and jEdit in the IDE NetBeans. This work started preparation for migration of ISAC's front-end to the new Isabelle front-end.

Franz Wotawa
hosts the ISAC-project at his Institute for Software Technology and supports the project greatly.

Tom Zillinger
started to make Isac accessible via Java Web Start in 2011 thesis.

.

.