The following pages link to ArgoCLP (Q19245):
Displayed 12 items.
- Towards an intelligent and dynamic geometry book (Q1701659) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Theorem proving as constraint solving with coherent logic (Q2102932) (← links)
- Taxonomies of geometric problems (Q2334578) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Portfolio theorem proving and prover runtime prediction for geometry (Q2631959) (← links)
- GEOMETRISATION OF FIRST-ORDER LOGIC (Q2795295) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
- (Q4556039) (← links)
- A Vernacular for Coherent Logic (Q5495937) (← links)