Pages that link to "Item:Q490871"
From MaRDI portal
The following pages link to A constructive version of Tarski's geometry (Q490871):
Displaying 15 items.
- Tarski geometry axioms (Q502700) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Quantifier-free axioms for constructive affine plane geometry (Q1840989) (← links)
- The axioms of constructive geometry (Q1902978) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- A synthetic proof of Pappus' theorem in Tarski's geometry (Q2362204) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Proof-checking Euclid (Q2631965) (← links)
- Ternary Operations as Primitive Notions for Constructive Plane Geometry V (Q4315322) (← links)
- CONSTRUCTIVE GEOMETRY AND THE PARALLEL POSTULATE (Q5346689) (← links)
- Full Development of Tarski's Geometry of Solids (Q5504173) (← links)
- Axiomatizing origami planes (Q6612818) (← links)