Edit detail for RealClosure revision 1 of 6

changed:
-
Real Algebraic Numbers

  Renaud Rioboo::

	LIP6 Case 168, Thème SPI
  	Universtité Pierre et Marie Curie
  	4 Place Jussieu
  	F-75252 Paris CEDEX 05
 
  	Tel : +33 1 4427 3341
  	Fax : +33 1 4427 4042
  	mailto:Renaud.Rioboo@lip6.fr


http://www.lip6.fr

http://www-calfor.lip6.fr/~rr/

Axiom Software

  - http://ftp.lip6.fr/lip6/softs/formel/Axiom/RealClosures

  - http://www-calfor.lip6.fr/~rr/HDR/reclos_frisco.pdf

  - http://page.axiom-developer.org/zope/Plone/refs/articles/axiom-field.pdf

Real Algebraic Closure of an Ordered Field, Implementation in Axiom

  Real algebraic numbers appear in many Computer Algebra problems. For instance the determination of a cylindrical algebraic decomposition for an euclidian space requires computing with real algebraic numbers. This paper describes an implementation for computations with the real roots of a polynomial. This process is designed to be recursively used, so the resulting domain of computation is the set of all real algebraic numbers. An implementation for the real algebraic closure has been done in Axiom (previously called ScratchPad).

"Here":EfficiencyProblem is an example of it's usage.

Related Papers

  - "Infinitesimals and real closure":http://www.lip6.fr/fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=185

  - "Polymorphic Data Types, Objects, Modules and Functors: is it too.much.?":http://www.lip6.fr/fr/production/publications-rapport-fiche.php?RECORD_KEY%28rapports%29=id&id(rapports)=139

        LIP6 Case 168, Thème SPI
        Universtité Pierre et Marie Curie
        4 Place Jussieu
        F-75252 Paris CEDEX 05

        Tel : +33 1 4427 3341
        Fax : +33 1 4427 4042
        mailto:Renaud.Rioboo@lip6.fr