@article(Baeta2022,
 author       = {Nuno Baeta and Pedro Quaresma},
 year         = {2022},
 title        = {A Geometry Deductive Database Prover},
 journal      = {Annals of Mathematics and Artificial Intelligence},
 note         = {in press},
)
@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(Chou1996b,
 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(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},
)
@book(mec2013,
 author       = {Ministério da~Educação~e Ciência~[MEC]},
 year         = {2013},
 title        = {Programa de {Matemática} para o {Ensino} {Básico}},
 publisher    = {Lisboa: Ministério da Educação e Ciência.},
 url          = {https://www.dge.mec.pt/sites/default/files/Basico/Metas/Matematica/programa_matematica_basico.pdf},
)
@incollection(Duval,
 author       = {R~Duval},
 year         = {1998},
 title        = {Geometry from a cognitive point of view},
 series       = {Perspectives on the Teaching of Geometry for the 21st century: an ICMI study},
 publisher    = {Kluwer Academic},
 pages        = {37--51},
)
@book(dge2018,
 author       = {Direção-Geral da~Educação~[DGE]},
 year         = {2018},
 title        = {{A}prendizagens essenciais: {A}rticulação com o perfil dos alunos - 7. º ano - 3.º ciclo do ensino básico – {M}atemática},
 publisher    = {Lisboa: Direção-Geral da Educação.},
 url          = {http://www.dge.mec.pt/sites/default/files/Curriculo/Aprendizagens_Essenciais/3_ciclo/ae_mat_7.o_ano.pdf},
)
@book(dge2021,
 author       = {Direção-Geral da~Educação~[DGE]},
 year         = {2021},
 title        = {{A}prendizagens essenciais: {A}rticulação com o perfil dos alunos - 7.º ano - 3.º ciclo do ensino básico – {M}atemática},
 publisher    = {Lisboa: Direção-Geral da Educação.},
 url          = {https://www.dge.mec.pt/sites/default/files/Curriculo/Aprendizagens_Essenciais/3_ciclo/ae_mat_7.o_ano.pdf},
)
@phdthesis(Font2021,
 author       = {Ludovic Font},
 year         = {2021},
 title        = {Génération automatique de preuves pour un logiciel tuteur en géométrie},
 type         = {phdthesis},
 school       = {Polytechnique Montréal},
 url          = {https://publications.polymtl.ca/9090/},
)
@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},
)
@inproceedings(Gagnon2017,
 author       = {M.~Gagnon and N.~Leduc and P.R. Richard and M.~Tessier-Baillargeon},
 year         = {2017},
 title        = {QED-Tutrix: creating and expanding a problem database towards personalized problem itineraries for proof learning in geometry},
 booktitle    = {Proceedings of the Tenth Congress of the European Society for Research in Mathematics Education (CERME10).},
)
@article(Grothmann2016,
 author       = {René Grothmann},
 year         = {2016},
 title        = {The Geometry Program C.a.R.},
 journal      = {International Journal of Computer Discovered Mathematics},
 volume       = {1},
 number       = {1},
 pages        = {45--61},
)
@article(Hanna2020,
 author       = {Gila Hanna},
 year         = {2020},
 title        = {Mathematical Proof, Argumentation, and Reasoning},
 pages        = {561--566},
 doi          = {10.1007/978-3-030-15789-0\_102},
)
@mastersthesis(Hohenwarter2002,
 author       = {M~Hohenwarter},
 year         = {2002},
 title        = {GeoGebra - a software system for dynamic geometry and algebra in the plane},
 school       = {University of Salzburg},
 address      = {Austria},
)
@book(Jackiw2001,
 author       = {N~Jackiw},
 year         = {2001},
 title        = {The Geometer's Sketchpad v4.0},
 publisher    = {Key Curriculum Press},
)
@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},
)
@article(Janicic2012a,
 author       = {Jani\v{c}i\'c, Predrag and Julien Narboux and Pedro Quaresma},
 year         = {2012},
 title        = {The {A}rea {M}ethod: a Recapitulation},
 journal      = {Journal of Automated Reasoning},
 volume       = {48},
 number       = {4},
 pages        = {489--532},
 doi          = {10.1007/s10817-010-9209-7},
)
@article(Kovacs2018,
 author       = {Zoltan Kov\'acs and Tomas Recio and {Maria Pilar}. V\'elez},
 year         = {2018},
 title        = {Using Automated Reasoning Tools in GeoGebra in the Teaching and Learning of Proving in Geometry},
 journal      = {International Journal for Technology in Mathematics Education},
 volume       = {25},
 number       = {2},
 pages        = {33--50},
 doi          = {10.1564/tme\_v25.2.03},
)
@inbook(Kovacs2022,
 author       = {Zoltan Kov\'acs and Tomas Recio and {Maria Pilar} V\'elez},
 year         = {2022},
 title        = {Mathematics Education in the Age of Artificial Intelligence},
 chapter      = {Automated Reasoning Tools with GeoGebra: What are they? What are they good for?},
 publisher    = {Springer Nature},
 doi          = {10.1007/978-3-030-86909-0\_2},
)
@article(Laborde1990,
 author       = {J.~M. Laborde and R.~Str{\"a}sser},
 year         = {1990},
 title        = {Cabri-G{\'e}om{\`e}tre: A microworld of geometry guided discovery learning},
 journal      = {International reviews on mathematical education- Zentralblatt fuer didaktik der mathematik},
 volume       = {90},
 number       = {5},
 pages        = {171--177},
)
@article(Marrades2000,
 author       = {Ram{\'{o}}n Marrades and {\'{A}}ngel Guti{\'{e}}rrez},
 year         = {2000},
 title        = {Proofs produced by secondary school students learning geometry in a dynamic computer environment},
 journal      = {Educational Studies in Mathematics},
 volume       = {44},
 number       = {1/2},
 pages        = {87--125},
 doi          = {10.1023/A:1012785106627},
)
@inbook(Quaresma2022e,
 author       = {Pedro Quaresma},
 year         = {2022},
 title        = {Evolution of Automated Deduction and Dynamic Constructions in Geometry},
 chapter      = {1},
 pages        = {3--22},
 series       = {Mathematics Education in the Digital Era},
 volume       = {17},
 publisher    = {Springer},
 doi          = {10.1007/978-3-030-86909-0},
)
@inproceedings(Quaresma2022a,
 author       = {Pedro Quaresma and Vanda Santos},
 year         = {2022},
 title        = {Four Geometry Problems to Introduce Automated Deduction in Secondary Schools},
 booktitle    = {Proceedings 10th International Workshop on Theorem Proving Components for Educational Software},
 series       = {Electronic Proceedings in Theoretical Computer Science},
 volume       = {354},
 publisher    = {Open Publishing Association},
 pages        = {27--42},
 doi          = {10.4204/eptcs.354.3},
)
@book(Richter-Gebert1999,
 author       = {Richter-Gebert, J{\"u}rgen and Ulrich Kortenkamp},
 year         = {1999},
 title        = {The Interactive Geometry Software Cinderella},
 publisher    = {Springer},
)
@article(Santos2021,
 author       = {Vanda Santos and Pedro Quaresma},
 year         = {2021},
 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},
)
@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},
)