Pages that link to "Item:Q1825046"
From MaRDI portal
The following pages link to Automated development of Tarski's geometry (Q1825046):
Displayed 10 items.
- The problem of choosing the type of subsumption to use (Q809628) (← links)
- A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
- Automated deduction and knowledge management in geometry (Q1995808) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- A review and prospect of readable machine proofs for geometry theorems (Q2439882) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Constructivity in Geometry (Q2757990) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Constructibility and Geometry (Q5213630) (← links)
- Mechanical Theorem Proving in Tarski’s Geometry (Q5453489) (← links)