Henri Lombardi (Mots Clefs : Algèbre constructive. Algebre constructive. Constructive Algebra. Constructive Mathematics.)

En retraite depuis Septembre 2011,
mais toujours présent pour les belles mathématiques

Maître de Conférences, HDR
hébergé au Département de Mathématiques,
Université de Franche-Comté
25030 Besançon Cedex


Si vous voulez me voir en train de réfléchir, my poster
(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)

Publications

... et divers liens (and some links).

Documents.   

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.