@misc(geogebraAPI,
 title        = {GeoGebra API},
 url          = {http://dev.geogebra.org/trac/wiki/WikiStart},
)
@misc(geometrix,
 title        = {G\IeC{\'e}om\IeC{\'e}trix},
 url          = {http://geometrix.free.fr/site/},
)
@misc(mathway,
 title        = {Mathway {\textbar} {Math} {Problem} {Solver}},
 url          = {https://www.mathway.com/Algebra},
)
@inproceedings(aleven1998combatting,
 author       = {Vincent Aleven and Kenneth Koedinger and H~Colleen~Sinclair and Jaclyn Snyder},
 year         = {1998},
 title        = {Combatting shallow learning in a tutor for geometry problem solving},
 booktitle    = {Intelligent Tutoring Systems},
 organization = {Springer},
 pages        = {364--373},
 doi          = {10.1007/3-540-68716-5_42},
)
@inproceedings(aleven2000limitations,
 author       = {Vincent Aleven and Kenneth~R Koedinger},
 year         = {2000},
 title        = {Limitations of student control: Do students know when they need help?},
 booktitle    = {Intelligent tutoring systems},
 volume       = {1839},
 organization = {Springer},
 pages        = {292--303},
 doi          = {10.1007/3-540-45108-0_33},
)
@article(aleven2013knowledge,
 author       = {Vincent Aleven and Kenneth~R Koedinger},
 year         = {2013},
 title        = {Knowledge Component (KC) Approaches to Learner Modeling},
 journal      = {Design Recommendations for Intelligent Tutoring Systems},
 volume       = {1},
 pages        = {165--182},
)
@article(aleven2006toward,
 author       = {Vincent Aleven and Bruce Mclaren and Ido Roll and Kenneth Koedinger},
 year         = {2006},
 title        = {Toward meta-cognitive tutoring: A model of help seeking with a Cognitive Tutor},
 journal      = {International Journal of Artificial Intelligence in Education},
 volume       = {16},
 number       = {2},
 pages        = {101--128},
)
@article(aleven2002effective,
 author       = {Vincent~AWMM Aleven and Kenneth~R Koedinger},
 year         = {2002},
 title        = {An effective metacognitive strategy: Learning by doing and explaining with a computer-based Cognitive Tutor},
 journal      = {Cognitive science},
 volume       = {26},
 number       = {2},
 pages        = {147--179},
 doi          = {10.1207/s15516709cog2602_1},
)
@article(anderson1996act,
 author       = {John~R Anderson},
 year         = {1996},
 title        = {ACT: A simple theory of complex cognition.},
 journal      = {American Psychologist},
 volume       = {51},
 number       = {4},
 pages        = {355},
 doi          = {10.1037/0003-066X.51.4.355},
)
@article(anderson2000implications,
 author       = {John~R Anderson and C~Schunn},
 year         = {2000},
 title        = {Implications of the ACT-R learning theory: No magic bullets},
 journal      = {Advances in instructional psychology, Educational design and cognitive science},
 pages        = {1--33},
)
@inproceedings(arroyo2004web,
 author       = {Ivon Arroyo and Carole Beal and Tom Murray and Rena Walles and Beverly~P Woolf},
 year         = {2004},
 title        = {Web-based intelligent multimedia tutoring for high stakes achievement tests},
 booktitle    = {Intelligent Tutoring Systems},
 organization = {Springer},
 pages        = {142--169},
 doi          = {10.1007/978-3-540-30139-4_44},
)
@article(balacheff2003baghera,
 author       = {Nicolas Balacheff and Ricardo Caferra and Michele Cerulli and Nathalie Gaudin and Mirko Maracci and Maria~Alessandra Mariotti and Jean-Pierre Muller and Jean-Fran{\c{c}}ois Nicaud and Michel Occello and Federica Olivero},
 year         = {2003},
 title        = {Baghera Assessment Project, designing an hybrid and emergent educational society},
)
@phdthesis(baulac1990micromonde,
 author       = {Yves Baulac},
 year         = {1990},
 title        = {Un micromonde de g{\'e}om{\'e}trie, Cabri-g{\'e}om{\`e}tre},
 school       = {Universit{\'e} Joseph-Fourier-Grenoble I},
)
@article(botana2015automated,
 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},
)
@inproceedings(boutry2016tarski,
 author       = {Pierre Boutry and Gabriel Braun and Julien Narboux},
 year         = {2016},
 title        = {From Tarski to Descartes: formalization of the arithmetization of euclidean geometry},
 booktitle    = {SCSS 2016, the 7th International Symposium on Symbolic Computation in Software Science},
 volume       = {39},
 organization = {EasyChair},
 pages        = {15},
 doi          = {10.29007/k47p},
)
@article(braun2017synthetic,
 author       = {Gabriel Braun and Julien Narboux},
 year         = {2017},
 title        = {A synthetic proof of Pappus\IeC{\textquoteright} theorem in Tarski\IeC{\textquoteright}s geometry},
 journal      = {Journal of Automated Reasoning},
 volume       = {58},
 number       = {2},
 pages        = {209--230},
 doi          = {10.1007/s10817-016-9374-4},
)
@book(brousseau2006theory,
 author       = {Guy Brousseau},
 year         = {2006},
 title        = {Theory of didactical situations in mathematics: Didactique des math{\'e}matiques, 1970--1990},
 volume       = {19},
 publisher    = {Springer Science \& Business Media},
 doi          = {10.1007/0-306-47211-2},
)
@incollection(buchberger1988applications,
 author       = {Bruno Buchberger},
 year         = {1988},
 title        = {Applications of Gr{\"o}bner bases in non-linear computational geometry},
 booktitle    = {Trends in computer algebra},
 publisher    = {Springer},
 pages        = {52--80},
 doi          = {10.1007/3-540-18928-9_5},
)
@inproceedings(chou1993automated,
 author       = {S-C Chou and X-S Gao and J-Z Zhang},
 year         = {1993},
 title        = {Automated production of traditional proofs for constructive geometry theorems},
 booktitle    = {Logic in Computer Science, 1993. LICS'93., Proceedings of Eighth Annual IEEE Symposium on},
 organization = {IEEE},
 pages        = {48--56},
 doi          = {10.1109/LICS.1993.287601},
)
@article(chou1988introduction,
 author       = {Shang-Ching Chou},
 year         = {1988},
 title        = {An introduction to Wu's method for mechanical theorem proving in geometry},
 journal      = {Journal of Automated Reasoning},
 volume       = {4},
 number       = {3},
 pages        = {237--267},
 doi          = {10.1007/BF00244942},
)
@book(chou1994machine,
 author       = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong Zhang},
 year         = {1994},
 title        = {Machine proofs in geometry: Automated production of readable proofs for geometry theorems},
 volume       = {6},
 publisher    = {World Scientific},
 doi          = {10.1142/9789812798152_0002},
)
@article(chou1996automated,
 author       = {Shang-Ching Chou and Xiao-Shan Gao and Jing-Zhong 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},
 number       = {3},
 pages        = {349--370},
 doi          = {10.1007/BF00283134},
)
@article(coelho1986automated,
 author       = {Helder Coelho and Luis~Moniz Pereira},
 year         = {1986},
 title        = {Automated reasoning in geometry theorem proving with Prolog},
 journal      = {Journal of Automated Reasoning},
 volume       = {2},
 number       = {4},
 pages        = {329--390},
 doi          = {10.1007/BF00248249},
)
@inproceedings(el2005development,
 author       = {El-Khoury, Simon and Philippe~R Richard and A{\"\i}meur, Esma and Josep~M Fortuny},
 year         = {2005},
 title        = {Development of an Intelligent Tutorial System to Enhance Students\IeC{\textquoteright} Mathematical Competence in Problem Solving},
 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        = {2042--2049},
)
@article(elcock1977representation,
 author       = {EW~Elcock},
 year         = {1977},
 title        = {Representation of knowledge in geometry machine},
 journal      = {Machine Intelligence},
 volume       = {8},
 pages        = {11--29},
)
@incollection(falmagne2006assessment,
 author       = {Jean-Claude Falmagne and Eric Cosyn and Jean-Paul Doignon and Nicolas Thi{\'e}ry},
 year         = {2006},
 title        = {The assessment of knowledge, in theory and in practice},
 booktitle    = {Formal concept analysis},
 publisher    = {Springer},
 pages        = {61--79},
 doi          = {10.1007/11671404_4},
)
@inproceedings(gelernter1960empirical,
 author       = {Herbert Gelernter and James~R Hansen and Donald~W Loveland},
 year         = {1960},
 title        = {Empirical explorations of the geometry theorem machine},
 booktitle    = {Papers presented at the May 3-5, 1960, western joint IRE-AIEE-ACM computer conference},
 organization = {ACM},
 pages        = {143--149},
)
@article(greeno1979constructions,
 author       = {James~G Greeno},
 year         = {1979},
 title        = {Constructions in Geometry Problem Solving.},
 doi          = {10.3758/BF03198261},
)
@article(hohenwarter2013geogebra,
 author       = {Markus Hohenwarter},
 year         = {2013},
 title        = {GeoGebra 4.4--From desktops to tablets},
 journal      = {Indagatio Didactica},
 volume       = {5},
 number       = {1},
)
@inproceedings(janicic2006gclc,
 author       = {Predrag Janicic},
 year         = {2006},
 title        = {GCLC-A Tool for constructive euclidean geometry and more than that},
 booktitle    = {ICMS},
 organization = {Springer},
 pages        = {58--73},
 doi          = {10.1007/11832225_6},
)
@phdthesis(jean2000pepite,
 author       = {Jean-Daubias, St{\'e}phanie},
 year         = {2000},
 title        = {P{\'E}PITE: un syst{\`e}me d'assistance au diagnostic de comp{\'e}tences},
 school       = {Universit{\'e} du Maine},
)
@article(kapur1986using,
 author       = {Deepak Kapur},
 year         = {1986},
 title        = {Using Gr{\"o}bner bases to reason about geometry problems},
 journal      = {Journal of Symbolic Computation},
 volume       = {2},
 number       = {4},
 pages        = {399--408},
 doi          = {10.1016/S0747-7171(86)80007-4},
)
@inproceedings(koedinger1991design,
 author       = {K~Koedinger},
 year         = {1991},
 title        = {On the design of novel notations and actions to facilitate thinking and learning},
 booktitle    = {Proceedings of the International Conference on the Learning Sciences},
 pages        = {266--273},
)
@article(koedinger1990abstract,
 author       = {Kenneth~R Koedinger and John~R Anderson},
 year         = {1990},
 title        = {Abstract planning and perceptual chunks: Elements of expertise in geometry},
 journal      = {Cognitive Science},
 volume       = {14},
 number       = {4},
 pages        = {511--550},
 doi          = {10.1207/s15516709cog1404_2},
)
@article(koedinger1993effective,
 author       = {Kenneth~R Koedinger and John~R Anderson},
 year         = {1993},
 title        = {Effective use of intelligent software in high school math classrooms},
)
@inproceedings(kordaki2006potential,
 author       = {Maria Kordaki and Alexios Mastrogiannis},
 year         = {2006},
 title        = {The potential of multiple-solution tasks in e-learning environments: Exploiting the tools of Cabri Geometry II},
 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        = {97--104},
)
@article(kuzniak2014espacios,
 author       = {Alain Kuzniak and Philippe~R Richard},
 year         = {2014},
 title        = {Espacios de trabajo matem{\'a}tico. Puntos de vista y perspectivas},
 journal      = {Revista latinoamericana de investigaci{\'o}n en matem{\'a}tica educativa},
 volume       = {17},
 number       = {4},
 doi          = {10.12802/relime.13.1741a},
)
@phdthesis(Leduc2016,
 author       = {N.~Leduc},
 year         = {2016},
 title        = {QED-Tutrix : syst\IeC{\`e}me tutoriel intelligent pour l\IeC{\textquoteright}accompagnement d\IeC{\textquoteright}\IeC{\'e}l\IeC{\`e}ves en situation de r\IeC{\'e}solution de probl\IeC{\`e}mes de d\IeC{\'e}monstration en g\IeC{\'e}om\IeC{\'e}trie plane},
 school       = {\IeC{\'E}cole polytechnique de Montr\IeC{\'e}al.},
)
@article(luengo1997cabri,
 author       = {Vanda Luengo},
 year         = {1997},
 title        = {Cabri-Euclide: Un micromonde de Preuve int{\'e}grant la r{\'e}futation},
 journal      = {These de doctorat, INPG, France},
)
@article(luengo2005some,
 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},
)
@article(luengo1998contraintes,
 author       = {Vanda Luengo and Nicolas Balacheff},
 year         = {1998},
 title        = {Contraintes informatiques et environnements d'apprentissage de la d{\'e}monstration en math{\'e}matiques.},
 journal      = {Sciences et Techniques Educatives},
 volume       = {5},
 pages        = {15--45},
)
@article(matsuda2004gramy,
 author       = {Noboru Matsuda and Kurt Vanlehn},
 year         = {2004},
 title        = {Gramy: A geometry theorem prover capable of construction},
 journal      = {Journal of Automated Reasoning},
 volume       = {32},
 number       = {1},
 pages        = {3--33},
 doi          = {10.1023/B:JARS.0000021960.39761.b7},
)
@inproceedings(matsuda2005advanced,
 author       = {Noboru Matsuda and Kurt VanLehn},
 year         = {2005},
 title        = {Advanced Geometry Tutor: An intelligent tutor that teaches proof-writing with construction.},
 booktitle    = {AIED},
 volume       = {125},
 pages        = {443--450},
)
@article(melis2009activemath,
 author       = {Erica Melis and Giorgi Goguadze and Paul Libbrecht and Carsten Ullrich},
 year         = {2009},
 title        = {Activemath--a learning platform with semantic web features},
 journal      = {The Future of Learning},
 pages        = {159},
)
@inproceedings(narboux2006mechanical,
 author       = {Julien Narboux},
 year         = {2006},
 title        = {Mechanical theorem proving in Tarski\IeC{\textquoteright}s geometry},
 booktitle    = {International Workshop on Automated Deduction in Geometry},
 organization = {Springer},
 pages        = {139--156},
 doi          = {10.1007/978-3-540-77356-6_9},
)
@article(nevins1975plane,
 author       = {Arthur~J Nevins},
 year         = {1975},
 title        = {Plane geometry theorem proving using forward chaining},
 journal      = {Artificial Intelligence},
 volume       = {6},
 number       = {1},
 pages        = {1--23},
 doi          = {10.1016/0004-3702(75)90013-2},
)
@article(py1994reconnaissance,
 author       = {D~Py},
 year         = {1994},
 title        = {Reconnaissance de plan pour la mod{\'e}lisation de l'{\'e}l{\`e}ve. Le projet Mentoniezh},
 journal      = {Recherches en didactique des math{\'e}matiques},
 volume       = {14},
 number       = {1/2},
 pages        = {113--138},
)
@article(py1996aide,
 author       = {Dominique Py},
 year         = {1996},
 title        = {Aide {\`a} la d{\'e}monstration en g{\'e}om{\'e}trie: le projet Mentoniezh},
 journal      = {Sciences et techniques {\'e}ducatives},
 volume       = {3},
 number       = {2},
 pages        = {227--256},
)
@article(py2001environnements,
 author       = {Dominique Py},
 year         = {2001},
 title        = {Environnements interactifs d'apprentissage et d{\'e}monstration en g{\'e}om{\'e}trie},
)
@book(rabardel1995hommes,
 author       = {Pierre Rabardel},
 year         = {1995},
 title        = {Les hommes et les technologies; approche cognitive des instruments contemporains},
 publisher    = {Armand Colin},
)
@article(richard2004inference,
 author       = {Philippe~R Richard},
 year         = {2004},
 title        = {L'inf{\'e}rence figurale: un pas de raisonnement discursivo-graphique},
 journal      = {Educational Studies in Mathematics},
 volume       = {57},
 number       = {2},
 pages        = {229--263},
 doi          = {10.1023/B:EDUC.0000049272.75852.c4},
)
@inproceedings(richard2007amelioration,
 author       = {Philippe~R Richard and Josep~M Fortuny},
 year         = {2007},
 title        = {Am{\'e}lioration des comp{\'e}tences argumentatives {\`a} l\IeC{\textquoteright}aide d\IeC{\textquoteright}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--116},
)
@article(richard2011didactic,
 author       = {Philippe~R Richard and Josep~Maria Fortuny and Michel Gagnon and Nicolas Leduc and Eloi Puertas and Tessier-Baillargeon, Mich{\`e}le},
 year         = {2011},
 title        = {Didactic and theoretical-based perspectives in the experimental development of an intelligent tutorial system for the learning of geometry},
 journal      = {ZDM},
 volume       = {43},
 number       = {3},
 pages        = {425--439},
 doi          = {10.1007/s11858-011-0320-y},
)
@inproceedings(richard2017connectedness,
 author       = {P.R. Richard and Michel Gagnon and J.~M. Fortuny},
 year         = {2018},
 title        = {Connectedness of Problems and Impass Resolution in the Solving Process in Geometry: a Major Educational Challenge},
 editor       = {P.~Herbst and U.H. Cheah and K.~Jones and P.R. Richard},
 booktitle    = {International Perspectives on the Teaching and Learning of Geometry in Secondary Schools},
 organization = {Springer},
 pages        = {311--327},
)
@article(roll2014benefits,
 author       = {Ido Roll and Ryan SJ~d Baker and Vincent Aleven and Kenneth~R Koedinger},
 year         = {2014},
 title        = {On the benefits of seeking (and avoiding) help in online problem-solving environments},
 journal      = {Journal of the Learning Sciences},
 volume       = {23},
 number       = {4},
 pages        = {537--560},
 doi          = {10.1016/S0360-1315(99)00030-5},
)
@phdthesis(Tessier-Baillargeon2015,
 author       = {M~Tessier-Baillargeon},
 year         = {2015},
 title        = {GeoGebraTUTOR : D\IeC{\'e}veloppement d\IeC{\textquoteright}un syst\IeC{\`e}me tutoriel autonome pour l\IeC{\textquoteright}accompagnement d\IeC{\textquoteright}\IeC{\'e}l\IeC{\`e}ves en situation de r\IeC{\'e}solution de probl\IeC{\`e}mes de d\IeC{\'e}monstration en g\IeC{\'e}om\IeC{\'e}trie plane et gen\IeC{\`e}se d\IeC{\textquoteright}un espace de travail g\IeC{\'e}om\IeC{\'e}trique idoine},
 school       = {Universit\IeC{\'e} de Montr\IeC{\'e}al.},
)
@inproceedings(webber2001baghera,
 author       = {Carine Webber and Loris Bergia and Sylvie Pesty and Nicolas Balacheff},
 year         = {2001},
 title        = {The Baghera project: a multi-agent architecture for human learning},
 booktitle    = {Workshop-Multi-Agent Architectures for Distributed Learning Environments. In Proceedings International Conference on AI and Education. San Antonio, Texas},
)
@article(weber2001elm,
 author       = {Gerhard Weber and Peter Brusilovsky},
 year         = {2001},
 title        = {ELM-ART: An adaptive versatile system for Web-based instruction},
 journal      = {International Journal of Artificial Intelligence in Education (IJAIED)},
 volume       = {12},
 pages        = {351--384},
)
@article(wu1979elementary,
 author       = {H~Wu},
 year         = {1979},
 title        = {An elementary method in the study of nonnegative curvature},
 journal      = {Acta Mathematica},
 volume       = {142},
 number       = {1},
 pages        = {57--78},
 doi          = {10.1007/BF02395057},
)
@article(zhang1990parallel,
 author       = {Jingzhong Zhang and Lu~Yang and Mike Deng},
 year         = {1990},
 title        = {The parallel numerical method of mechanical theorem proving},
 journal      = {Theoretical Computer Science},
 volume       = {74},
 number       = {3},
 pages        = {253--271},
 doi          = {10.1016/0304-3975(90)90077-U},
)