9 search results for "tag:"category: Mathematics/Geometry""

Showing 1 - 9
  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-constructive-geometry

    No documentation

    Elements of Constructive Geometry
    keyword: constructive mathematics keyword: geometry category: Mathematics/Geometry/General
    Gilles Kahn
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  3. 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
  4. coq-euler-formula

    No documentation

    Hypermaps, Genus Theorem and Euler Formula
    keyword: polyhedron keyword: hypermap keyword: genus keyword: Euler formula keyword: assisted proofs category: Mathematics/Geometry date: 2006-09
    Jean-François Dufourd <dufourd@dpt-info.u-strasbg.fr> [http://dpt-info.u-strasbg.fr/~jfd/]
    8.10.0
    LGPL
    Used by 0 other packages
    07 Dec 2019
  5. coq-jordan-curve-theorem

    No documentation

    Hypermaps, planarity and discrete Jordan curve theorem
    keyword: combinatorial hypermaps keyword: genus keyword: planarity keyword: Euler formula keyword: Discrete Jordan Curve Theorem category: Mathematics/Geometry/General date: 2008
    Jean-François Dufourd <dufourd@lsiit.u-strasbg.fr> [http://dpt-info.u-strasbg.fr/~jfd/]
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019
  6. coq-projective-geometry

    No documentation

    Projective Geometry
    keyword: geometry keyword: projective keyword: Fano keyword: homogeneous coordinates model keyword: flat keyword: rank keyword: Desargues keyword: Moulton category: Mathematics/Geometry/General date: 2009-10
    Nicolas Magaud <Nicolas.Magaud@lsiit-cnrs.unistra.fr> Julien Narboux <Julien.Narboux@lsiit-cnrs.unistra.fr> Pascal Schreck <Pascal.Schreck@lsiit-cnrs.unistra.fr>
    8.10.0
    GPL
    Used by 0 other packages
    07 Dec 2019
  7. 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
  8. coq-tarski-geometry

    No documentation

    Tarski's geometry
    keyword: geometry keyword: Tarski's geometry keyword: congruence keyword: between property keyword: orthogonality category: Mathematics/Geometry/General date: 2006-03
    Julien Narboux <Julien.Narboux@dpt-info.u-strasbg.fr> [http://dpt-info.u-strasbg.fr/~narboux/]
    8.10.0
    GPL
    Used by 0 other packages
    07 Dec 2019
  9. coq-three-gap

    No documentation

    A Proof of the Three Gap Theorem (Steinhaus Conjecture)
    keyword: real numbers keyword: Steinhaus keyword: Three Gap Theorem category: Mathematics/Geometry category: Mathematics/Arithmetic and Number Theory/Miscellaneous
    Micaela Mayero
    8.10.0
    LGPL 2.1
    Used by 0 other packages
    07 Dec 2019