Cited in
(30)- Automated deduction and knowledge management in geometry
- Invited Talk: Coherentisation of First-Order Logic
- Computer theorem proving for verifiable solving of geometric construction problems
- Taxonomies of geometric problems
- Geometrisation of first-order logic
- Portfolio theorem proving and prover runtime prediction for geometry
- Theorem proving as constraint solving with coherent logic
- GCLC
- GCLCprover
- GeoThms
- gcl
- OpenGeoProver
- TGTP
- Electronic Geometry Textbook
- WinGCLC
- Intergeo
- GEX
- Opengeo
- JGEX
- ArgoTriCS
- URSA
- GATP
- Baghera
- WGL
- From informal to formal proofs in Euclidean geometry
- scientific article; zbMATH DE number 6984221 (Why is no real title available?)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry
- EUCLID
- A vernacular for coherent logic
- Towards an intelligent and dynamic geometry book
This page was built for software: ArgoCLP
