The following pages link to Tarski geometry axioms (Q502700):
Displaying 9 items.
- A constructive version of Tarski's geometry (Q490871) (← links)
- Tarski geometry axioms. II (Q502683) (← links)
- Formalization of the arithmetization of Euclidean plane geometry and applications (Q1640646) (← links)
- Tarski geometry axioms. III (Q1795563) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- Tarski geometry axioms. IV: Right angle (Q2416858) (← links)
- Klein-Beltrami model. IV (Q2658807) (← links)
- Full Development of Tarski's Geometry of Solids (Q5504173) (← links)
- Tarski geometry axioms. V: Half-planes and planes (Q6557128) (← links)