RealClosure : Clôture réelle

Équipe : SPI

Arithmétique des nombres algébriques réels

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