Pages that link to "Item:Q3102745"
From MaRDI portal
The following pages link to A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745):
Displaying 14 items.
- ArgoCLP (Q19245) (← links)
- 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)
- Towards Understanding Triangle Construction Problems (Q2907319) (← links)
- Computer Theorem Proving for Verifiable Solving of Geometric Construction Problems (Q3452277) (← links)
- Invited Talk: Coherentisation of First-Order Logic (Q3455757) (← links)
- A Vernacular for Coherent Logic (Q5495937) (← links)
- Measuring the readability of geometric proofs: the area method case (Q6156633) (← links)
