RealClosure : Real closureReal closure

Team : SPI

Arithmetic of real algebraic numbers

Software leader : Renaud RIOBOO
http://ftp.lip6.fr/lip6/softs/formel/Axiom/RealClosures