Pages that link to "Item:Q2381801"
From MaRDI portal
The following pages link to Orthogonality as single primitive notion for metric planes (Q2381801):
Displaying 17 items.
- The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles'' hold in weak geometries (Q286680) (← links)
- The principle of duality in Euclidean and in absolute geometry (Q523404) (← links)
- The Thomsen-Bachmann correspondence in metric geometry. II (Q669614) (← links)
- Hjelmslevgruppen mit Nachbar-Homomorphismus. (Hjelmslev groups with neighbour-homomorphism) (Q920393) (← links)
- Point-hyperplane axioms for orthogonal geometries (Q1056907) (← links)
- Algebraische Kennzeichnung angeordneter Bachmann-Räume (Q1059277) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- An axiom system for Lingenberg's metric-Euclidean planes (Q1775245) (← links)
- Two statements characterizing the Euclidean metric of a metric plane (Q2106407) (← links)
- On the equivalence of Lagrange's axiom to the Lotschnittaxiom (Q2380488) (← links)
- Can one design a geometry engine? Can one design a geometry engine? On the (un)decidability of certain affine Euclidean geometries (Q2631966) (← links)
- On a splitting of the parallel postulate (Q2668175) (← links)
- The concept of orthogonality in Cartan's geometry based on the concept of area (Q2937570) (← links)
- Metric Geometries in an Axiomatic Perspective (Q4607237) (← links)
- An Axiomatics for Hyperbolic Projective-Metric Planes in Terms of Lines and Orthogonality (Q4829570) (← links)
- The Axiomatic Destiny of the Theorems of Pappus and Desargues (Q5129772) (← links)
- Prolegomena to any theory of proof simplicity (Q5204801) (← links)