Pages that link to "Item:Q5418677"
From MaRDI portal
The following pages link to A further simplification of Tarski's axioms of geometry (Q5418677):
Displayed 5 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)