6 search results for "author:"Pierre Boutry <contact@pierre.boutry.fr>""

Showing 1 - 6

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
coq-geocoq-algebraic

No documentation

A formalization of foundations of geometry in Coq

category:Mathematics/Geometry/General keyword:geometry keyword:Euclidean geometry keyword:hyperbolic geometry keyword:foundations keyword:Tarski keyword:parallel postulates keyword:model keyword:counter-model keyword:Cartesian space date:2024-03-24

Pierre Boutry <contact@pierre.boutry.fr> Cyril Cohen <cyril.cohen@inria.fr> Stéphane Kastenbaum <stephane.kastenbaum@gmail.com>

2.5.0

LGPL-3.0-only

Used by 2 other packages

25 Mar 2024
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
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
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
coq-geocoq-pof

No documentation

A formalization of foundations of geometry in Coq

category:Mathematics/Geometry/General keyword:geometry keyword:Euclidean geometry keyword:hyperbolic geometry keyword:foundations keyword:Tarski keyword:parallel postulates keyword:model keyword:counter-model keyword:Cartesian space date:2024-03-24

Pierre Boutry <contact@pierre.boutry.fr> Cyril Cohen <cyril.cohen@inria.fr> Stéphane Kastenbaum <stephane.kastenbaum@gmail.com>

2.5.0

LGPL-3.0-only

Used by 0 other packages

25 Mar 2024