LIP6 2001/027
- 学术报告
Clôture réelle et infinitésimaux - R. Rioboo
- 9 pages - 2001-11-23- document en - http://www.lip6.fr/lip6/reports/2001/lip6.2001.027.pdf - 192 Ko
- 联系方式 : Renaud.Rioboo (at) nulllip6.fr
- Ancien Thème : CALFOR
- 关键词 : Real closure, infinitesimals, algebraic field extensions, real closed fields
- 出版主任 : David.Massot (at) nulllip6.fr
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.