• Accueil LIP6
  • Page : 'rapport_recherche' inconnue (menus.php)

LIP6 2001/027

  • Rapports de recherche
    Clôture réelle et infinitésimaux
  • R. Rioboo
  • 9 pages - 23/11/2001- document en - http://www.lip6.fr/lip6/reports/2001/lip6.2001.027.pdf - 192 Ko
  • Contact : Renaud.Rioboo (at) nulllip6.fr
  • Ancien Thème : CALFOR
  • L'objectif de cet article est de présenter une alternative au codage à la Thom (M.Coste-M.F.Roy) pour les nombres algébriques réels dans le cas des corps contenant des infinitésimaux. Pour ce cas particulier important de corps ordonnés non archimédiens, nous modifions la méthode de Newton-Puiseux (Duval, Walker) afin de séparer et de travailler avec les différentes racines d'un polynôme. Nous présentons ensuite une implantation Axiom de ces techniques.
  • Mots clés : clôture réelle, infinitésimaux, extension algébriques de corps, corps réels clos
  • Directeur de la publication : David.Massot (at) nulllip6.fr
Mentions légales
Carte du site