• 差距

  • 引用了3068篇文章[sw00320]
  • GAP是系统对于计算离散代数。。。
  • 超小卫星

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

  • 引用9188篇文章[sw00771]
  • 语言和统计环境。。。
  • 棱镜

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

  • 引用517篇文章[sw01218]
  • “元功能语言”是一种通用语言。。。
  • 谦虚

  • 引用的第32条[sw01544]
  • 谦虚——一种随机建模和描述语言。。。
  • 希萨特

  • 引用25篇文章[sw01980]
  • HySAT:一个有效的有界模型证明引擎。。。
  • L-BFGS

  • 引用778篇文章[sw03229]
  • 算法778:L-BFGS-B Fortran子程序。。。
  • 库达

  • 引用1288篇文章[sw03258]
  • NVIDIA®CUDA®工具箱提供全面的开发。。。
  • 旋转

  • 引用721篇文章[sw03455]
  • Spin是一个流行的开源软件工具。。。