LIP6 2001/027

  • Reports
    Clôture réelle et infinitésimaux
  • R. Rioboo
  • 9 pages - 11/23/2001- document en - - 192 Ko
  • Contact : Renaud.Rioboo (at)
  • Ancien Thème : CALFOR
  • The purpose of this paper is to offer an alternative to Thom's coding (M.Coste-M.F.Roy) for real algebraic numbers when working over fields that contain infinitesimals. For this main case of non-archimedean ordered fields we modify Newton-Puiseux method (Duval, Walker) to separate and work with the distinct real roots of a polynomial. An Axiom implementation describing these methods is then presented.
  • Keywords : Real closure, infinitesimals, algebraic field extensions, real closed fields
  • Publisher : David.Massot (at)