Automatic Deduction in an AI Geometry Book

DOI10.1007/978-3-319-99957-9_16MaRDI QIDQ6108829zbMATH OpenOpenAlexWikidataFDO

Authors Pedro Quaresma

Publication date 30 June 2023

Published in Artificial Intelligence and Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-99957-9_16

Mathematics Subject Classification ID

Software, source code, etc. for problems pertaining to geometry (51-04) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Mathematical knowledge management (68V30) Symbolic computation and algebraic computation (68W30)

Recommendations

• Machine Proofs in Geometry
• Automated deduction and knowledge management in geometry
• Representation and automated transformation of geometric statements
• Automatted geometry theorem proving

Cites work

• A graphical user interface for formal proofs in geometry
• A review and prospect of readable machine proofs for geometry theorems
• An introduction to Java geometry expert. (Extended abstract)
• Automated reasoning in geometry
• Automated theorem proving in GeoGebra: current achievements
• Current status of the I2GATP common format
• GCLC -- a tool for constructive Euclidean geometry and more than that
• scientific article; zbMATH DE number 1313585 (Why is no real title available?)
• Opengeo: an open geometric knowledge base
• Thousands of geometric problems for geometric theorem provers (TGTP)
• Towards an intelligent and dynamic geometry book

Cited in

(4)

• Towards an intelligent and dynamic geometry book
• Automated deduction and knowledge management in geometry
• Fully reusing clause deduction algorithm based on standard contradiction separation rule
• Automated generation of geometry proof problems based on point geometry identity

This page was built for publication: Automatic Deduction in an AI Geometry Book

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