Si vous voulez me voir en train de réfléchir (2004-fichier jpg), my poster (2000-fichier jpg)
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)
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)
Les IREM : Instituts de Recherche sur l'Enseignement des Mathématiques.
ÉPIPHYMATHS Séminaire à Besançon.
