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