Towards a geometry deductive database prover

DOI10.1007/S10472-023-09839-0zbMATH Open1543.68396MaRDI QIDQ6535443FDOQ6535443

Authors: Nuno Baeta, Pedro Quaresma 

Publication date: 8 January 2024

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

Recommendations

• A deductive database approach to automated geometry theorem proving and discovering
• Visually dynamic presentation of proofs in plane geometry. II: Automated generation of visually dynamic presentations with the full-angle method and the deductive database method
• Thousands of geometric problems for geometric theorem provers (TGTP)
• Automated Deduction in Geometry
• Automated Deduction in Geometry

zbMATH Keywords

deductive databasesautomated geometry theorem provingautomated deduction in geometry

Mathematics Subject Classification ID

Database theory (68P15) Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15) Computational methods for problems pertaining to geometry (51-08)

Cites Work

• A coherent logic based geometry theorem prover capable of producing formal and readable proofs
• An introduction to Java geometry expert. (Extended abstract)
• Automated reasoning in geometry theorem proving with Prolog
• Automated reasoning in geometry
• Plane geometry theorem proving using forward chaining
• A deductive database approach to automated geometry theorem proving and discovering
• The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0
• Proof technology in mathematics research and teaching
• Open geometry prover community project

Cited In (2)

• A deductive database approach to automated geometry theorem proving and discovering
• Title not available (Why is that?)

This page was built for publication: Towards a geometry deductive database prover

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