Vincent Aleven
Octav Popescu
Kenneth R Koedinger
2001
Towards tutorial dialog to support self-explanation: Adding natural language understanding to a cognitive tutor
Proceedings of Artificial Intelligence in Education
246–255
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
Shang-Ching Chou
Xiao-Shan Gao
2001
Automated Reasoning in Geometry
John Alan Robinson
Andrei Voronkov
Handbook of Automated Reasoning
Elsevier Science Publishers B.V.
707–749
10.1016/B978-044450813-3/50013-8
Shang-Ching Chou
Xiao-Shan Gao
Ji Zhang
1996
Automated Generation of Readable Proofs with Geometric Invariants, II. Theorem Proving With Full-Angles
Journal of Automated Reasoning
17
349–370
10.1007/BF00283134
Shang-Ching Chou
Xiao-Shan Gao
Jing-Zhong Zhang
2000
A Deductive Database Approach to Automated Geometry Theorem Proving and Discovering
Journal of Automated Reasoning
25
3
219–246
10.1023/A:1006171315513
Pedro Cobo
Josep Fortuny
Eloi Puertas
Philippe Richard
2007
AgentGeom: a multiagent system for pedagogical support in geometric proof problems
International Journal of Computers for Mathematical Learning
12
57–79
10.1007/s10758-007-9111-5
Ludovic Font
Philippe R. Richard
Michel Gagnon
2018
Improving QED-Tutrix by Automating the Generation of Proofs
Pedro Quaresma
Walther Neuper
Proceedings 6th International Workshop on Theorem proving components for Educational software, Gothenburg, Sweden, 6 Aug 2017
Electronic Proceedings in Theoretical Computer Science
267
Open Publishing Association
38–58
10.4204/EPTCS.267.3
Herve Gallaire
Jack Minker
Jean-Marie Nicolas
1984
Logic and Databases: A Deductive Approach
ACM Computing Surveys
16
2
153–185
10.1145/356924.356929
Gila Hanna
David Reid
Michael de Villiers
2019
Proof Technology in Mathematics Research and Teaching
Springer
10.1007/978-3-030-28483-1
Predrag Janiči\'c
2010
Geometry Constructions Language
J. Autom. Reasoning
44
1-2
3–24
http://dx.doi.org/10.1007/s10817-009-9135-8
Predrag Janiči\'c
2006
GCLC – A Tool for Constructive Euclidean Geometry and More Than That
Andrés Iglesias
Nobuki Takayama
Mathematical Software - ICMS 2006
Lecture Notes in Computer Science
4151
Springer
58–73
10.1007/11832225_6
Zoltán Kovács
2015
The Relation Tool in GeoGebra 5
Francisco Botana
Pedro Quaresma
Automated Deduction in Geometry
Lecture Notes in Computer Science
9201
Springer International Publishing
53–71
10.1007/978-3-319-21362-0_4
Zoltán Kovács
Jonathan H. Yu
2020
Towards Automated Discovery of Geometrical Theorems in GeoGebra
CoRR
abs/2007.12447
https://arxiv.org/abs/2007.12447
Nicolas Leduc
2016
QED-Tutrix : système tutoriel intelligent pour l'accompagnement d'élèves en situation de résolution de problèmes de démonstration en géométrie plane
École polytechnique de Montréal.
Vanda Luengo
2005
Some didactical and epistemological considerations in the design of educational software: the Cabri-Euclide example
International Journal of Computers for Mathematical Learning
10
1
1–29
10.1007/s10758-005-4580-x
Constantino Martins
Paulo Couto
Marta Fernandes
Cristina Bastos
Cristina Lobo
Luiz Faria
Eurico Carrapatoso
2011
PCMAT–Mathematics Collaborative Learning Platform
Highlights in practical applications of agents and multiagent systems
Springer
93–100
10.1007/978-3-642-19917-2_12
Noboru Matsuda
Kurt VanLehn
2005
Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction
Chee-Kit Looi
Gordon I. McCalla
Bert Bredeweg
Joost Breuker
Artificial Intelligence in Education - Supporting Learning through Intelligent and Socially Informed Technology, Proceedings of the 12th International Conference on Artificial Intelligence in Education, AIED 2005, July 18-22, 2005, Amsterdam, The Netherlands
Frontiers in Artificial Intelligence and Applications
125
IOS Press
443–450
http://www.booksonline.iospress.nl/Content/View.aspx?piid=1340
Zoltán Kovács & Predrag Janiči\'c Mladen Nikoli\'c, Vesna Marinkovi\'c
2019
Portfolio theorem proving and prover runtime prediction for geometry
Annals of Mathematics and Artificial Intelligence
85
2-4
119–146
10.1007/s10472-018-9598-6
Balacheff N.
2003
Ck\z@ \z@ c\tw@ \z@ /4\z@ \dimen@ \tw@ \dimen@ -\tw@ \dimen@ -\z@ \dimen@ \z@ \dimen@ \tw@ \dimen@ -0\tw@ \dimen@ -0\tw@ \dimen@ii 0\z@ -\dimen@ to4\dimen@ii \tw@ -\dimen@ii to\z@ to4\z@ , a knowledge model drawn from an understanding of students understanding. Didactical principles and model specifications. In: Soury-Lavergne S. (ed.) Baghera assessment project, designing an hybrid and emergent educational society
Technical Report
81, 3–22
Cahier Leibniz
Art Quaife
1989
Automated development of Tarski's geometry
Journal of Automated Reasoning
5
97–118
10.1007/BF00245024
Pedro Quaresma
2017
Towards an Intelligent and Dynamic Geometry Book
Mathematics in Computer Science
11
3
427–437
10.1007/s11786-017-0302-8
Philippe R Richard
Josep M Fortuny
2007
Amélioration des compétences argumentatives à l'aide d'un système tutoriel en classe de mathématique au secondaire
Annales de didactique et de sciences cognitives
12
83–216
Philippe R Richard
Josep M Fortuny
Markus Hohenwarter
Michel Gagnon
2007
geogebraTUTOR: une nouvelle approche pour la recherche sur l'apprentissage compétentiel et instrumenté de la géométrie à l'école secondaire
E-Learn: World Conference on E-Learning in Corporate, Government, Healthcare, and Higher Education
Association for the Advancement of Computing in Education (AACE)
428–435
Vanda Santos
Pedro Quaresma
forthcoming
Exploring Geometric Conjectures with the help of a Learning Environment - A Case Study with Pre-Service Teachers.
The Electronic Journal of Mathematics and Technology
2
1
G. Sutcliffe
2017
The TPTP Problem Library and Associated Infrastructure. From CNF to TH0, TPTP v6.4.0
Journal of Automated Reasoning
59
4
483–502
10.1007/s10817-017-9407-7
Ke Wang
Zhendong Su
2015
Automated Geometry Theorem Proving for Human-readable Proofs
Proceedings of the 24th International Conference on Artificial Intelligence
IJCAI'15
AAAI Press
1193–1199
http://dl.acm.org/citation.cfm?id=2832249.2832414
Zheng Ye
Shang-Ching Chou
Xiao-Shan Gao
2011
An Introduction to Java Geometry Expert
Thomas Sturm
Christoph Zengler
Automated Deduction in Geometry
Lecture Notes in Computer Science
6301
Springer Berlin Heidelberg
189–195
10.1007/978-3-642-21046-4_10