Thousands of geometric problems for geometric theorem provers (TGTP)

DOI10.1007/978-3-642-25070-5_10MaRDI QIDQ3102742zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Pedro Quaresma

Publication date 25 November 2011

Published in Automated Deduction in Geometry (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-25070-5_10

zbMATH Keywords

geometric automated theorem provinglibrary of problems in geometry

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04)

Recommendations

• The TPTP problem library
• TPTP, TSTP, CASC, etc.
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• GeoThms -- a web system for Euclidean constructive geometry

Cites work

• \textit{Theorema}: Towards computer-aided mathematical theory exploration
• A graphical user interface for formal proofs in geometry
• Automated Deduction in Geometry
• Automated Deduction in Geometry
• GCLC -- a tool for constructive Euclidean geometry and more than that
• GEOTHER 1.1
• GeoThms -- a web system for Euclidean constructive geometry
• scientific article; zbMATH DE number 1313585 (Why is no real title available?)
• MMP/Geometer
• SATLIB: An online resource for research on SAT
• The area method. A recapitulation
• The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
• Using Gröbner bases to reason about geometry problems

Cited in

(17)

• Towards an intelligent and dynamic geometry book
• Automated deduction and knowledge management in geometry
• Learning to solve geometric construction problems from images
• Formalization and specification of geometric knowledge objects
• Taxonomies of geometric problems
• Automated generation of geometric theorems from images of diagrams
• TGTP
• Race against the teens -- benchmarking mechanized math on pre-university problems
• Challenging theorem provers with Mathematical Olympiad problems in solid geometry
• Current status of the I2GATP common format
• GeoLogic – Graphical Interactive Theorem Prover for Euclidean Geometry
• Can an A.I. win a medal in the mathematical olympiad? -- Benchmarking mechanized mathematics on pre-university problems
• Querying geometric figures using a controlled language, ontological graphs and dependency lattices
• Automated Deduction in Geometry
• Automatic Deduction in an AI Geometry Book
• Towards a geometry deductive database prover
• Open geometry prover community project

Describes a project that uses

Uses Software

• MMP/Geometer
• GEOTHER 1.1
• GCLCprover
• GeoThms
• Intergeo
• GeoGebra
• Theorema
• GeoView
• MySQL
• Cinderella
• GCLC
• SATLIB
• SMT-LIB
• TPTP
• GeoProof

This page was built for publication: Thousands of geometric problems for geometric theorem provers (TGTP)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3102742)