• 魔术

  • 在14篇文章中引用[sw11872号文件]
  • 也用于生成所有小的代数模拟某些选择的逻辑。这些。。。许多目的,包括驳斥非-定理. 它们也可以呈现。。。想像力的逻辑学家还是仅仅为了获得对这个或那个系统的“感觉”。魔法。。。
  • 椰林

  • 引用2篇文章[sw28719]
  • 相互模拟)。我们提出了一种生产自动化定理证明。这种自动化是基于。。。证据批评家利用信息获得从失败的证明尝试中。我们的方法。。。证明程序的等价性小的懒惰的函数式语言,类似于。。。已在多个定理...
  • 拉帕克

  • 在1641篇文章中引用[sw00503]
  • LAPACK是用Fortran 90编写的,它提供。。。
  • 岩浆

  • 在2917篇文章中引用[sw00540]
  • 计算机代数系统(CAS)。岩浆是一个大的。。。
  • 数学软件

  • 引用5933篇文章[sw00554]
  • 几乎所有的工作流程都涉及到计算结果,而且。。。
  • R

  • 参考文献8565篇[sw00771]
  • 是一种统计语言和环境。。。
  • 圣哲

  • 在1672篇文章中引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 宿便

  • 引用273篇文章[sw00891]
  • 我们很高兴向您介绍SOSTOOL,一种免费的。。。
  • 沉香

  • 引用1180篇文章[sw04002]
  • SeDuMi是一个求解优化问题的Matlab工具箱。。。
  • SDPT3型

  • 参考文献613篇[sw04009]
  • 该软件是为解决圆锥曲线编程而设计的。。。
  • UCI毫升

  • 引用3086篇文章[sw04074]
  • 加州大学欧文机器学习知识库。我们目前维持。。。