• 博特马

  • 8篇参考文献[SW09243]
  • 一类构造性证明几何 不等式. 自动化的不平等给出了证明算法。泛型班几何代数不等式涉及。。。激进分子。“定理”中的大部分几何 不等式“Bottema写的……
  • ε

  • 38篇参考文献[SW0244]
  • 用多项式进行多项式消去和分解几何)应用程序。它有8个模块,包含…多项式方程组不等式处理和证明几何定理自动…
  • 探险者

  • 1篇参考文献[ SW01823 ]
  • 自动化的几何 不等式发现和证明。作者提供了一个完整的理论和有效的…证明者,探险家,发现了很多几何 不等式自动…
  • 土霉素

  • 2篇参考文献[SW15919]
  • 约化正则序列的求解器这个几何分辨率算法是一个Gr Obnne自由选择…多项式方程组的求解不等式. 它计算系统的提升光纤…
  • 斯帕莫德

  • 1篇参考文献[SW0893]
  • 几何的目标它是一种基于拓扑的几何建模工具有三种类型的嵌入…离散分析嵌入(离散对象定义)不等式为了这样的工具…
  • CDD

  • 104篇参考文献[SW0114]
  • 程序CDD+(CDD,分别)是C.。
  • 可可

  • 585篇参考文献[SW0143]
  • 可可是Commutative的一种计算系统。
  • 辅酶Q

  • 1706篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • C-XSC 2

  • 120篇参考文献[SW0182]
  • 一个用于扩展科学计算的C++类库…
  • 分包

  • 110篇参考文献[SW0203]
  • 随着现代编程方法从计算机科学迁移…
  • Gap

  • 2586篇参考文献[SW0320]
  • GAP是一个计算离散代数的系统…
  • GMP

  • 250篇参考文献[SW0363]
  • GMP是一个任意精度的自由库。