• 墨菲

  • 引用16条[sw22149]
  • 斯坦福大学的小组。它是一个枚举的(显式状态)模型检查器,有自己的输入。。。深度优先还是广度优先搜索状态空间的。在此模式下遇到的状态。。。
  • 引用2篇文章[sw34182]
  • 安全属性,并执行分布式枚举的机群的可达性分析。快。。。快来利用大规模分销搜索缩小的状态空间。。。
  • 男爵

  • 在330篇文章中引用[sw00066]
  • 巴龙是一个计算系统,用于解决非凸。。。
  • 胖子

  • 参考11篇文章[sw00265]
  • 我们描述了一个新的,混合的警察。。。
  • 差距

  • 引用了3003篇文章[sw00320]
  • GAP是一个计算离散代数系统。。。
  • 聚合

  • 引用308篇文章[sw00724]
  • polymake是一个开源软件,用于研究。。。
  • R

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

  • 引用于1792篇文章[sw00825]
  • Sage(SageMath)是免费的,开源的数学软件。。。
  • 单数

  • 在1441篇文章中引用[sw00866]
  • 奇异是一个计算机代数系统(CAS)为。。。
  • 库达

  • 引用于1234篇文章[sw03258]
  • NVIDIA®CUDA®工具箱提供全面的开发。。。
  • 伽马

  • 引用854篇文章[sw04978号]
  • 通用代数建模系统(GAMS)是专门针对。。。