[retour]
Transparents. Slides.
Henri LOMBARDI
-
An elementary recursive bound for effective
Positivstellensatz and Hilbert 17th problem.
(slides)
version for printing. (pdf)
H. Lombardi
Colloquium. Darmstadt. 25/01/2017
-
Erret Bishop. Foundations of Constructive Analysis. Une révolution mathématique en 1967.
(slides)
version économique pour imprimer. (pdf)
La video
H. Lombardi
Séminaire d'histoire des mathématiques de l'IHP. 16 Janvier 2015. Les constructivismes mathématiques.
-
Le principe local-global en algèbre constructive
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Séminaire de Géométrie de Rennes. 14 Janvier 2015.
-
Cantor, Hilbert, Poincaré... Que sont les êtres mathématiques?
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Conférence à l'IREM de Brest. 18 décembre 2014.
-
Tutoriel en algèbre constructive.
Diapositives du premier exposé
le pdf pour imprimer:
c'est ici
Diapositives du deuxième exposé
le pdf pour imprimer:
c'est ici
JNCF 2014. 3-7 novembre.
-
General Methods in Constructive Algebra for deciphering noneffective proofs.
(slides)
to print.
(pdf)
H. Lombardi
Conference on Algebraic and explicit methods in Number Theory. Besançon,
23-27 sept. 2013
-
Structure of finitely generated abelian groups
(slides)
to print.
(pdf)
Constructive aspects of Krull dimension
(slides)
to print.
(pdf)
H. Lombardi. Three lectures on Constructive Algebra
Constructive Mathematics: Foundations and Practice.
University of Nis, Faculty of Mechanical Engineering, Serbia. June 24-28, 2013
-
Dynamical Method in Constructive Algebra.
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Murcia, 7 juin 2013, colloque: Recent Trends in Rings and Algebras
-
Programa de Poincaré, programa de Hilbert, y matemáticas à la Bishop
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Murcia, 5 juin 2013, séminaire de Mathématiques Appliquées.
-
A constructive approach to schemes and coherent sheaves
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Madrid, 30 mai 2013, séminaire d'algèbre et géométrie
-
A constructive approach to schemes and coherent sheaves
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Oberwolfach, 13 mai 2013, Constructive Homological Algebra and so on
-
Réflexions à la lecture de Poincaré. Qu'est-ce qu'un être mathématique? et la vérité en mathématiques?
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Journées: Démonstration-Logique-Enseignement.
Besançon, 4 et 5 avril 2013
-
Le programme de Hilbert en algèbre commutative
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Conférence en l'honneur de Jean-Luc Chabert.
Amiens 13 décembre 2012
-
Constructive semantics for classical formal proofs
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Logic Colloquium. Barcelona. July 2011
-
Le mystère de la structure du continu
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Des nombres et des mondes. La Rochelle. Juin 2011
-
Effective Positivstellensaz.
(slides)
economic version to print.
(pdf)
D. Perrucci, H. Lombardi, M-F Roy.
Real Algebraic Geometry meeting in Rennes, june 2011
-
A constructive approach to Zariski Main Theorem.
(slides)
T. Coquand, H. Lombardi, M-E Alonso.
Mathematics Algorithms and Proofs 2010.
MAP meeting, Logroño, november 2010
-
Constructive semantics for classical theories.
Example of Galois theory of a separable polynomial.
Constructive Mathematics: Proofs and Computation.
Chiemsee, 7-11 June 2010
-
Constructive semantics for nonconstructive principles.
Oberseminar Mathematische Logik. Munich. 16th June 2010
-
Curves and coherent Prüfer rings, a simple computation.
T. Coquand, H. Lombardi, C. Quitté
Mega 09.
Barcelona, June 15-19 2009
-
Les ''vrais'' nombres réels en Calcul Formel?
Version imprimable
Premier Colloque Franco-Maghrebin de Calcul Formel.
Kerkennah. 24 mai 2008
-
Concrete proofs with abstract objects
in modern algebra.
Oberwolfach, Mathematical Logic: Proof Theory,
Constructive mathematics, april 2008
-
Constructive real algebra.
Leiden, MAP meeting, jan 2007
-
Elimination of primes.
Bonn, DMV meeting, 2006
-
Elimination of minimal primes.
Seminormal rings.
München 2006
-
Structure of finitely generated
abelian groups
MAP summer school 2006
-
Constructive aspects
of Krull dimension
MAP summer school 2006
-
Real closed fields.
Elimination of prime cones.
MAP summer school 2006
-
Aspects constructifs
de la dimension de Krull
T. Coquand, H. Lombardi, C. Quitté
PACOM 2004 - Tunis
-
Dimensión de Krull explícita
Applicación a los teoremas de
Kronecker, Bass, Serre y Forster
T. Coquand, H. Lombardi, C. Quitté
EACA 2004 - Santander
-
titre du slide
(slides)
version économique pour imprimer.
(pdf)
H. Lombardi
Lieu et date