Pedro Quaresma
Universidade de Coimbra
H-index: 13
Europe-Portugal
Top articles of Pedro Quaresma
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Considerations on Approaches and Metrics in Automated Theorem Generation/Finding in Geometry | arXiv preprint arXiv:2401.11905 | Pedro Quaresma Pierluigi Graziani Stefano M Nicoletti | 2024/1/22 |
Proceedings 14th International Conference on Automated Deduction in Geometry | arXiv preprint arXiv:1405.5272 | Zoltán Ésik Zoltán Fülöp | 2014/5/21 |
Proceedings 12th International Workshop on Theorem proving components for Educational software | Julien Narboux Walther Neuper Pedro Quaresma | 2024 | |
Towards a geometry deductive database prover | Annals of Mathematics and Artificial Intelligence | Nuno Baeta Pedro Quaresma | 2023/12 |
Explorando Sistemas de Geometria Dinâmica com Demonstradores de Teoremas Integrados 28 de outubro | GeoGebra em Aula | Pedro Quaresma | 2023/10 |
A rule based theorem prover: an introduction to proofs in secondary schools | arXiv preprint arXiv:2303.05863 | Joana Teles Vanda Santos Pedro Quaresma | 2023/3/10 |
Measuring the Readability of Geometric Proofs: The Area Method Case | Journal of Automated Reasoning | Pedro Quaresma Pierluigi Graziani | 2023/3 |
Photographs of the Book Project and Some of the Authors | Mathematics Education in the Age of Artificial Intelligence: How Artificial Intelligence can Serve Mathematical Human Learning | Jiˇrí Blaˇzek Roman Hašek Thierry Dana-Picard Pedro Quaresma PR Richard | 2022/3/9 |
Four geometry problems to introduce automated deduction in secondary schools | arXiv preprint arXiv:2202.03566 | Pedro Quaresma Vanda Santos | 2022/2/8 |
Open geometry prover community project | arXiv preprint arXiv:2201.01375 | Nuno Baeta Pedro Quaresma | 2022/1/3 |
Evolution of Automated Deduction and Dynamic Constructions in Geometry | Pedro Quaresma | 2022/3/10 | |
The geometrography’s simplicity coefficient for the axioms and lemma of the area method | Pedro Quaresma Pierluigi Graziani | 2021/1/19 | |
Exploring geometric conjectures with the help of a learning environment-a case study with pre-service teachers | The Electronic Journal of Mathematics and Technology | Vanda Santos Pedro Quaresma | 2021 |
Proofs & Dynamics in Geometry | First Symposium on Artificial Intelligence for Mathematics Education. Book of Abstracts (AI4ME 2020) | Pedro Quaresma | 2020/10/29 |
Taxonomies of geometric problems | Journal of Symbolic Computation | Pedro Quaresma Vanda Santos Pierluigi Graziani Nuno Baeta | 2020/3/1 |
Towards a geometry automated provers competition | arXiv preprint arXiv:2002.12556 | Nuno Baeta Pedro Quaresma Zoltán Kovács | 2020/2/28 |
Automated deduction and knowledge management in geometry | Mathematics in Computer Science | Pedro Quaresma | 2020/12 |