SPI : Real closureReal closure

Forschungsgruppe : SPI

Arithmetic of real algebraic numbers

Verantwortliche(r) : Renaud RIOBOO
http://ftp.lip6.fr/lip6/softs/formel/Axiom/RealClosures