8 search results for "author:"Julien Narboux""

Showing 1 - 8
  1. coq-area-method

    No documentation

    The Chou, Gao and Zhang area method
    keyword: geometry keyword: Chou Gao Zhang area method keyword: decision procedure keyword: automatic theorem proving date: 2004-2010
    Julien Narboux
    8.10.0
    Unknown
    Used by 0 other packages
    19 Oct 2020
  2. coq-geocoq

    No documentation

    A formalization of foundations of geometry in Coq
    category:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:hyperbolic geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Euclid keyword:Elements keyword:Pappus keyword:Desargues keyword:arithmetization keyword:Pythagoras keyword:Thales' intercept theorem keyword:continuity keyword:ruler and compass keyword:parallel postulates keyword:model keyword:counter-model keyword:Cartesian space keyword:automation date:2024-03-24
    Michael Beeson <profbeeson@gmail.com> Gabriel Braun <gabriel.braun@unistra.fr> Pierre Boutry <contact@pierre.boutry.fr> Cyril Cohen <cyril.cohen@inria.fr> Charly Gries <charly.gries@etu.unistra.fr> et al.
    2.5.0
    LGPL-3.0-only
    Used by 0 other packages
    25 Mar 2024
  3. coq-geocoq-axioms

    No documentation

    A formalization of foundations of geometry in Coq
    category:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Euclid keyword:Elements keyword:parallel postulates date:2024-03-24
    Michael Beeson <profbeeson@gmail.com> Gabriel Braun <gabriel.braun@unistra.fr> Pierre Boutry <contact@pierre.boutry.fr> Charly Gries <charly.gries@etu.unistra.fr> Julien Narboux <narboux@unistra.fr> et al.
    2.5.0
    LGPL-3.0-only
    Used by 2 other packages
    25 Mar 2024
  4. coq-geocoq-coinc

    No documentation

    A formalization of foundations of geometry in Coq
    category:Mathematics/Geometry/General keyword:geometry keyword:automation date:2024-03-24
    Pierre Boutry <contact@pierre.boutry.fr> Julien Narboux <narboux@unistra.fr> Pascal Schreck <schreck@unistra.fr>
    2.5.0
    LGPL-3.0-only
    Used by 1 other packages
    25 Mar 2024
  5. coq-geocoq-elements

    No documentation

    A formalization of foundations of geometry in Coq
    category:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:foundations keyword:Euclid keyword:Elements date:2024-03-24
    Michael Beeson <profbeeson@gmail.com> Julien Narboux <narboux@unistra.fr> Freek Wiedijk <freek@cs.ru.nl>
    2.5.0
    LGPL-3.0-only
    Used by 1 other packages
    25 Mar 2024
  6. coq-geocoq-main

    No documentation

    A formalization of foundations of geometry in Coq
    category:Mathematics/Geometry/General keyword:geometry keyword:neutral geometry keyword:Euclidean geometry keyword:foundations keyword:Tarski keyword:Hilbert keyword:Euclid keyword:Pappus keyword:Desargues keyword:arithmetization keyword:Pythagoras keyword:Thales' intercept theorem keyword:continuity keyword:ruler and compass keyword:parallel postulates date:2024-03-24
    Gabriel Braun <gabriel.braun@unistra.fr> Pierre Boutry <contact@pierre.boutry.fr> Charly Gries <charly.gries@etu.unistra.fr> Julien Narboux <narboux@unistra.fr> Pascal Schreck <schreck@unistra.fr>
    2.5.0
    LGPL-3.0-only
    Used by 1 other packages
    25 Mar 2024
  7. 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
  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