パッケージ: libmsolve-dev (0.9.0-2 など)

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.

このページは以下の言語でもご覧になれます (デフォルトの言語を設定するには):