Dimension de Heitmann des treillis ditributifs et des anneaux commutatifs

Thierry Coquand; Henri Lombardi; Claude Quitté

Publications mathématiques de Besançon. Algèbre et théorie des nombres, (2006) p. 57-100

:

Décryptage constructif des preuves classiques, un cas d’école  : le théorème d’Artin en théorie de Galois

Henri Lombardi; Claude Quitté

Publications mathématiques de Besançon. Algèbre et théorie des nombres, (2006) p. 43-54

:

Platitude, localisation et anneaux de Prüfer : une approche constructive

Henri Lombardi

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 2 (2001) p. 1-65

:

Constructions cachées en algèbre abstraite (4). La solution du 17e problème de Hilbert par la théorie d’Artin-Schreier

Henri Lombardi

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 3 (2001) p. 1-11

:

Le contenu constructif d’un principe local-global avec une application à la structure d’un module projectif de type fini

Henri Lombardi

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 6 (1996) p. 1-33

:

Théorie constructive élémentaire des corps ordonnés

Henri Lombardi; Marie-France Roy

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 3 (1991) p. 1-23

:

Théorème des zéros réel effectif et variantes

Henri Lombardi

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 5 (1989) no. 1 p. 1-29

:

Algèbre élémentaire en temps polynomial

Henri Lombardi

Publications mathématiques de Besançon. Algèbre et théorie des nombres, no. 1 (1989) no. 2 p. 1-175

: