• 数学软件

  • 引用5883篇文章[sw00554]
  • 唯一一个完全集成计算的开发平台完成工作流程,让你从最初的想法无缝地移动。。。
  • DLMF

  • 引用2225篇文章[SW048号]
  • 配套网站,都计划在完成2003年。50多名数学家、物理学家。。。
  • 阿巴克斯

  • 引用于1452篇文章[sw04215]
  • 统一FEA产品套件提供强大的完成常规和复杂工程的解决方案。。。
  • 贝耶斯达

  • 在1097篇文章中引用[sw11008]
  • 鲁宾。希望不是所有的数据集完整的很快。。。
  • 核平滑

  • 在911文章中引用[sw04586]
  • 做了一些牺牲。它没有完全地涵盖大量的研究。。。
  • 引用567篇文章[sw06916]
  • 研究和工业。最现存的完成解算器是Davis Putnam的变种。。。描述一个新的完成解算器,箔条,通过。。。
  • 凯利

  • 引用了600篇文章[sw04829]
  • 简洁明了而不是完成一般性和限制我们的范围的算法。。。
  • 毫升

  • 引用514篇文章[sw01218]
  • 语言完全地使用形式语义指定和验证。它的类型和模式匹配。。。
  • 泡沫

  • 引用了390篇文章[sw04317]
  • 处置。通过开放,OpenFOAM为用户提供完成自由定制和扩展其现有。。。
  • 斯塔塔

  • 引用335篇文章[sw06029]
  • 斯塔塔是一个完成,提供数据分析所需的一切的综合统计软件包。。。
  • 水獭

  • 引用313篇文章[sw02904]
  • 术语重写,术语排序,Knuth Bendix完成,权重,以及指导和限制搜索的策略。。。
  • 术语

  • 在293篇文章中引用[sw04942]
  • 更简单、更高效。行话提供了完全地集成包,包括一个强大的语言。。。
  • 帕迪索

  • 引用269篇文章[sw00679]
  • 正定的或不确定的,赫米特的。完成旋转。在SMPs和群集上并行。。。
  • 相位差

  • 参考171篇文章[sw31783]
  • 基于矩阵的相位恢复完成. 本文提出了一种新的相位恢复框架。。。灵感来自最近关于矩阵的文献完成. 更重要的是,我们还证明。。。
  • 麦克莱斯

  • 引用218篇[sw02076]
  • 未知线性二进制码是一个NP-完成问题。对实施后量子的兴趣。。。
  • ETPS公司

  • 在153篇文章中引用[sw06302]
  • 阅读手册(其中包含完成示例)和操作系统。那个学生。。。不离开程序。记录完整的练习由ETP维护。。。
  • GSLIB公司

  • 在209篇文章中引用[sw08284]
  • 1990-1992年间。第二版是完整的1997年。两个版本都出版了。。。
  • 顶部。m

  • 207篇引用[sw22630]
  • 该守则旨在教育目的。这个完成Matlab代码在附录中给出。。。
  • SLIC公司

  • 在139篇文章中引用[SW82号文件]
  • 混合流体单元的近似值为完全地通过测试是否。。。正在考虑的方向。(4) 因为完全地SLIC界面的一维特性。。。