Pedro Quaresma

Available identifiers

zbMath Open quaresma.pedroMaRDI QIDQ437041

List of research outcomes

Publication	Date of Publication	Type
Open geometry prover community project	2024-12-17	Paper
Towards a geometry deductive database prover	2024-01-08	Paper
Automatic Deduction in an AI Geometry Book	2023-06-30	Paper
Measuring the readability of geometric proofs: the area method case	2023-06-14	Paper
Automated deduction and knowledge management in geometry	2021-02-25	Paper
Taxonomies of geometric problems	2019-11-07	Paper
Towards an intelligent and dynamic geometry book	2018-02-27	Paper
Current Status of the I2GATP Common Format	2015-11-11	Paper
Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices	2014-08-07	Paper
GeoThms -- a web system for Euclidean constructive geometry	2013-12-20	Paper
The Web Geometry Laboratory Project	2013-08-09	Paper
The area method. A recapitulation	2012-07-17	Paper
Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)	2011-11-25	Paper
Automatic Verification of Regular Constructions in Dynamic Geometry Systems	2008-04-01	Paper
Integrating Dynamic Geometry Software, Deduction Systems, and Theorem Repositories	2007-09-05	Paper

Research outcomes over time

This page was built for person: Pedro Quaresma