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
39–59
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
209–230
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
Trends in computer algebra
Springer
52–80
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
237–267
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
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
325–347
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
Annales de didactique et de sciences cognitives
11
175–193
Predrag Janiči\'c
Julien Narboux
Pedro Quaresma
2012
The Area Method: a Recapitulation
Journal of Automated Reasoning
48
4
489–532
10.1007/s10817-010-9209-7
Deepak Kapur
1986
Using Gröbner bases to reason about geometry problems
Journal of Symbolic Computation
2
4
399–408
10.1016/S0747-7171(86)80007-4
Alain Kuzniak
2011
L'espace de Travail Mathématique et ses genèses
Annales de didactique et de sciences cognitives
16
9–24
https://halshs.archives-ouvertes.fr/halshs-01060043
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
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
3–33
10.1023/B:JARS.0000021960.39761.b7
Julien Narboux
2006
Mechanical theorem proving in Tarskis geometry
International Workshop on Automated Deduction in Geometry
Springer
139–156
10.1007/978-3-540-77356-6_9
Philippe R. Richard
Fabienne Venant
Michel Gagnon
2019
Issues and challenges about instrumental proof
Springer
Suisse
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
Twenty-Fourth International Joint Conference on Artificial Intelligence
H Wu
1979
An elementary method in the study of nonnegative curvature
Acta Mathematica
142
1
57–78
10.1007/BF02395057
Jingzhong Zhang
Lu Yang
Mike Deng
1990
The parallel numerical method of mechanical theorem proving
Theoretical Computer Science
74
3
253–271
10.1016/0304-3975(90)90077-U