Pages that link to "Item:Q5418677"
From MaRDI portal
The following pages link to A further simplification of Tarski's axioms of geometry (Q5418677):
Displaying 7 items.
- A constructive version of Tarski's geometry (Q490871) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- Tarski geometry axioms. III (Q1795563) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- Tarski geometry axioms. V: Half-planes and planes (Q6557128) (← links)
- The parallel postulate (Q6657509) (← links)
