@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},
)