%######################################################

 % for isac-docu.tex

 % DON'T EDIT THIS FILE: CHANGES WILL BE OVERWRITTEN BY

 % THE ORIGINAL FROM THE ISAC-ADMIN !

 %######################################################

 @Misc{ps-NC07,

   author = 	 {Simic, Nebojsa},

   title = 	 {A GUI-Component for Interactive Construction of Calculations},

   howpublished = {Telematik Projekt/Seminar},

   month = 	 {March},

   year = 	 {2007},

   note = 	 {Graz University of Technology, Institute for Softwaretechnology}

 }

 @Misc{ba-GK07,

   author = 	 {Kompacher, Georg},

   title = 	 {Context-based Access to \isac{}'s Knowledge Base},

   howpublished = {Software-Projekt und Bakk.-Arbeit B},

   month = 	 {March},

   year = 	 {2007},

   note = 	 {Graz University of Technology, Institute for Softwaretechnology}

 }

 @Misc{ba-RK06,

   author = 	 {K\"onighofer, Robert},

   title = 	 {Presentation of Mathematical Knowledge in the \isac-System},

   howpublished = {Telematik Projekt/Seminar and Bakk-Arbeit},

   month = 	 {Oct},

   year = 	 {2006},

   note = 	 {Graz University of Technology, Institute for Softwaretechnology}

 }

 @Misc{ML06,

   author = 	 {Lang, Martin},

   title = 	 {Beispielsorientierter Zugang zu \isac s Mathematik Wissenbasis},

   howpublished = {Telematik Projekt/Seminar and Bakk-Arbeit},

   month = 	 {June},

   year = 	 {2006},

   note = 	 {Graz University of Technology, Institute for Softwaretechnology}

 }

 @MastersThesis{AK04:thesis,

   author = 	 {Krempler, Alan},

   title = 	 {Architectural Design for Integrating an Interactive Dialogguide into a Mathematical Tutoring System},

   school = 	 {University of Technology, Institute for Softwaretechnology},

   address = 	 {Graz, Austria},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/da-krempler.pdf},

   month = 	 {March},

   year = 	 {2005}

 }

 @MastersThesis{RG04:thesis,

   author = 	 {Gradischnegg, Richard},

   title = 	 {Eine Java/SML--Schnittstelle f\"ur \isac{} auf Basis von XML},

   school = 	 {University of Applied Sciences, Dpt. Software Engineering},

   address = 	 {Hagenberg, Upper Austria},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/da-gradischnegg.ps.gz},

   year = 	 {2004}

 }

 @MastersThesis{MH04:thesis,

   author = 	 {Hochreiter, Mario},

   title = 	 {Design and Implementation of a Graphical User Interface for the Math-Learning-System \isac},

   school = 	 {University of Applied Sciences, Dpt. Software Engineering},

   address = 	 {Hagenberg, Upper Austria},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/da-hochreiter.ps.gz},

   year = 	 {2004}

 }

 @MastersThesis{AG:thesis,

   author = 	 {Griesmayer, Andreas},

   title = 	 {{Architecture and Knowledge-Represenation of the Web-based Math-Learning-System \isac}},

   school = 	 {University of Technology, Institute for Softwaretechnology},

   year = 	 {2003},

   address = 	 {Graz, Austria},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/da-griesmayer.pdf},

   month = 	 {Oct}

 }

 @MastersThesis{MG:thesis,

   author = 	 {Goldgruber, Matthias},

   title = 	 {{Algebraische Simplifikation mittels Rewriting in \sisac}},

   school = 	 {University of Technology, Institute for Softwaretechnology},

   year = 	 {2003},

   address = 	 {Graz, Austria},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/DA-M02-main.ps.gz},

   month = 	 {Sept}

 }

 @Unpublished{promise-R-D,

   author = 	 {Walther Neuper}, 

   title = 	 {The \isac-Project, Promising Research for the Next Future},

   note = 	 {University of Technology, Institute for Softwaretechnology},

   howpublished = {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/0401-r-d.pdf},

   month = 	 {January},

   year = 	 {2004}

 }

 @Misc{isac-mowgli2,

   author = 	 {Neuper, Walther},

   title = 	 {What can \isac{} learn from MoWGLI~? What can \isac{} contribute~?},

   howpublished = {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/isac-mowgli2.ps.gz},

   month = 	 {February},

   year = 	 {2003},

   note = 	 {Preparation for a meeting at MKM}

 }

 @TechReport{isac-report-1,

   author = 	 {Neuper, Walther},

   title = 	 {On the Status of the \isac-Project, Report No.1},

   institution =  {IICM, Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2003},

   OPTkey = 	 {},

   OPTtype = 	 {},

   OPTnumber = 	 {},

   OPTaddress = 	 {Graz, Austria},

   OPTmonth = 	 {June 25},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/isac-report-01.pdf},

   OPTnote = 	 {},

   OPTannote = 	 {}

 }

 @Unpublished{fwf03,

   author = 	 {Neuper, Walther},

   title = 	 {\isac, a hierarchy of problemtypes in applied mathematics},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/formless03-www.ps.gz},

   school = 	 {University of Technology, Institute for Softwaretechnology},

   address = 	 {Graz, Austria},

   month = 	 {February},

   year = 	 {2002}

 }

 @Unpublished{wie-CAS,

   author = 	 {Neuper, Walther},

   title = 	 {Wie funktioniert ein Computer Algebra System~?},

   year = 	 {2002},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/pis.pdf}

 }

 @Unpublished{reflection,

   author = 	 {Neuper, Walther},

   title = 	 {Mathematics, Reflection, Computers and the Miracle of Learning. Thoughts on Educational Software for Mathematics},

   year = 	 {2002},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/reflection.pdf}

 }

 @TechReport{nml-preproposal,

   author = 	 {Griesmayer, Andreas and Krempler, Alan and Neuper, Walther},

   title = 	 {\isac{} -- Anwendung neuer Basistechnologie f\"ur eLearning in Mathematik},

   institution =  {IICM, Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2002},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/preproposal.pdf}

 }

 @TechReport{isac:all,

   author = 	 {\isac{}- Team},

   title = 	 {\isac{} -- User Requirements Document, Software Requirements Document, Architectural Design Document, Software Design Document, Use Cases, Test Cases},

   institution =  {Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2002},

   number =   {1.12},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/isac-docu.ps.gz}

 }

 @TechReport{isac:appendices,

   author = 	 {\isac{}- Team},

   title = 	 {\isac{} Appendices to the Analysis and Design Documents},

   institution =  {Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2002},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/appendices.ps.gz}

 }

 @TechReport{isac:use,

   author = 	 {\isac{}- Team},

   title = 	 {\isac{} Use Cases},

   institution =  {Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2002},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/use.ps.gz}

 }

 @TechReport{isac:urd,

   author = 	 {\isac{}- Team},

   title = 	 {Userrequirements Document},

   institution =  {Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2002},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/urd.pdf}

 }

 @TechReport{isac:srd,

   author = 	 {\isac{}- Team},

   title = 	 {\isac{} Softwarerequirements Document},

   institution =  {Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2002},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/srd.pdf}

 }

 @TechReport{isac:add,

   author = 	 {\isac{}- Team},

   title = 	 {\isac{} Architectural Design Document},

   institution =  {Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2003},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/add.ps.gz}

 }

 @TechReport{isac:sdd,

   author = 	 {\isac{}- Team},

   title = 	 {\isac{} Software Design Document},

   institution =  {Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2002},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/sdd.ps.gz}

 }

 @TechReport{develop-experiment,

   author = 	 {\isac{}- Team},

   title = 	 {\sisac, interfaces for developers of math knowledge and tools for experiments in symbolic computation},

   institution =  {IICM, Institute for Softwaretechnology, 

                   University of Technology},

   year = 	 {2002},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/mat-eng.pdf}

 }

 @InProceedings{icl02-transparent,

   author = 	 {Neuper, Walther A.},

   title = 	 {A Transparent Mathematics Engine --- Gains for Flexible Tutoring},

   booktitle = 	 {Proceedings ICL'02, International Workshop 'Interactive Computer Aided Learning'},

   year = 	 {2002},

   editor = 	 {Auer, Michael},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/icl02.doc},

   publisher = {Kassel University Press}

 }

 @TechReport{isac-tech02,

   author = 	 {Goldgruber, Matthias and Griesmayer, Andreas and Karnel, Stefan and Krempler, Alan and Neuper, Walther},

   title = 	 {{Das \isac-Projekt. Status und Ausblick}},

   institution =  {IICM, Institute for Softwaretechnology, University of Technology},

   year = 	 {2002},

   OPTkey = 	 {},

   OPTtype = 	 {},

   OPTnumber = 	 {},

   address = 	 {Graz, Austria},

   month = 	 {September},

   OPTnote = 	 {},

   OPTannote = 	 {}

 }

 @Proceedings{visit-me-2002,

   title = 	 {VISIT-ME, {I}ntegrating {T}echnology into {M}athematics {E}ducation},

   year = 	 {2002},

   OPTkey = 	 {},

   editor = 	 {B\"ohm, Josef and Kutzler, Bernhard},

   OPTvolume = 	 {},

   OPTnumber = 	 {},

   OPTseries = 	 {},

   address = 	 {Institute of Mathematics at the University of Vienna},

   month = 	 {July 10-13},

   organization = {ACDCA (Austrian Center for Didactics of Computer Algebra)},

   OPTpublisher = {},

   note = 	 {},

   OPTannote = 	 {}

 }

 @InProceedings{visit-me-M02,

   author = 	 {Goldgruber, Matthias and Lang, Richard},

   title = 	 {{Eine explizite Hierarchie von Typen elementarer Gleichungen}},

   booktitle = 	 {{I}ntegrating {T}echnology into {M}athematics {E}ducation},

   crossref =     {visit-me-2002},

   OPTkey = 	 {},

   OPTpages = 	 {},

   year = 	 {2002},

   editor = 	 {B\"ohm, Josef and Kutzler, Bernhard},

   OPTvolume = 	 {},

   OPTnumber = 	 {},

   OPTseries = 	 {},

   address = 	 {},

   OPTmonth = 	 {},

   affiliation =  {IICM, Institute for Softwaretechnology, University of Technology, Graz, Austria},

   publisher = {ACDCA},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/visitme02-M023.pdf},

   OPTannote = 	 {}

 }

 @InProceedings{visit-me-P02,

   author = 	 {Andreas Griesmayer},

   title = 	 {{Tools f\"ur die interaktive Spezifikation von Problemen}},

   booktitle = 	 {{I}ntegrating {T}echnology into {M}athematics {E}ducation},

   OPTcrossref =  {visit-me-2002},

   OPTkey = 	 {},

   OPTpages = 	 {},

   year = 	 {2002},

   editor = 	 {B\"ohm, Josef and Kutzler, Bernhard},

   OPTvolume = 	 {},

   OPTnumber = 	 {},

   OPTseries = 	 {},

   address = 	 {},

   OPTmonth = 	 {},

   affiliation =  {IICM, Institute for Softwaretechnology, University of Technology, Graz, Austria},

   publisher = {ACDCA}

 }

 @InProceedings{visit-me-M01,

   author = 	 {Stefan Karnel},

   title = 	 {{Computer Algebra f\"ur Br\"uche -- angepasst an Ausbildungszwecke}},

   booktitle = 	 {{I}ntegrating {T}echnology into {M}athematics {E}ducation},

   OPTcrossref =  {visit-me-2002},

   OPTkey = 	 {},

   OPTpages = 	 {},

   year = 	 {2002},

   editor = 	 {B\"ohm, Josef and Kutzler, Bernhard},

   OPTvolume = 	 {},

   OPTnumber = 	 {},

   OPTseries = 	 {},

   address = 	 {},

   OPTmonth = 	 {},

   affiliation =  {IICM, Institute for Softwaretechnology, University of Technology, Graz, Austria},

   publisher = {ACDCA},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/visitme02-M01-paper.pdf},

   OPTannote = 	 {}

 }

 @InProceedings{visit-me-P01,

   author = 	 {Alan Krempler},

   title = 	 {{Zum Design eines elektronischen Arbeitsblattes f\"ur Mathematik}},

   booktitle = 	 {{I}ntegrating {T}echnology into {M}athematics {E}ducation},

   OPTcrossref =  {visit-me-2002},

   OPTkey = 	 {},

   OPTpages = 	 {},

   year = 	 {2002},

   editor = 	 {B\"ohm, Josef and Kutzler, Bernhard},

   OPTvolume = 	 {},

   OPTnumber = 	 {},

   OPTseries = 	 {},

   address = 	 {},

   OPTmonth = 	 {},

   affiliation =  {IICM, Institute for Softwaretechnology, University of Technology, Graz, Austria},

   publisher = {ACDCA},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/visitme02-p01-paper.pdf},

   OPTannote = 	 {}

 }

 @InProceedings{visit-me-00,

   author = 	 {Walther Neuper},

   title = 	 {{Re-engineering von Algebra-Systemen zum Mathematik-Lernen}},

   booktitle = 	 {{I}ntegrating {T}echnology into {M}athematics {E}ducation},

   OPTcrossref =  {visit-me-2002},

   year = 	 {2002},

   editor = 	 {B\"ohm, Josef and Kutzler, Bernhard},

   address = 	 {},

   affiliation =  {IICM, Institute for Softwaretechnology, University of Technology, Graz, Austria},

   publisher = {ACDCA},

   note = 	 { $\,$\\http://www.ist.tugraz.at/projects/isac/publ/visitme02-intro.pdf},

   annote = 	 {}

 }

 @InProceedings{visit-me-all,

   author = 	 {Goldgruber, Matthias and Griesmayer, Andreas and Karnel, Stefan and Krempler, Alan and Neuper, Walther},

   title = 	 {Re-engieering Algebra Systems for Education},

   booktitle = 	 {{I}ntegrating {T}echnology into {M}athematics {E}ducation},

   OPTcrossref =  {visit-me-2002},

   OPTkey = 	 {},

   OPTpages = 	 {},

   year = 	 {2002},

   editor = 	 {B\"ohm, Josef and Kutzler, Bernhard},

   OPTvolume = 	 {},

   OPTnumber = 	 {},

   OPTseries = 	 {},

   address = 	 {},

   OPTmonth = 	 {},

   affiliation =  {IICM, Institute for Softwaretechnology, University of Technology, Graz, Austria},

   publisher = {ACDCA},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/visitme02-all.pdf},

   OPTannote = 	 {}

 }

 @InProceedings{its02,

   author = 	 {Neuper, Walther and Wotawa, Franz},

   title = 	 {Model-based Reasoning in Mathematical Tutoring Systems --

 Preliminary Thoughts and Problems to be solved},

   booktitle = 	 {Model Based Systems and Qualitative Reasoning for Intelligent Tutoring Systems, International workshop at ITS 2002},

   address = 	 {San Sebastian, Spain},

   month = 	 {June 2},

   year = 	 {2002},

   OPTorganization = {},

   OPTpublisher = {},

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/mbsqritsWorkshop02.ps.gz}

 }

 @MastersThesis{ggt02,

   author = 	 {Karnel, Stefan},

   title = 	 {{Gr\"osste gemeinsame Teiler in Polynomringen und Implementierung im \isac-Projekt}},

   school = 	 {University of Technology, Institute of Mathematics},

   year = 	 {2002},

   address = 	 {Graz, Austria},

   month = 	 {August}

 ,

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/GGTs-von-Polynomen.ps.gz}

 }

 @MastersThesis{richard:da,

   author = 	 {Lang, Richard},

   title = 	 {{Elementare Gleichungen der Mittelschulmathematik in der \isac Wissensbasis}},

   school = 	 {University of Technology, Institute of Software Technology},

   year = 	 {2003},

   address = 	 {Graz, Austria},

   month = 	 {March}

 ,

   note = 	 {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/da-rlang.ps.gz}

 }

 @PhdThesis{wn:diss,

   author = 	 {Neuper, Walther A.},

   title = 	 {Reactive User-Guidance by an Autonomous Engine Doing High-School Math},

   school = 	 {IICM - Inst. f. Softwaretechnology},

   year = 	 {2001},

   address = 	 {Technical University, A-8010 Graz},

   note = 	{$\,$\\http://www.ist.tugraz.at/projects/isac/publ/wn-diss.ps.gz}

 }

 @TechReport{wn:probltypes99,

   author = 	 {Neuper, Walther A.},

   title = 	 {Mathematics Tutoring {I}: Problem Types for Mechanized Problem Solving},

   institution =  {IICM - Inst. f. Software Technology},

   type = 	 {technical report},

   number = 	 {IST-TEC-99-07},

   year = 	 {1999},

   month =        {February},

   address = 	 {Technical University, A-8010 Graz},

   note =         {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/IST-TEC-99-07.ps.gz}

   }

 @TechReport{wn:matheng99,

   author = 	 {Neuper, Walther A.},

   title = 	 {Mathematics Tutoring {II}: A mathematics-engine for guided interaction},

   institution =  {IICM - Inst. f. Software Technology},

   type = 	 {technical report},

   number = 	 {IST-TEC-99-15},

   note =         {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/IST-TEC-99-15.ps.gz},

   year = 	 {1999},

   month =        {August},

   address = 	 {Technical University, A-8010 Graz}

   }

 @TechReport{wn:matheng04,

   author = 	 {Neuper, Walther A.},

   title = 	 {Mathematics Tutoring {II}: A mathematics-engine for guided interaction},

   institution =  {IST - Inst. f. Software Technology},

   note =         {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/mat-eng.ps.gz},

   year = 	 {2004},

   address = 	 {Technical University, A-8010 Graz}

   }

 @MastersThesis{fink:da,

   author = 	 {Fink, Thomas Maximilian},

   title = 	 {{B}enutzerschnittstelle f\"ur ein {M}athematik-{L}ernsystem im {WWW}},

   school={University of Technology, Institute for Softwaretechnology},

   address={Graz, Austria},

   note =         {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/tf-dipl.pdf},

   year = 	 {2001},

   month = 	 {April}

 }

 @unpublished{Ober01,

    author={Thomas Oberhuber},

    title={ISAC-Bridge},

    school={University of Technology, Institute for Softwaretechnology},

   note =         {$\,$\\http://www.ist.tugraz.at/projects/isac/publ/tober-sem.pdf},

    year={2001},

    address={Graz, Austria}

 }

 @proceedings{Seeheim,

   editor =       "Pfaff, G.",

   title =        "Seeheim Workshop on User Interface Management Systems",

   year =         "1985",

   publisher =    "Springer",

   category =     "General",

 }