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