[retour]

• Résolutions libres finies, Méthodes constructives. 2024
  Thierry Coquand et Henri Lombardi
  chez Calvage et Mounet. Paris, 2024.
  Une présentation du livre: la préface, l'avant-propos, la table des matières, les références.
  
  
• Algèbre Commutative, Méthodes constructives (Modules projectifs de type fini). 2021
  chez Calvage et Mounet. Juin 2021. Seconde édition, revue et augmentée.
  Henri Lombardi et Claude Quitté
  Une présentation du livre, avec l'avant-propos, la table des matières, le chapitre II, la table des théorèmes, la bibliographie, les index.
  Des errata et des compléments au format A4. , au format booklet.
  Un rapport sur le livre paru dans Zentralblatt.
  
  
• An elementary recursive bound for effective Positivstellensatz and Hilbert 17-th problem arXiv 1404.2338
  Henri Lombardi, Daniel Perrucci and Marie-Françoise Roy.
  Memoirs of the AMS. Vol. 1277 (2020). AMS Bookstore
  Abstract
  
  
• Un cours d'algèbre constructive. le lien
  Traduction du livre A course in constructive algebra de Ray Mines, Fred Richman et Wim Ruitenburg (1988), révisée par Stefan Neuwirth.
  Presses Universitaires de Franche-Comté, Besançon, juin 2020.
  
  
• Commutative Algebra, Constructive Methods (Finitely generated projective modules).
  Springer. July 2015.
  with Claude Quitté
  English translation, with additions and corrections, of the french book (Calvage et Mounet, 2011)
  Errata Here.
  Revised version on arXiv 1605.04832 Here.
  The review of the french book in Zentralblatt.
  The review of the english book in Zentralblatt.
  The review of the english book in Mathscinet.
  The review of the english book in Computing Reviews.
  
  
• Modules sur les anneaux commutatifs. (M1. Cours et Exercices).
  Paru chez Calvage et Mounet (septembre 2014)
  avec Claude Quitté et Gema Díaz-Toca
  Une présentation du livre, avec la table des matières, et le chapitre II.
  Errata C'est ici.
  La couverture.
  
  
• Algèbre Commutative, Méthodes constructives (Modules projectifs de type fini). 2011
  chez Calvage et Mounet. Décembre 2011.
  avec Claude Quitté
  Une présentation du livre, avec la table des matières, et le chapitre II.
  Errata et compléments C'est ici.
  Errata et compléments format brochure (booklet) C'est ici.
  Errata seuls au format A4 C'est ici.
  Errata seuls au format brochure (booklet) C'est ici.
  La couverture
  Un rapport sur le livre paru dans Zentralblatt.
  Seconde édition, revue et augmentée, 2021, voir plus haut.
  
  
• Dans la suite de l'ouvrage précédent.
  En préparation:
  Résolutions libres finies, une esquisse bien avancée: Résolutions libres finies.
  
  
• Épistémologie mathématique.
  chez Ellipses . Novembre 2011.
  diffusé chez Decitre .
  Table des matières et chapitre 1.
  Couverture.
  Le rapport paru dans le bulletin vert de l'APMEP.
  Le rapport paru dans MathSciNet. fichier pdf
  
  
• Méthodes Matricielles. Introduction à la Complexité Algébrique.
  écrit en collaboration avec Jounaidi ABDELJAOUED (Maître de Conférence à l'Université de Tunis II).
  Paru fin 2003 chez Springer dans la collection ``Mathématiques et Applications" de la SMAI.
  chez Springer
  La table des matières
  Avant Propos, Table des Matières, Chapitre 1, fichier pdf,
  Errata de la version originale
  Le rapport paru dans MathSciNet. fichier pdf
  Version pdf mise à jour en avril 2012. arXiv:1604.00795 C'est ici
  
  
• Géométries élémentaires. Tome I
  Presses Universitaires de Franche-Comté. (1999)
  Présentation, la présentation en fichier poscript
  Errata
  Les pdf des chapitres du livre. Dossier compressé
  Presses Universitaires de Franche-Comté. Chercher dans "Collections et Revues" la collection "Didactiques"
  Les tomes II et III sont improbables, mais sait-on jamais?
  
  
• Mathématiques Constructives
  Présentation et Table des matières. fichier pdf
  Brochure de l'IREM de Besançon. 100 pages. (1994)
  Irem de Franche-Comté. Chercher dans Publications.