Current Status of the I2GATP Common Format
From MaRDI portal
Publication:3452280
DOI10.1007/978-3-319-21362-0_8zbMath1434.68643OpenAlexW2292647837WikidataQ57552298 ScholiaQ57552298MaRDI QIDQ3452280
Publication date: 11 November 2015
Published in: Automated Deduction in Geometry (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-21362-0_8
Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Formalization of mathematics in connection with theorem provers (68V20) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Mathematical knowledge management (68V30)
Related Items
Automatic Deduction in an AI Geometry Book, Towards an intelligent and dynamic geometry book, Automated deduction and knowledge management in geometry
Uses Software
Cites Work
- The area method. A recapitulation
- Representation and automated transformation of geometric statements
- The axioms of constructive geometry
- The Web Geometry Laboratory Project
- Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
- Automatic Verification of Regular Constructions in Dynamic Geometry Systems
- A Vernacular for Coherent Logic
- GCLC — A Tool for Constructive Euclidean Geometry and More Than That