Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
From MaRDI portal
Publication:3102742
DOI10.1007/978-3-642-25070-5_10zbMath1350.68243OpenAlexW1409110429WikidataQ57552307 ScholiaQ57552307MaRDI QIDQ3102742
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
Related Items
Learning to solve geometric construction problems from images, Current Status of the I2GATP Common Format, Automatic Deduction in an AI Geometry Book, Towards an intelligent and dynamic geometry book, Can an A.I. win a medal in the mathematical olympiad? – Benchmarking mechanized mathematics on pre-university problems1, Automated deduction and knowledge management in geometry, Formalization and specification of geometric knowledge objects, Race Against the Teens – Benchmarking Mechanized Math on Pre-university Problems, TGTP, Querying Geometric Figures Using a Controlled Language, Ontological Graphs and Dependency Lattices, Taxonomies of geometric problems, Automated generation of geometric theorems from images of diagrams
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- MMP/Geometer
- GEOTHER 1.1
- The area method. A recapitulation
- \textit{Theorema}: Towards computer-aided mathematical theory exploration
- Using Gröbner bases to reason about geometry problems
- A graphical user interface for formal proofs in geometry
- The TPTP problem library and associated infrastructure and associated infrastructure. The FOF and CNF parts, v3.5.0
- GeoThms — a Web System for Euclidean Constructive Geometry
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That
- Automated Deduction in Geometry
- Automated Deduction in Geometry