@article(AHKTU,
 author       = {Jesse Alama and Tom Heskes and K\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ü}intopreamble]hlwein, Daniel and Evgeni Tsivtsivadze and Josef Urban},
 year         = {2011},
 title        = {Premise Selection for Mathematics by Corpus Analysis and Kernel Methods},
 journal      = {Journal of Automated Reasoning},
 volume       = {52},
 doi          = {10.1007/s10817-013-9286-5},
)
@inproceedings(BD,
 author       = {K. Broda and M. Dore},
 year         = {2019},
 title        = { Towards Intuitive Reasoning in Axiomatic Geometry},
 journal      = {P. Quaresma, W. Neupert (eds).: Theorem proving components for Educational software (ThEdu'18) EPTCS 290},
 doi          = {10.4204/EPTCS.290.4},
)
@unpublished(CK,
 author       = {M. Carl and R. Krapf},
 year         = {2019},
 title        = {Das Diproche-System \begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{–}intopreamble] ein automatisierter Tutor f\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ü}intopreamble]r den Einstieg ins Beweisen},
)
@unpublished(C1,
 author       = {Merlin Carl},
 year         = {2020},
 title        = {Using Automated Theorem Provers for Mistake Diagnosis in the Didactics of Mathematics},
 url          = {arXiv:2002.05083v1},
)
@unpublished(C,
 author       = {Merlin Carl},
 year         = {2020},
 title        = {Automatized Evaluation of Formalization Exercises in Mathematics},
 url          = {http://arXiv:2006.01800v1},
)
@inproceedings(CM,
 author       = {Nathan Carter and Kenneth Monks},
 year         = {2017},
 title        = {A Web-Based Toolkit for Mathematical Word Processing Applications with Semantics},
 journal      = { Proceedings of CICM 2017, eds. Herman Geuvers and Jacques Fleuriot, Springer Lecture Notes in Artificial Intelligence (LNAI 10383)},
 pages        = {272--291},
 doi          = {10.1007/978-3-319-62075-6_19},
)
@inproceedings(CFKKSV,
 author       = {Marcos Cramer and Bernhard Fisseni and Peter Koepke and K\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ü}intopreamble]hlwein, Daniel and Schr\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ö}intopreamble]der, Bernhard and Jip Veldman},
 year         = {2009},
 title        = {The Naproche Project Controlled Natural Language Proof Checking of Mathematical Texts},
 journal      = {Fuchs N.E. (eds) Controlled Natural Language. CNL 2009. Lecture Notes in Computer Science, vol 5972. Springer, Berlin, Heidelberg},
 pages        = {170--186},
 doi          = {10.1007/978-3-642-14418-9_11},
)
@inproceedings(CKKS,
 author       = {Marcos Cramer and Peter Koepke and K\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ü}intopreamble]hlwein, Daniel and Schr\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ö}intopreamble]der, Bernhard},
 year         = {2010},
 title        = {Premise Selection in the Naproche System},
 journal      = { Giesl J., H\"ahnle R. (eds) Automated Reasoning. IJCAR 2010. Lecture Notes in Computer Science, vol 6173. Springer, Berlin, Heidelberg},
 volume       = {6173},
 pages        = {434--440},
 doi          = {10.1007/978-3-642-14203-1_37},
)
@book(De,
 author       = {R. Descartes},
 year         = {1998},
 title        = {D. Cress (translator): R. Descartes. Discourse on Method and Meditations on First Philosophy},
 publisher    = {Hackett Publishing Company Indianapolis/Cambridge},
)
@article(BD,
 author       = {Maximilian Dore and K. Broda},
 year         = {2019},
 title        = {Towards Intuitive Reasoning in Axiomatic Geometry},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {290},
 pages        = {38--55},
 doi          = {10.4204/EPTCS.290.4},
)
@article(FRG,
 author       = {Ludovic Font and Philippe Richard and Michel Gagnon},
 year         = {2018},
 title        = {Improving QED-Tutrix by Automating the Generation of Proofs},
 journal      = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {267},
 doi          = {10.4204/EPTCS.267.3},
)
@book(CPZ,
 author       = {P. Zhang G. Chartrand, A. Polimeni},
 year         = {2013},
 title        = {Mathematical Proof - A Transition to Advanced Mathematics},
 edition      = {third},
 publisher    = {Pearson},
)
@misc(Gr,
 author       = {F. Grewing},
 year         = {2019},
 title        = {Concludio Homepage},
 url          = {https://www.concludio.education/},
)
@mastersthesis(Ha,
 author       = {Andrew Haven},
 year         = {2013},
 title        = {Automated proof checking in introductory discrete mathematics classes},
 note         = {Master Thesis, MIT},
)
@book(Ho,
 author       = {G. Holland},
 year         = {1996},
 title        = {GEOLOG-WIN : Konstruieren, Berechnen, Beweisen, Probleml\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ö}intopreamble]sen mit dem Computer im Geometrie-Unterricht der Sekundarstufe},
 publisher    = {D\"ummler Bonn},
)
@inproceedings(KLTUH,
 author       = {K\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ü}intopreamble]hlwein, Daniel and Twan van Laarhoven and Evgeni Tsivtsivadze and Josef Urban and Tom Heskes},
 year         = {2012},
 title        = {Overview and Evaluation of Premise Selection Techniques for Large Theory Mathematics},
 journal      = {Gramlich B., Miller D., Sattler U. (eds) Automated Reasoning. IJCAR 2012. Lecture Notes in Computer Science, vol 7364. Springer, Berlin, Heidelberg.},
 pages        = {378--392},
 doi          = {10.1007/978-3-642-31365-3_30},
)
@inproceedings(Lo1,
 author       = {Hinrich Lorenzen},
 year         = {1999},
 title        = {Geolog, Geobeweis und Geokon \begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{–}intopreamble] Erfahrungen und Konzepte zum Unterricht},
 editor       = {T. Weth W. Herget, H. Weigand},
 booktitle    = {Standardthemen des Mathematikunterrichts in moderner Sicht. Bericht \"uber die $17$. Arbeitstagung des Arbeitskreises ``Mathematikunterricht und Informatik'' in der Gesellschaft f\"ur Didaktik der Mathematik e.V., Wolfenb\"uttel},
 publisher    = {DIVerlag franzbecker},
)
@book(Lo0,
 author       = {Hinrich Lorenzen},
 year         = {2002},
 title        = {Zur Didaktik des begrifflichen Denkens in der Geometrieausbildung},
 publisher    = {Universit\"at Kiel},
 note         = {Habilitationsschrift},
)
@article(Mumma,
 author       = {John Mumma},
 year         = {2010},
 title        = {Proofs, pictures, and Euclid},
 journal      = {Synthese},
 volume       = {175},
 pages        = {255--287},
 doi          = {10.1007/s11229-009-9509-9},
)
@book(To,
 author       = {Otto Toeplitz},
 year         = {1949},
 title        = {Die Entwicklung der Infinitesimalrechnung. Eine Einleitung in die Infinitesimalrechnung nach der genetischen Methode. Erster Band. Aus dem Nachlass herausgegeben von G. K\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ö}intopreamble]the},
 publisher    = {Springer-Verlag Berlin Heidelberg},
 doi          = {10.1007/978-3-642-49782-7},
)
@article(Wa,
 author       = {Martin Wagenschein},
 year         = {1966},
 title        = {Zum Problem des Genetischen Lehrens},
 journal      = {Zeitschrift f\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ü}intopreamble]r P\begingroup\let \relax\relax \endgroup[Pleaseinsert\PrerenderUnicode{ä}intopreamble]dagogik},
 volume       = {12},
 pages        = {305--330},
)