Avant-projet SPACES
Contact : Daniel.Lazard (at) nulllip6.frSystèmes Polynomiaux, Arithmétiques, calculs Efficaces et Sûrs.L’objectif principal est la réésolution des systèmes d’équations et inégalités polynomiales.
INRIA (Lorraine-LORIA)Daniel LAZARD