• 数学软件

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

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

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

  • 在7624篇文章中引用[sw00771]
  • 是一种统计语言和环境。。。
  • 单数

  • 引用1314篇文章[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • 棱镜

  • 引用396篇文章[sw01186]
  • PRISM:概率符号模型检查器。在本文中。。。
  • 毫升

  • 在502篇文章中引用[sw01218]
  • ML('Meta Language')是一个通用函数。。。
  • 合金

  • 引用了29篇文章[sw01247]
  • 合金:一种新的软件建模技术。合金。。。