Francisco Botana, Markus Hohenwarter, Predrag Janiči\'c, Zoltán Kovács, Ivan Petrovi\'c, Tomás Recio & Simon Weitzhofer (2015):
Automated theorem proving in GeoGebra: Current achievements.
Journal of Automated Reasoning 55(1),
pp. 39–59,
doi:10.1007/s10817-015-9326-4.
Gabriel Braun & Julien Narboux (2017):
A synthetic proof of Pappustheorem in Tarskis geometry.
Journal of Automated Reasoning 58(2),
pp. 209–230,
doi:10.1007/s10817-016-9374-4.
Guy Brousseau & Nicolas Balacheff (1998):
Théorie des situations didactiques: Didactique des mathématiques 1970-1990.
La pensée sauvage Grenoble.
Bruno Buchberger (1988):
Applications of Gröbner bases in non-linear computational geometry.
In: Trends in computer algebra.
Springer,
pp. 52–80,
doi:10.1007/3-540-18928-9_5.
Shang-Ching Chou (1988):
An introduction to Wu's method for mechanical theorem proving in geometry.
Journal of Automated Reasoning 4(3),
pp. 237–267,
doi:10.1007/BF00244942.
Shang-Ching Chou, Xiao-Shan Gao & Jing-Zhong Zhang (1994):
Machine proofs in geometry: Automated production of readable proofs for geometry theorems 6.
World Scientific,
doi:10.1142/9789812798152_0002.
Shang-Ching Chou, Xiao-Shan Gao & Jing-Zhong Zhang (1996):
Automated Generation of Readable Proofs with Geometric Invariants, I. Multiple and Shortest Proof Generation.
Journal of Automated Reasoning 17,
pp. 325–347,
doi:10.1007/BF00283134.
Raymond Duval (1995):
Sémiosis et pensée humaine: registres sémiotiques et apprentissages intellectuels.
Peter Lang Berne.
Ludovic Font, Philippe R Richard & Michel Gagnon (2018):
Improving QED-Tutrix by Automating the generation of Proofs.
arXiv preprint arXiv:1803.01468.
Catherine Houdement & Alain Kuzniak (2006):
Paradigmes géométriques et enseignement de la géométrie.
In: Annales de didactique et de sciences cognitives 11,
pp. 175–193.
Predrag Janiči\'c, Julien Narboux & Pedro Quaresma (2012):
The Area Method: a Recapitulation.
Journal of Automated Reasoning 48(4),
pp. 489–532,
doi:10.1007/s10817-010-9209-7.
Deepak Kapur (1986):
Using Gröbner bases to reason about geometry problems.
Journal of Symbolic Computation 2(4),
pp. 399–408,
doi:10.1016/S0747-7171(86)80007-4.
Alain Kuzniak & Philippe R Richard (2014):
Espacios de trabajo matemático. Puntos de vista y perspectivas.
Revista latinoamericana de investigación en matemática educativa 17(4),
doi:10.12802/relime.13.1741a.
N. Leduc (2016):
QED-Tutrix : système tutoriel intelligent pour laccompagnement délèves en situation de résolution de problèmes de démonstration en géométrie plane.
École polytechnique de Montréal..
Noboru Matsuda & Kurt Vanlehn (2004):
Gramy: A geometry theorem prover capable of construction.
Journal of Automated Reasoning 32(1),
pp. 3–33,
doi:10.1023/B:JARS.0000021960.39761.b7.
Julien Narboux (2006):
Mechanical theorem proving in Tarskis geometry.
In: International Workshop on Automated Deduction in Geometry.
Springer,
pp. 139–156,
doi:10.1007/978-3-540-77356-6_9.
Philippe R. Richard, Fabienne Venant & Michel Gagnon (2019):
Issues and challenges about instrumental proof.
Springer,
Suisse,
doi:10.1007/978-3-030-28483-1_7.
M Tessier-Baillargeon (2015):
GeoGebraTUTOR : Développement dun système tutoriel autonome pour laccompagnement délèves en situation de résolution de problèmes de démonstration en géométrie plane et genèse dun espace de travail géométrique idoine.
Université de Montréal..
Ke Wang & Zhendong Su (2015):
Automated geometry theorem proving for human-readable proofs.
In: Twenty-Fourth International Joint Conference on Artificial Intelligence.
H Wu (1979):
An elementary method in the study of nonnegative curvature.
Acta Mathematica 142(1),
pp. 57–78,
doi:10.1007/BF02395057.
Jingzhong Zhang, Lu Yang & Mike Deng (1990):
The parallel numerical method of mechanical theorem proving.
Theoretical Computer Science 74(3),
pp. 253–271,
doi:10.1016/0304-3975(90)90077-U.
eptcs@eptcs.org