• 开普尔98

  • 151篇参考文献[SW23 625]
  • 证明开普勒 猜想. 这个开普勒 猜想断言没有一致的球的包装…证明开普勒 猜想Sam Ferguson和Tom Hales。这个代码…
  • 驯服图

  • 15篇参考文献[ SW28 78]
  • Hales在他的证明中开普勒 猜想在他的书中,Dense Sphere Packings…
  • 辅酶Q

  • 1721篇参考文献[SW0161]
  • COQ是一种形式化的证明管理系统。IT
  • 针织品

  • 161篇参考文献[SW0490]
  • KNITROO是求解非线性优化问题的一种解法。IT
  • MATLAB

  • 11158篇参考文献[SW0568]
  • Matlab®是一种高级语言和交互式…
  • 减少

  • 730篇参考文献[SW0789]
  • Read是一个通用代数的交互系统。
  • 毫升

  • 491篇参考文献[SW01218]
  • ML(“元语言”)是一种通用功能性语言。
  • GLPK

  • 156篇参考文献[SW0460]
  • GLPK(GNU线性规划工具包)是…
  • 擅长

  • 729篇参考文献[ SW068 48 ]
  • 微软Excel是一个强大的电子表格应用程序…