Current Status of the I2GATP Common Format

DOI10.1007/978-3-319-21362-0_8zbMath1434.68643OpenAlexW2292647837WikidataQ57552298 ScholiaQ57552298MaRDI QIDQ3452280

Nuno Baeta, Pedro Quaresma

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

Mathematics Subject Classification ID

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

• GCLC
• I2Geo
• GCLCprover
• GeoThms
• Intergeo
• TGTP
• GATP

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