Pedro Quaresma

Publication Activity (10 Years)

Years Active: 2006-2024
Publications (10 Years): 18

Top Topics

Secondary School

Geometric Information

Educational Software

International Workshop

Top Venues

Math. Comput. Sci.

Interact. Learn. Environ.

Publications

Pedro Quaresma, Pierluigi Graziani, Stefano M. Nicoletti
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry. CoRR (2024)
Pedro Quaresma, Zoltán Kovács
Proceedings 14th International Conference on Automated Deduction in Geometry. CoRR (2024)
Pedro Quaresma, João Marcos, Walther Neuper
Proceedings 11th International Workshop on Theorem Proving Components for Educational Software. CoRR (2023)
Nuno Baeta, Pedro Quaresma
Towards a geometry deductive database prover. Ann. Math. Artif. Intell. 91 (6) (2023)
Joana Teles, Vanda Santos, Pedro Quaresma
A Rule Based Theorem Prover: an Introduction to Proofs in Secondary Schools. CoRR (2023)
Pedro Quaresma, Pierluigi Graziani
Measuring the Readability of Geometric Proofs: The Area Method Case. J. Autom. Reason. 67 (1) (2023)
Pedro Quaresma, Vanda Santos
Four Geometry Problems to Introduce Automated Deduction in Secondary Schools. CoRR (2022)
Nuno Baeta, Pedro Quaresma
Open Geometry Prover Community Project. CoRR (2022)
João Marcos, Walther Neuper, Pedro Quaresma
Proceedings 10th International Workshop on Theorem Proving Components for Educational Software. CoRR (2022)
Pedro Quaresma
Automated Deduction and Knowledge Management in Geometry. Math. Comput. Sci. 14 (4) (2020)
Pedro Quaresma, Vanda Santos, Pierluigi Graziani, Nuno Baeta
Taxonomies of geometric problems. J. Symb. Comput. 97 (2020)
Nuno Baeta, Pedro Quaresma, Zoltán Kovács
Towards a Geometry Automated Provers Competition. ThEdu@CADE (2019)
Nuno Baeta, Pedro Quaresma
Towards Ranking Geometric Automated Theorem Provers. ThEdu@FLoC (2018)
Pedro Quaresma, Vanda Santos, Milena Maric
, a web laboratory for geometry. Educ. Inf. Technol. 23 (1) (2018)
Vanda Santos, Pedro Quaresma, Milena Maric, Helena Campos
Web geometry laboratory: case studies in Portugal and Serbia. Interact. Learn. Environ. 26 (1) (2018)
Pedro Quaresma
Automatic Deduction in an AI Geometry Book. AISC (2018)
Pedro Quaresma, Vanda Santos, Nuno Baeta
Exchange of Geometric Information Between Applications. ThEdu@CADE (2017)
Pedro Quaresma
Towards an Intelligent and Dynamic Geometry Book. Math. Comput. Sci. 11 (3-4) (2017)
Pedro Quaresma, Vanda Santos, Milena Maric
A Web Environment for Geometry. CICM (Work in Progress) (2015)
Pedro Quaresma, Vanda Santos, Milena Maric
A Web Environment for Geometry. CoRR (2015)
Pedro Quaresma, Nuno Baeta
Current Status of the I2GATP Common Format. ADG (2014)
Yannis Haralambous, Pedro Quaresma
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. CICM (2014)
Pedro Quaresma, Vanda Santos, Juan Moral
Reproducing a Geometric Working Session. CICM Workshops (2014)
Yannis Haralambous, Pedro Quaresma
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices. CoRR (2014)
Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue
The Web Geometry Laboratory Project. MKM/Calculemus/DML (2013)
Pedro Quaresma, Vanda Santos, Seifeddine Bouallegue
The Web Geometry Laboratory Project CoRR (2013)
Nuno Baeta, Pedro Quaresma
The full angle method on the OpenGeoProver. CICM Workshops (2013)
Vanda Santos, Pedro Quaresma
Collaborative environment for geometry. exp.at (2013)
Pedro Quaresma
An XML-Format for Conjectures in Geometry (Work-in-Progress) CoRR (2012)
Predrag Janicic, Julien Narboux, Pedro Quaresma
The Area Method - A Recapitulation. J. Autom. Reason. 48 (4) (2012)
Vanda Santos, Pedro Quaresma
Integrating DGSs and GATPs in an Adaptative and Collaborative Blended-Learning Web-Environment ThEdu (2011)
Pedro Quaresma
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP). Automated Deduction in Geometry (2010)
Vanda Santos, Pedro Quaresma
E-Learning Course for Euclidean Geometry. ICALT (2008)
Pedro Quaresma, Predrag Janicic
GeoThms - a Web System for Euclidean Constructive Geometry. Electron. Notes Theor. Comput. Sci. 174 (2) (2007)
Predrag Janicic, Pedro Quaresma
Automatic Verification of Regular Constructions in Dynamic Geometry Systems. Automated Deduction in Geometry (2006)
Pedro Quaresma, Predrag Janicic
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories. MKM (2006)
Predrag Janicic, Pedro Quaresma
System Description: GCLCprover + GeoThms. IJCAR (2006)