Paquet : libmsolve-dev (0.7.2-1)

computer algebra algorithms for solving polynomial systems (development)

msolve is an open source C library implementing computer algebra algorithms for solving polynomial systems (with rational coefficients or coefficients in a prime field).

Currently, with msolve, you can basically solve multivariate polynomial systems. This encompasses:

 * the computation of Groebner bases
 * real root isolation of the solutions to polynomial systems
 * the computation of the dimension and the degree of the solution set
 * and many other things you can do using msolve.

This package contains the development files for the library.

Cette page est uniquement disponible dans les langues suivantes (Comment configurer la langue par défaut du document) :