Si vous voulez me voir en train de réfléchir, my poster
(2015 fichier jpg),
(2012-fichier jpg),
(2004-fichier jpg),
(2000-fichier jpg).
Mon adresse électronique : henri.lombardi@univ-fcomte.fr
Le point de vue constructif en mathématiques :
mes états d'âme.
en fichier pdf
En pdf : Plaidoyer
pour l'algèbre constructive (avec Thierry Coquand),
Vous trouverez ci-après mes publications ...
(hereafter my publications, in french or in english)
... et divers liens (and some links).
Maths constructives. (Constructive Mathematics)
Formalisation des mathématiques. (Formalization of mathematics)
Calcul formel. (Computer Algebra)
Géométrie algébrique réelle. (Real algebraic geometry)
Informatique théorique. (Theoretical Computer Science)
Logique. (Logic)
Thèses (PhDs)
Repères IREM : La revue Repères IREM
Les IREM : Instituts de Recherche sur l'Enseignement des Mathématiques.
Épiphymaths Séminaire à Besançon.