[ ソース: msolve ]
パッケージ: msolve (0.9.4-2)
computer algebra algorithms for solving polynomial systems
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 command line interface and documentation.
その他の msolve 関連パッケージ
|
|
|
|
-
- dep: libc6 (>= 2.38)
- GNU C ライブラリ: 共有ライブラリ
以下のパッケージによって提供される仮想パッケージでもあります: libc6-udeb
-
- dep: libflint22 (>= 3.4.0)
- C library for number theory, shared library
-
- dep: libgmp10 (>= 2:6.3.0+dfsg)
- 多倍長精度演算ライブラリ
-
- dep: libgomp1 (>= 6)
- GCC OpenMP (GOMP) サポートライブラリ
-
- dep: libmsolve3 (>= 0.7.0)
- computer algebra algorithms for solving polynomial systems (shared library)