The following pages link to (Q4709437):
Displaying 9 items.
- A constructive real projective plane (Q265603) (← links)
- The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles'' hold in weak geometries (Q286680) (← links)
- The Thomsen-Bachmann correspondence in metric geometry. II (Q669614) (← links)
- Groups and plane geometry (Q817696) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- Two statements characterizing the Euclidean metric of a metric plane (Q2106407) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- On a splitting of the parallel postulate (Q2668175) (← links)
- Metric Geometries in an Axiomatic Perspective (Q4607237) (← links)
