3 search results for "tag:"keyword: plane geometry""

Showing 1 - 3
  1. coq-angles

    No documentation

    Formalization of the oriented angles theory
    keyword: Pcoq keyword: geometry keyword: plane geometry keyword: oriented angles category: Mathematics/Geometry/General date: 2002-01-15
    Frédérique Guilhot <Frederique.Guilhot@sophia.inria.fr>
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  2. coq-euclidean-geometry

    No documentation

    Basis of the Euclid's plane geometry
    keyword: plane geometry keyword: Euclid keyword: ruler and compass category: Mathematics/Geometry/General
    Jean Duprat <Jean.Duprat@ens-lyon.fr>
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  3. coq-ruler-compass-geometry

    No documentation

    Ruler and compass geometry axiomatization
    keyword: geometry keyword: plane geometry keyword: ruler and compass geometry keyword: Euclidian geometry keyword: Hilbert's axioms category: Mathematics/Geometry/General date: 2007-11
    Jean Duprat <Jean.Duprat@ens-lyon.fr>
    8.10.0
    GNU Lesser Public License
    Used by 0 other packages
    07 Dec 2019