Current status of the I2GATP common format

DOI10.1007/978-3-319-21362-0_8zbMATH Open1434.68643OpenAlexW2292647837WikidataQ57552298 ScholiaQ57552298MaRDI QIDQ3452280FDOQ3452280

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

Recommendations

• Thousands of geometric problems for geometric theorem provers (TGTP)
• I2Geo: a Web-library of interactive geometry
• Automated Deduction in Geometry
• Querying geometric figures using a controlled language, ontological graphs and dependency lattices
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems

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)

Cites Work

• GCLC — A Tool for Constructive Euclidean Geometry and More Than That
• Thousands of Geometric Problems for Geometric Theorem Provers (TGTP)
• The Web Geometry Laboratory Project
• The axioms of constructive geometry
• The area method. A recapitulation
• Automatic Verification of Regular Constructions in Dynamic Geometry Systems
• Representation and automated transformation of geometric statements
• A Vernacular for Coherent Logic

Cited In (3)

• Automated deduction and knowledge management in geometry
• Automatic Deduction in an AI Geometry Book
• Towards an intelligent and dynamic geometry book

Uses Software

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

This page was built for publication: Current status of the I2GATP common format

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