Une nouvelle version de msolve disponible

Issue des travaux de l'équipe PolSys, la bibliothèque msolve vise à résoudre des systèmes polynomiaux en plusieurs variables. Elle est maintenant disponible en une nouvelle version 0.9.0.

Equations mathématiques, les systèmes polynomiaux en plusieurs variables apparaissent dans un grand nombre de domaines du numérique (cryptographie, vision artificielle, vérification de programmes, etc.) et des sciences de l'ingénieur (robotique, biologie, chimie, etc.). Ils encodent naturellement des propriétés arithmétiques et géométriques non-linéaires.

Ecrite en C pur, la bibliothèque msolve développée par notre équipe PolSys depuis 2021 permet de résoudre ces systèmes polynomiaux en plusieurs variables. Elle repose sur l’algèbre informatique, aussi appelée calcul symbolique, pour la résolution exacte de ces systèmes, et fournit un encodage algébrique/exact des solutions en utilisant des algorithmes avancés de bases de Gröbner (F4, changements d’ordres, etc.).

Publiée le 23 juin dernier, la version 0.9.0 de msolve est maintenant disponible.