Automatic Verification of Regular Constructions in Dynamic Geometry Systems. - Predrag Janicic; Pedro Quaresma (Automated Deduction in Geometry, 2006)

System Description: GCLCprover + GeoThms. - Predrag Janicic; Pedro Quaresma (IJCAR, 2006)

Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. - Pedro Quaresma; Predrag Janicic (MKM, 2006)

GeoThms - a Web System for Euclidean Constructive Geometry. - Pedro Quaresma; Predrag Janicic (UITP@FLoC, 2006)

E-Learning Course for Euclidean Geometry. - Vanda Santos; Pedro Quaresma (ICALT, 2008)

Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). - Pedro Quaresma (Automated Deduction in Geometry, 2010)

Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment - Vanda Santos; Pedro Quaresma (ThEdu, 2011)

An XML-Format for Conjectures in Geometry (Work-in-Progress) - Pedro Quaresma (CoRR, 2012)

The Area Method - A Recapitulation. - Predrag Janicic; Julien Narboux; Pedro Quaresma (J. Autom. Reason., 2012)

Collaborative environment for geometry. - Vanda Santos; Pedro Quaresma (exp.at, 2013)

The full angle method on the OpenGeoProver. - Nuno Baeta; Pedro Quaresma (CICM Workshops, 2013)

The Web Geometry Laboratory Project. - Pedro Quaresma; Vanda Santos; Seifeddine Bouallegue (MKM/Calculemus/DML, 2013)

Current Status of the I2GATP Common Format. - Pedro Quaresma; Nuno Baeta (ADG, 2014)

Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. - Yannis Haralambous; Pedro Quaresma (CICM, 2014)

Reproducing a Geometric Working Session. - Pedro Quaresma; Vanda Santos; Juan Moral (CICM Workshops, 2014)

A Web Environment for Geometry. - Pedro Quaresma; Vanda Santos; Milena Maric (CICM (Work in Progress), 2015)

Exchange of Geometric Information Between Applications. - Pedro Quaresma; Vanda Santos; Nuno Baeta (ThEdu@CADE, 2017)

Towards an Intelligent and Dynamic Geometry Book. - Pedro Quaresma (Math. Comput. Sci., 2017)

Automatic Deduction in an AI Geometry Book. - Pedro Quaresma (AISC, 2018)

Towards Ranking Geometric Automated Theorem Provers. - Nuno Baeta; Pedro Quaresma (ThEdu@FLoC, 2018)

WGL, a web laboratory for geometry. - Pedro Quaresma; Vanda Santos; Milena Maric (Educ. Inf. Technol., 2018)

Web geometry laboratory: case studies in Portugal and Serbia. - Vanda Santos; Pedro Quaresma; Milena Maric; Helena Campos (Interact. Learn. Environ., 2018)

Towards a Geometry Automated Provers Competition. - Nuno Baeta; Pedro Quaresma; Zoltán Kovács (ThEdu@CADE, 2019)

Taxonomies of geometric problems. - Pedro Quaresma; Vanda Santos; Pierluigi Graziani; Nuno Baeta (J. Symb. Comput., 2020)

Automated Deduction and Knowledge Management in Geometry. - Pedro Quaresma (Math. Comput. Sci., 2020)

Open Geometry Prover Community Project. - Nuno Baeta; Pedro Quaresma (ADG, 2021)

Four Geometry Problems to Introduce Automated Deduction in Secondary Schools. - Pedro Quaresma; Vanda Santos (ThEdu@CADE, 2021)

A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools. - Joana Teles; Vanda Santos; Pedro Quaresma (ThEdu@FLoC, 2022)

Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry. - Pedro Quaresma; Pierluigi Graziani; Stefano M. Nicoletti (ADG, 2023)

Measuring the Readability of Geometric Proofs: The Area Method Case. - Pedro Quaresma; Pierluigi Graziani (J. Autom. Reason., 2023)

Towards a geometry deductive database prover. - Nuno Baeta; Pedro Quaresma (Ann. Math. Artif. Intell., 2023)

Towards a Readability Criterion for Humans and Machines. - Pedro Quaresma; Pierluigi Graziani (SEFM, 2024)