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