ArgoCLP

swMATH7192MaRDI QIDQ19245FDOQ19245

Author name not available (Why is that?)

Described by source

• A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs

Cited In (12)

• Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems
• Invited Talk: Coherentisation of First-Order Logic
• Taxonomies of geometric problems
• Portfolio theorem proving and prover runtime prediction for geometry
• From informal to formal proofs in Euclidean geometry
• Automated deduction and knowledge management in geometry
• Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
• A Vernacular for Coherent Logic
• Title not available (Why is that?)
• Theorem proving as constraint solving with coherent logic
• Towards an intelligent and dynamic geometry book
• Geometrisation of first-order logic

This page was built for software: ArgoCLP