Pedro Quaresma

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Open geometry prover community project	2024-12-17	Paper
Towards a geometry deductive database prover Annals of Mathematics and Artificial Intelligence	2024-01-08	Paper
Automatic Deduction in an AI Geometry Book Artificial Intelligence and Symbolic Computation	2023-06-30	Paper
Measuring the readability of geometric proofs: the area method case Journal of Automated Reasoning	2023-06-14	Paper
Automated deduction and knowledge management in geometry Mathematics in Computer Science	2021-02-25	Paper
Taxonomies of geometric problems Journal of Symbolic Computation	2019-11-07	Paper
Towards an intelligent and dynamic geometry book Mathematics in Computer Science	2018-02-27	Paper
Current status of the I2GATP common format Automated Deduction in Geometry	2015-11-11	Paper
Querying geometric figures using a controlled language, ontological graphs and dependency lattices Lecture Notes in Computer Science	2014-08-07	Paper
GeoThms -- a web system for Euclidean constructive geometry Electronic Notes in Theoretical Computer Science	2013-12-20	Paper
The web geometry laboratory project Lecture Notes in Computer Science	2013-08-09	Paper
The area method. A recapitulation Journal of Automated Reasoning	2012-07-17	Paper
Thousands of geometric problems for geometric theorem provers (TGTP) Automated Deduction in Geometry	2011-11-25	Paper
Automatic Verification of Regular Constructions in Dynamic Geometry Systems Automated Deduction in Geometry	2008-04-01	Paper
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories Lecture Notes in Computer Science	2007-09-05	Paper

Research outcomes over time

This page was built for person: Pedro Quaresma