ArgoCLP

swMATH7192MaRDI QIDQ19245

No author found.

Described by source

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

Related Items (12)

Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems ⋮ From informal to formal proofs in Euclidean geometry ⋮ Portfolio theorem proving and prover runtime prediction for geometry ⋮ Invited Talk: Coherentisation of First-Order Logic ⋮ Towards an intelligent and dynamic geometry book ⋮ Automated deduction and knowledge management in geometry ⋮ Unnamed Item ⋮ GEOMETRISATION OF FIRST-ORDER LOGIC ⋮ A Vernacular for Coherent Logic ⋮ Taxonomies of geometric problems ⋮ Theorem proving as constraint solving with coherent logic ⋮ Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry

This page was built for software: ArgoCLP