• 数学软件

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

  • 引用528篇文章[sw00577]
  • 可扩展的SAT解算器。MiniSat是一个极简主义者。。。
  • 濑户

  • 第119条引用[sw00707]
  • SETHEO:一个高性能的定理证明器。报纸。。。
  • R

  • 引用8180篇文章[sw00771]
  • 是一种统计语言和环境。。。
  • 圣哲

  • 1598条引用[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 宿便

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

  • 参考文献155篇[sw00967]
  • 非线性时间序列方法之实际应用。。。
  • 毫升

  • 引用512条[sw01218]
  • ML('Meta Language')是一个通用函数。。。