• 机锋网

  • 参考117篇文章[sw04698]
  • 机锋网是一个计算格勃纳扇形和热带品种的软件包。这些是多面体的。。。Gröbner扇的某些亚复合体。机锋网包含计算这个复杂度的算法。。。手动操作。对于普通Gröbner基计算机锋网与程序相比在速度上没有竞争力。。。
  • 状态多面体

  • 参考7篇文章[sw07236]
  • 用程序描述理想的多面体机锋论坛M2和polymake。具体来说,它计算状态。。。变量。我们假设用户机锋论坛0.3或更高版本。。。假设要运行的命令机锋论坛机锋论坛,但这是可以改变的。。。学习的理想是由机锋论坛. 在版本0.3中,这意味着理想必须。。。
  • gmp

  • 引用274篇文章[sw00363]
  • GMP是一个任意精度的免费库。。。
  • 单数

  • 在1424篇文章中引用[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • 敏捷

  • 参考文献118篇[sw06874]
  • SnapPy是一个研究拓扑的程序。。。
  • NAG4M2

  • 引用13篇文章[sw08785]
  • 数字代数几何——数值代数几何。数字代数几何包,也。。。