• 枫木

  • 引用4919篇文章[sw00545]
  • 功能方面,Maple提供了宽度、深度和性能处理各种数学问题。枫树。。。
  • 拉帕克

  • 引用1586篇文章[sw00503]
  • 而不是“便携”,因为性能,LAPACK需要高度优化的块矩阵。。。尽可能多的计算是执行通过调用基本线性代数。。。在许多高-性能计算机,特别是如果提供了特殊编码的实现。。。许多现代高中都有BLAS-性能计算机。有关已知供应商的详细信息。。。
  • 沉香

  • 引用于1154篇文章[sw04002]
  • 符号和数字重新排序方案,平衡速度/精度性能以及复杂的密集柱处理,使用。。。
  • 库达

  • 引用1136篇文章[sw03258]
  • 用于调试和优化性能你的应用程序。你还会发现编程。。。
  • 引用580篇文章[sw16554]
  • 从可以用来表演不同视图之间的可靠匹配。。。属于一个单一的物体,最后表演用最小二乘法验证一致性。。。同时实现接近实时的遮挡性能...
  • SparseMatrix公司

  • 引用587篇文章[SW62049号]
  • 线性代数社区性能稀疏矩阵算法的评价。它允许。。。稳健且可重复的实验:稳健是因为性能人工生成矩阵的结果可能会误导。。。
  • 迪马奇

  • 引用498篇文章[sw08221]
  • 挑战解决了确定真实算法的问题性能最坏情况分析过于悲观。。。为算法提供现实的实验指导性能分析失败的地方。实验也带来了算法。。。其他测试和比较方法性能算法。这是一个步骤。。。
  • 参考文献561篇[sw06916]
  • 完成解算器,颖壳,达到显著效果性能通过对各个方面的精心设计获得。。。得到一到两个数量级性能比较困难的SAT基准的改进。。。
  • 麦克西马

  • 引用714篇文章[sw01209]
  • 函数的不定积分),或表演非常复杂的计算方法。。。
  • L-BFGS

  • 在693篇文章中引用[sw03229]
  • 在这种情况下表演类似于它的前身,算法L-BFGS(Harwell。。。
  • 莫德

  • 引用652篇文章[sw06233]
  • 莫德是个高个子-性能反射式语言和支持等式和重写逻辑的系统。。。
  • 可可

  • 参考605篇文章[sw00143]
  • 交换代数。它能够表演多变量多项式的简单而复杂的运算。。。
  • 棱镜

  • 引用396篇文章[sw01186]
  • 连续时间马尔可夫链。分析是执行通过模型检查这些系统与编写的规范。。。用于概率终止分析,性能,以及服务质量属性。。。
  • 四分体

  • 引用文献362篇[sw12177]
  • Splus或R.Tetrad是免费软件表演商业程序中的许多功能。。。这些商业程序没有的发现功能表演. 四分体在套房里是独一无二的。。。
  • 芬尼茨

  • 引用476篇文章[sw04314]
  • 有限元综合库,高性能线性代数和更多。。。
  • z3型

  • 引用第475条[sw04887]
  • 高-性能定理证明程序正在微软研究所开发。Z3支持线性实数和整数运算。。。
  • 古洛比

  • 引用第457条[sw04105]
  • 优化器超越了快速可靠的解决方案性能提供广泛的接口。。。
  • 背包

  • 引用451篇文章[sw04723]
  • 结果与实际结果进行了比较性能最有效的算法。。。
  • 线性代数库

  • 引用396篇文章[sw00830]
  • 拉帕克。这是一个高等图书馆-性能分布式内存消息的线性代数例程。。。