msolve是一个用纯C编写的库，用于求解
多元多项式系统。

msolve版本v0.6.5

下载

特征

  • msolve基于计算机代数又称符号计算
    用于精确多项式系统求解
  • msolve提供了解的代数/精确编码
  • msolve使用高级Groebner基算法
    （F4、订单变更等）
  • msolve目标更高的效率通过多线程和矢量化
  • msolve是根据GPLv2许可证分发的+