Category: Geometry

General

• Angles: Formalization of the oriented angles theory
  Frédérique Guilhot
• ConstructiveGeometry: Elements of Constructive Geometry
  Gilles Kahn
• EuclideanGeometry: Basis of the Euclid's plane geometry
  Jean Duprat
• HighSchoolGeometry: Geometry for French high-school
  Frédérique Guilhot
• JordanCurveTheorem: Hypermaps, planarity and discrete Jordan curve theorem
  Jean-François Dufourd
• ProjectiveGeometry: Projective Geometry
  Julien Narboux , Nicolas Magaud, Pascal Schreck
• RulerCompassGeometry: Ruler and compass geometry axiomatization
  Jean Duprat
• TarskiGeometry: Tarski's geometry
  Julien Narboux

See also

• EulerFormula: Hypermaps, Genus Theorem and Euler Formula
  Jean-François Dufourd
• ThreeGap: A Proof of the Three Gap Theorem (Steinhaus Conjecture)
  Micaela Mayero