ArgoCLP

swMATH7192MaRDI QIDQ19245FDOQ19245

Author name not available (Why is that?)

Official website: https://doi.org/10.1007/978-3-642-25070-5_12

Described by source

• A coherent logic based geometry theorem prover capable of producing formal and readable proofs

Cited In (30)

• 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
• GCLC
• GCLCprover
• GeoThms
• gcl
• OpenGeoProver
• TGTP
• Electronic Geometry Textbook
• WinGCLC
• Intergeo
• GEX
• Opengeo
• JGEX
• ArgoTriCS
• URSA
• Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
• GATP
• Baghera
• WGL
• Computer theorem proving for verifiable solving of geometric construction problems
• Title not available (Why is that?)
• EUCLID
• Theorem proving as constraint solving with coherent logic
• Towards an intelligent and dynamic geometry book
• Geometrisation of first-order logic
• A vernacular for coherent logic

This page was built for software: ArgoCLP