The following pages link to (Q2731727):
Displaying 12 items.
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- The simplest axiom system for plane hyperbolic geometry revisited (Q539156) (← links)
- The Thomsen-Bachmann correspondence in metric geometry. II (Q669614) (← links)
- Groups and plane geometry (Q817696) (← links)
- Quantifier-free axioms for constructive affine plane geometry (Q1840989) (← links)
- Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. (Q1890449) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- Metric Geometries in an Axiomatic Perspective (Q4607237) (← links)
- Ternary Operations as Primitive Notions for Constructive Plane Geometry VI (Q4844513) (← links)
- The Axiomatic Destiny of the Theorems of Pappus and Desargues (Q5129772) (← links)
- Prolegomena to any theory of proof simplicity (Q5204801) (← links)
- (Q5412555) (← links)
