The following pages link to (Q3678266):
Displaying 50 items.
- The Steiner-Lehmus theorem and ``triangles with congruent medians are isosceles'' hold in weak geometries (Q286680) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- A constructive version of Tarski's geometry (Q490871) (← links)
- Another equivalent of the Lotschnittaxiom (Q515727) (← links)
- The principle of duality in Euclidean and in absolute geometry (Q523404) (← links)
- The axiomatics of ordered geometry: I. Ordered incidence spaces (Q533109) (← links)
- Another splitting of the Pasch axiom (Q545487) (← links)
- Weakly ordered plane geometry (Q627004) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Positive existential definability of parallelism in terms of betweenness in Archimedean ordered affine geometry (Q640271) (← links)
- Mappings preserving the area equality of hyperbolic triangles are motions (Q707537) (← links)
- A system of axioms for Minkowski spacetime (Q830382) (← links)
- Lambert or Saccheri quadrilaterals as single primitive notions for plane hyperbolic geometry (Q936611) (← links)
- Trajectory databases: data models, uncertainty and complete query languages (Q988570) (← links)
- On the existence of a equilateral triangle in \(H\)-planes (Q1281742) (← links)
- A common axiom set for classical and intuitionistic plane geometry (Q1295418) (← links)
- Complete geometric query languages (Q1307692) (← links)
- On the stepwise construction of the parallel postulate (Q1339785) (← links)
- Brouwer and Euclid (Q1688971) (← links)
- Negation-free and contradiction-free proof of the Steiner-Lehmus theorem (Q1704083) (← links)
- From geometry to conceptual relativity (Q1707209) (← links)
- Parallel postulates and continuity axioms: a mechanized study in intuitionistic logic using Coq (Q1725841) (← links)
- Euler's inequality in absolute geometry (Q1754390) (← links)
- Axiomatizations of Euclidean geometry in terms of points, equilateral triangles or squares, and incidence. (Q1890449) (← links)
- On the constructive geometry of Euclidean planes (Q1969624) (← links)
- Formalization of the Poincaré disc model of hyperbolic geometry (Q2031408) (← links)
- The ubiquitous axiom (Q2038868) (← links)
- Hyperbolic geometry for non-differential topologists (Q2076556) (← links)
- Two statements characterizing the Euclidean metric of a metric plane (Q2106407) (← links)
- Ordered groups and ordered geometries (Q2255388) (← links)
- The elementary Archimedean axiom in absolute geometry (Q2278151) (← links)
- Existence of special rainbow triangles in weak geometries (Q2288401) (← links)
- Formalizing complex plane geometry (Q2354913) (← links)
- Automated generation of machine verifiable and readable proofs: a case study of Tarski's geometry (Q2354917) (← links)
- A synthetic proof of Pappus' theorem in Tarski's geometry (Q2362204) (← links)
- Finding proofs in Tarskian geometry (Q2362499) (← links)
- On the equivalence of Lagrange's axiom to the Lotschnittaxiom (Q2380488) (← links)
- Absolute geometry proofs of two geometric inequalities of Chisini (Q2397254) (← links)
- Axiomatizing geometric constructions (Q2480964) (← links)
- From informal to formal proofs in Euclidean geometry (Q2631958) (← links)
- Implementing Euclid's straightedge and compass constructions in type theory (Q2631963) (← links)
- Proof-checking Euclid (Q2631965) (← 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)
- Constructivity in Geometry (Q2757990) (← links)
- HERBRAND’S THEOREM AND NON-EUCLIDEAN GEOMETRY (Q2795294) (← links)
- A Coherent Logic Based Geometry Theorem Prover Capable of Producing Formal and Readable Proofs (Q3102745) (← links)
- Forms of the Pasch axiom in ordered geometry (Q3406446) (← links)
- Tarski's System of Geometry (Q4262603) (← links)
- Sphere tangency as single primitive notion for hyperbolic and Euclidean geometry (Q4435244) (← links)
