msolve : Multivariate polynomial systems solving
Équipe : PolSysmsolve est une bibliothèque écrite en C pour la résolution de systèmes polynomiaux multivariés. Elle s'appuie sur des méthodes algébriques, notamment le calcul de bases de Gröbner, et permet de résoudre de manière exacte des systèmes polynomiaux à coefficients à coefficients rationnels (isolation des racines réelles) ou dans un corps premier (de cardinalité inférieure à 2^31). msolve inclut des implantations haute-performances des algorithmes réputés les plus efficaces. La librairie peut être utilisée depuis de nombreux systèmes calcul formel et est intégrée dans les systèmes OSCAR et SageMath. msolve est développée en collaboration avec Christian Eder (TU Kaiserslautern, Allemagne).
Responsable : Mohab Safey El Dinhttps://msolve.lip6.fr