[Géo Alg Réelle] [retour] [Logique]

Gens

• Thierry Coquand Lui-même.
  
  
• Pascal Koiran
  
  
• Ulrich Kohlenbach
  
  
• Helmut Schwichtenberg

Pages thématiques

• Computability and Complexity in Analysis Calculabilité et Complexité en Analyse
  
  
• La logique et la théorie des ensembles à travers le monde Logic and set theory around the world
  
  
• Formalisation of Mathematics.
  

Mes publications

• 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
  
  
• An elementary recursive bound for effective Positivstellensatz and Hilbert 17-th problem (pdf)
  with Daniel Perrucci and Marie-Françoise Roy.
  preprint 2014.
  Abstract
  
  
• Espaces métriques rationnellement présentés et complexité, le cas de l'espace des fonctions réelles uniformément continues sur un intervalle compact. fichier pdf.
  avec Labhalla S. et Moutai E. Theoretical Computer Science. 250 , 1-2, (2001), 265-332. abstract
  
  
• Etude constructive de problèmes de topologie pour les réels irrationnels
  avec Khalouani M. et Labhalla S. Math. Logic Quarterly 45 2, (1999), 257-288. abstract
  
  
• 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
  
  
• Analyse de complexité pour un théorème de Hall sur les fractions continues. (fichier pdf)
  avec Labhalla S. Math. Logic Quarterly 42 (1996), 134-144.
  
  
• Transformation homographique appliquée à un développement en fraction continue fini ou infini. (fichier pdf)
  avec Labhalla S. Acta Arithmetica 73 (1) (1995), 29-41.
  
  
• Représentations des nombres réels par développements en base entière et complexité.
  avec Labhalla S.) Theoretical Computer Science 88 (1991), 171-182.
  
  
• Real numbers, continued fractions, and complexity classes. (version française en pdf)
  avec Labhalla S. Annals of Pure and Applied Logic. 50 (1990), 1-28.
  
  
• Comparaison des nombres réels du point de vue des fonctionnelles récursives.
  avec Labhalla S.) C.R.A.S-Paris, 311, Série I, (1990), 229- 234.
  
  
• Comparaison des complexités des nombres réels dans différentes représentations (à la Cauchy, à la Dedekind, par fractions continues)
  avec Labhalla S. C.R.A.S. Paris, 310, Série I, (1990), 483-488.