[Formalisation des mathématiques] [retour] [Géo Alg Réelle]

Gens

• Lionel Ducos Théorie de Galois. Sous-résultants.
• Laureano González-Vega Géométrie Algébrique Réelle, Sous-résultants, Systèmes polynomiaux, CAO.
• Bernard Mourrain Géométrie Algébrique, Systèmes polynomiaux, CAO.
• Pascal Koiran
• Marie-Françoise Roy Géométrie Algébrique Réelle, Sous-résultants, Systèmes polynomiaux.

Pages thématiques

• CoCoA

Mes publications

• Un livre
  Méthodes Matricielles. Introduction à la Complexité Algébrique.
  La table des matières
  Avant Propos, Table des Matières, Chapitre 1, fichier pdf,
  écrit en collaboration avec Jounaidi ABDELJAOUED (Maître Assistant à l'Université de Tunis II).
  Paru fin 2003 chez Springer dans la collection ``Mathématiques et Applications" de la SMAI.
  Errata
  Le rapport paru dans MathSciNet. fichier pdf
  Version pdf mise à jour en avril 2012. arXiv:1604.00795 C'est ici
  
  
• The syzygy theorem for Bézout rings (pdf)
  with M. Gamanda, S. Neuwirth and I. Yengui.
  To appear in Mathematics of Computations. Sur arXiv arXiv 1905.08117
  Abstract
  
  
• Calcul matriciel généralisé sur les domaines de Prüfer (pdf)
  avec Gema Díaz-Toca.
  Bulletin des Sciences Mathématiques. 159, (2020). Sur arXiv arXiv 1508.00345
  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
  
  
• An Algorithm for the Traverso-Swan theorem on seminormal rings. (pdf),
  with Sami Barhoumi
  Journal of Algebra. 320 (2008), 1531--1542.
  abstract
  
  
• Suslin's algorithms for reduction of unimodular rows fichier pdf, fichier dvi.
  with Ihsen Yengui abstract
  Journal of Symbolic Computation 39 (2005), 707-717.
  
  
• 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
  
  
• Modules projectifs de type fini, applications linéaires croisées et inverses généralisés. fichier pdf,
  avec Gema Díaz-Toca, Laureano González-Vega, et Claude Quitté abstract
  Journal of Algebra 303 2, (2005), 450-475.
  
  
• Generalizing Cramer's Rule: Solving uniformly linear systems of equations. (pdf file) , dvi file.
  with Gema M. Díaz-Toca and Laureano González-Vega
  SIAM Journal on Matrix Analysis and Applications 27 3, (2005), 621-637. abstract
  
  
• The Berlekamp-Massey Algorithm revisited. fichier pdf, fichier dvi.
  with Nadia Ben Atti and Gema M. Díaz-Toca
  AAECC 17 1 (2006), 75-82. 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
  
  
• Dynamic computations inside the algebraic closure of a valued field.
  with Kuhlmann F.-V., Perdry H. in: 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
  
  
• Continuity properties for flat families of polynomials (I) Continuous parametrizations. (fichier df)
  avec Galligo A., González-Vega L. Journal of Pure and Applied Algebra, 184, (2003), 77-103. abstract
  
  
• New structure theorems for subresultants
  avec Roy M.-F., Safey El Din M. Journal of Symbolic Computation 29 (4-5), (2000), 663--690. abstract
  
  
• The Buchberger Algorithm as a Tool for Ideal Theory of Polynomial Rings in Constructive Mathematics. (ps) Fichier pdf. Fichier dvi.
  with Hervé Perdry, in: Gröbner Bases and Applications (Proc. of the Conference 33 Years of Gröbner Bases), Cambridge University Press, London Mathematical Society Lecture Notes Series, vol. 251, (1998), 393-407. abstract
  
  
• Determinants and real roots of univariate polynomials
  avec González-Vega L., Recio T., Roy M.-F., in: Special volume of the series "Texts and Monographs in Symbolic Computation" (Springer-Verlag): 25 years of Quantifier Elimination and Cylindrical Algebraic Decomposition. (1998), 300-316.
  
  
• Certified approximate univariate GCDs. (pdf)
  avec Emiris I., Galligo A. Journal of Pure and Applied Algebra. (Special issue Proc. MEGA 96 Eds Cohen A., Roy M.-F.) 117&118, (1997), 229-251.
  
  
• Algorithmes de calcul de la réduction de Hermite d'une matrice a coefficients polynomiaux. fichier .pdf
  avec Labhalla S., Marlin R. Theoretical Computer Science 161 (1996), 69-92. abstract
  
  
• Une borne sur les degrés pour le Théorème des zéros réel effectif, (pdf)
  in: Real Algebraic Geometry. Proccedings, Rennes 1991, Lecture Notes in Mathematics No1524. Eds. : Coste M., Mahé L., Roy M.-F.. Springer-Verlag, (1992), 323-345.
  
  
• Spécialisation de la suite de Sturm.
  avec González-Vega L., Recio T., Roy M.F. RAIRO Informatique théorique et Applications 28 (1994), 1-24.
  
  
• Spécialisation de la suite de Sturm et sous-résultants. I.
  avec González-Vega L., Recio T., Roy M.F. RAIRO Informatique théorique et Applications 24, no. 6, (1990), 561-588.
  
  
• Calculabilité dans les structures algébriques dénombrables fichier pdf
  Première partie de ma thèse (1989). Rééditée aux Publications Mathématiques de Besançon en 1990. Résumé
  
  
• Nombres algébriques présentés comme solutions de systèmes d'équations en cascade. pdf
  1989. Présenté aux journées de Calcul Formel CALSYF 89.