[irem] [retour] [Calcul formel]

Gens

• Peter Aczel
  
  
• Douglas Bridges
  
  
• Thierry Coquand
  
  
• Dirk van Dalen
  
  
• Hajime Ishihara
  
  
• Eric Palmgren
  
  
• Hervé Perdry
  
  
• Fred Richman Le pape de l'algèbre constructive : « L'algèbre, c'est les mathématiques des mathématiques. »
  
  
• Peter Schuster
  
  
• Helmut Schwichtenberg
  
  
• Francis Sergeraert
  
  
• Bas Spitters
  
  
• A.S. Troelstra
  
  
• Ihsen Yengui
  
  

Pages thématiques

• extrait de Stanford Encyclopedia of Philosophy
  
  
• M.A.P.   Mathematics, Algorithms, Proofs
  
  • International Spring School on Formalization of Mathematics.
    March, 12-16, 2012 Sophia Antipolis
  
  
  • Le meeting MAP 2011 au Lorentz Center.
    28th nov- 2nd dec 2011, Leiden
  
  
  • MAP Meeting 2010 at Logroño (Spain)
    Logroño, 8-12th November. 2010
    
  
  
  • MAP Meeting at Monastir 2009
    Important topic: formalization of Mathematics, tutorials by G. Gonthier (finite groups) and J. Rubio (algebraic topology) December 2009.
    
  
  
  • 2008. Summer School and Conference Mathematics, Algorithms and Proofs, 2008
    11 August - 29 August 2008. ICTP. Trieste
    
  
  
  • Meeting 2007 in Leiden (The Netherlands)
    Meeting held at the Lorentz Center, 8-12th January, 2007.
    
  
  
  • Meeting 2006 held in the International Center of Mathematics at Castro Urdiales. Spain
    Castro Urdiales, MAP 09.01.-13.01 2006
    
  
  
  • Meeting 2005. Dagstuhl Seminar 05021
    MAP 09.01.-14.01.05
    
  
  
  • Luminy - 2004
    Calcul formel, algorithmes certifiés, preuves constructives
    Meeting held in the Centre International de Rencontre Mathématiques de Luminy, 12.01.-15.01.2004.
    
  
  
  • Dagstuhl Seminar 03021
    Verification and Constructive Algebra 05.01.-10.01.2003
    
  
  
  
• Formal Topology
  
  
  • On nLab
    
    
  • Third Workshop on Formal Topolgy 2007
    
    
  • Advances in Constructive Topology and Logical Foundations 2008
    
    
  • On the web page of Thierry Coquand
    
    
  • On the web page of Giovani Sambin
    
    
• Reuniting the Antipodes II Constructive and Nonstandard Views of the Continuum - Minisymposion - Pisa, Italy, Domus Galileana, Wednesday 12th June 2002
  
  
• a bibliography of constructive analysis
  
  

Difficile à trouver

• La thèse de Maimouna SALOU: Théorie algorithmique des anneaux arithmétiques, de Prüfer et de Dedekind , en fichier pdf.
  
  

Plaidoyer pour l'algèbre constructive

• Au format pdf.
  
  

Mes publications

Livres, notes de cours.

• Algèbre Commutative, Méthodes constructives (Modules projectifs de type fini).
  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.
  Quelques compléments
  Un avant goût ?
  
  
• Le point de vue constructif, une introduction. (fichier pdf)
  Notes de cours. 2005.
  
  
• Dimension de Krull explicite. Application aux théorèmes de Kronecker, Bass, Serre et Forster. (fichier pdf) fichier dvi.
  Notes de cours. Mars 2005. Table des matières
  
  
• Dimensión de Krull explícita. Aplicación a los teoremas de Kronecker, Bass, Serre y Forster. (pdf), (dvi).
  Notas de curso. Enero 2005.
  
  
• Anneaux seminormaux. (fichier pdf).
  Notes de cours, (d'après Thierry Coquand), avec Claude Quitté (2006).
  
  

Articles

• Un anneau de Prüfer (lien vers le CIRM)
  Actes des rencontres du CIRM 2 (2010) No 2 Third International Meeting on Integer-Valued Polynomials.
  abstract
  
  
• The Gröbner Ring Conjecture in One Variable (pdf)
  with Peter Schuster and Ihsen Yengui.
  to appear in Math. Zeitschrift
  abstract
  
  
• A polynomial bound on the number of comaximal localizations needed in order to make free a projective module (pdf)
  with Gema Díaz-Toca.
  Linear Algebra and its Application 435, (2011), 354--360.
  abstract
  
  
• Un algorithme pour le calcul des syzygies sur V[X] dans le cas où V est un domaine de valuation (pdf)
  with Claude Quitté and Ihsen Yengui.
  preprint 2010
  abstract
  
  
• Local Bezout Theorem (pdf)
  with Mari-Emi Alonso.
  Journal of Symbolic Computation 45, (2010), 975-985.
  abstract
  
  
• Curves and coherent Prüfer rings (pdf)
  with Coquand T., Quitté C. Journal of Symbolic Computation 45 (2010), 1378-1390.
  abstract
  
  
• Dynamic Galois Theory (pdf)
  with Díaz-Toca G., Journal of Symbolic Computation 45 (2010), 1316-1329.
  abstract
  
  
• Spectral Schemes as Ringed Lattices (pdf)
  with Thierry Coquand and Peter Schuster.
  Annals of Mathematics and Artificial Intelligence. 56 (2009), 339-360.
  abstract
  
  
• Questions about algebraic properties of real numbers. (pdf),
  abstract
  
  
• Constructive Krull Dimension. I: Integral Extensions. (pdf),
  with Lionel Ducos, Thierry Coquand and Claude Quitté.
  Journal of Algebra and Its Applications. 8 (2009) 129-138.
  We give a constructive approach to the well known classical theorem saying that an integral extension doesn't change the Krull dimension.
  
  
• Projective modules over polynomial rings: a constructive approach (pdf),
  with Sami Barhoumi and Ihsen Yengui.
  Math. Nachrichten 282 (2009), 792-799.
  abstract
  
  
• An Algorithm for the Traverso-Swan theorem on seminormal rings. (pdf),
  with Sami Barhoumi.
  Journal of Algebra. 320 (2008), 1531-1542.
  abstract
  
  
• A dynamical comparison between the rings R⟨X⟩ and R(X). (pdf),
  with Afef Ellouz and Ihsen Yengui.
  Journal of Algebra. 320 (2008), 521-533.
  abstract
  
  
• Comparison of Picard groups in dimension 1. (pdf),
  Comparaison de groupes de Picard en dimension 1. Version française (pdf),
  with Claude Quitté.
  Math. Logic Quarterly 54, (2008), 255-260.
  Nous comparons deux groupes de Picard en dimension 1. Le résultat est obtenu de manière constructive et il généralise un résultat de Sands
  
  
• Seminormal rings (following Thierry Coquand). pdf, Version française.
  with Claude Quitté.
  Theoretical Computer Science 392, (2008), 113-127.
  abstract
  
  
• Elementary Constructive Theory of Henselian Local Rings (pdf)
  with Mari-Emi Alonso and Hervé Perdry.
  Math. Logic Quarterly 54, (2008), 253-271.
  abstract
  
  
• Hidden constructions in abstract algebra (6) The theorem of Maroscia, Brewer and Costa. (pdf)
  with Claude Quitté and Ihsen Yengui.
  J. Pure Appl. Algebra 212 (2008) 1575-1582.
  abstract
  
  
• A logical approach to abstract algebra. pdf,
  with Thierry Coquand. A survey.
  Math. Struct. in Comput. Science 16, (2006), 885-900.
  abstract
  
  
• Dimension de Heitmann des treillis distributifs et des anneaux commutatifs. fichier pdf
  with Thierry Coquand and Claude Quitté.
  Publications Mathématiques de Besançon. (2006)
  abstract
  
  
• L'algèbre de décomposition universelle. fichier pdf,
  avec Gema Díaz-Toca et Claude Quitté
  abstract
  Actes du colloque TC2006, Grenade (23-26 avril 2006) 169-184.
  Une version un peu plus longue
  
  
• Generating non noetherian modules constructively. fichier pdf,
  with Thierry Coquand and Claude Quitté
  Manuscripta mathematica 115, (2004), 513-520.
  abstract
  
  
• A nilregular element property. fichier pdf, fichier dvi,
  with Thierry Coquand and Peter Schuster
  Archiv der Mathematik. 85 (2005), 49-54.
  abstract
  
  
• The projective spectrum as a distributive lattice. pdf file,
  with Thierry Coquand and Peter Schuster
  Cahiers de Topologie et Géométrie différentielles catégoriques. 48, (2007), 220-228.
  abstract
  
  
• Modules projectifs de type fini, applications linéaires croisées et inverses généralisés. fichier pdf, fichier dvi.
  avec Gema Díaz-Toca, Laureano González-Vega et Claude Quitté
  abstract
  Journal of Algebra 303 2, (2005), 450-475.
  
  
• Décryptage constructif des preuves classiques, un cas d'école: le théorème d'Artin en théorie de Galois. fichier dvi.
  avec Claude Quitté
  Publications Mathématiques de Besançon. (2006)
  abstract
  
  
• An elementary characterization of Krull dimension. fichier pdf, fichier dvi.
  with Thierry Coquand and Marie-Françoise Roy
  From Sets and Types to Topology and Analysis. Towards Practicable Foundations for Constructive Mathematics. (L. Crosilla, P. Schuster, eds.). Oxford University Press, (2005) 239-244.
  abstract
  plus d'informations sur le livre
  
  
• A short proof for the Krull dimension of a polynomial ring. fichier pdf. fichier dvi.
  with Thierry Coquand.
  American Math. Monthly 112 no. 9 (2005), 826-829.
  We give an elementary characterization of Krull dimension of commutative rings and we deduce a short proof for the Krull dimension of a polynomial ring over a field.
  
  
• Structures algébriques dynamiques, espaces topologiques sans points et programme de Hilbert (pdf), fichier dvi.
  Annals of Pure and Applied Logic 137 (2006), 256-290.
  abstract
  
  
• Théorie algorithmique des anneaux arithmétiques, de Prüfer et de Dedekind, fichier pdf,
  avec Lionel Ducos, Claude Quitté et Maimouna Salou;
  Journal of Algebra 281, (2004), 604-650.
  abstract
  
  
• Le programme de Hilbert et les mathématiques constructives
  Article paru dans la revue Repères IREM. Janvier 2003. p. 85-104.
  
  
• Dynamic computations inside the algebraic closure of a valued field.
  with Kuhlmann F.-V., Perdry H. dans: Valuation Theory and its Applications. Vol 2. Eds. F.-V. Kuhlmann, S. Kuhlmann and M. Marshall. Fields Institute Comunications vol 33 (2003) 133-156
  abstract
  
  
• Hidden constructions in abstract algebra (1) Integral dependance relations
  Journal of Pure and Applied Algebra 167, (2002) 259-267.
  abstract
  
  
• Constructions cachées en algèbre abstraite (2) Le principe local global
  avec Quitté, C. in: Commutative ring theory and applications. Eds: Fontana M., Kabbaj S.-E., Wiegand S. Lecture notes in pure and applied mathematics vol 231. M. Dekker. (2002) 461-476.
  abstract
  
  
• Hidden constructions in abstract algebra (3) Krull dimension of distributive lattices and commutative rings fichier poscript fichier pdf, fichier dvi.
  with Coquand T. in: Commutative ring theory and applications. Eds: Fontana M., Kabbaj S.-E., Wiegand S. Lecture notes in pure and applied mathematics vol 231. M. Dekker. (2002) pp. 477-499.
  abstract
  
  
• Constructions cachées en algèbre abstraite (4) La solution du dix-septième problème de Hilbert par la théorie d'Artin-Schreier
  Publications Mathématiques de Besançon. Théorie des nombres. Années 1998-2001.
  
  
• Constructions cachées en algèbre abstraite (5) Principe local-global de Pfister et variantes. (pdf)
  International Journal of Commutative Rings. 2 (4), (2003), 157-176.
  abstract.
  
  
• Dimension de Krull, Nullstellensätze et évaluation dynamique. (fichier .pdf)
  Math. Zeitschrift, 242, (2002), 23-46.
  abstract
  
  
• Platitude, localisation et anneaux de Prüfer, une approche constructive. fichier pdf
  Publications Mathématiques de Besançon. Théorie des nombres. Années 1998-2001.
  abstract
  
  
• Une généralisation du Positivstellensatz pour les corps valués algébriquement clos
  C.R.A.S. 330, Série I, (2000), 641-646.
  
  
• Dynamical method in algebra: Effective Nullstellensätze. fichier .pdf
  with Coste M. and Roy M.-F. Annals of Pure and Applied Logic 111, (2001) 203-256.
  abstract
  
  
• Construction du hensélisé d'un corps valué.
  avec Kuhlmann F.-V. Journal of Algebra 228, (2000), 624-632.
  abstract
  
  
• Etude constructive de problèmes de topologie pour les réels irrationnels
  avec Khalouani M., Labhalla S.
  Math. Logic Quarterly 45 2, (1999), 257-288.
  
  
• Relecture constructive de la théorie d'Artin-Schreier.
  Annals of Pure and Applied Logic 91, (1998), 59-92.
  
  
• Le contenu constructif d'un principe local-global avec une application à la structure d'un module projectif de type fini. (fichier pdf)
  Publications Mathématiques de Besançon. Théorie des nombres. Fascicule 94--95 & 95--96, (1997).
  
  
• A Real Nullstellensatz and Positivstellensatz for the Semipolynomials over an Ordered Field.
  with González-Vega L.
  Journal of Pure and Applied Algebra 90 (1993), 167-188.
  
  
• Constructive elementary theory of ordered fields. (ps file) fichier pdf,
  abstract
  with Roy M.-F. in: Effective Methods in Algebraic Geometry. Eds. Mora T., Traverso C.. Birkhaüser (1991). Progress in Math. No 94 (MEGA 90), 249-262.
  Version plus détaillée en français (pdf)
  parue aux Publications Mathématiques de Besançon (1990)
  
  
• Effective real nullstellensatz and variants
  in: Effective Methods in Algebraic Geometry. Eds. Mora T., Traverso C.. Birkhaüser (1991). Progress in Math. No94 (MEGA 90), 263-288.
  abstract