RealClosure : Clôture réelle

Équipe : SPI

Arithmétique des nombres algébriques réels

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