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.