Пакет: libmsolve-dev (0.6.5-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.

Эта страница также доступна на следующих языках (Как установить язык по умолчанию):