Fondements de géométrie euclidienne

Pré-Publication, Document De Travail Année : 2010

(1)

Jean Duprat

Laboratoire de l'Informatique du Parallélisme

Où l'on découvrira toute la modernité d'Euclide en installant la géométrie plane sur un ordinateur...

geometrie formalisation Coq règle et compas

Logique en informatique [cs.LO]

Fichier principal

ManuelDuprat.pdf (1.49 Mo)

Origine : Fichiers produits par l'(les) auteur(s)

https://inria.hal.science/hal-00661537

Soumis le : jeudi 19 janvier 2012-18:31:26

Dernière modification le : jeudi 11 mai 2023-11:56:10

Archivage à long terme le : vendredi 20 avril 2012-02:32:03

hal-00661537 , version 1 (19-01-2012)

Jean Duprat. Fondements de géométrie euclidienne. 2010. ⟨hal-00661537⟩

ENS-LYON CNRS INRIA UNIV-LYON1 UDL

158 Consultations

7757 Téléchargements