• 枫树

  • 4879篇参考文献[SW0545 ]
  • 功能,枫树提供广度、深度和性能处理每一种数学。枫树…
  • 拉帕克

  • 1579篇参考文献[SW0503]
  • 而不是“便携式”,因为,最快的可能性能LAPACK需要高度优化的块矩阵…尽可能多的计算是表演通过调用基本线性代数…提高高效率在许多高性能计算机,特别是如果特别编码实现提供…BLAS可用于许多现代高性能电脑有关已知供应商的详细信息…
  • 塞杜米

  • 1136篇参考文献[SW042]
  • 符号和数值重排序方案,平衡速度/精度性能和精巧的密集柱处理,使用…
  • 库达

  • 1118篇参考文献[SW03258]
  • 调试和优化的工具性能你的申请。你也会发现编程…
  • 575篇参考文献[SW1654]
  • 从可以使用的图像表演不同视图之间的可靠匹配…属于单个对象,最后表演通过最小二乘解验证一致性…实现实时接近时的遮挡性能
  • 闪光灯

  • 573篇参考文献[SW04629 ]
  • 发展中的线性代数社区性能稀疏矩阵算法的评价它允许…健壮和可重复的实验:健壮因为性能人工生成矩阵的结果可能会误导人…
  • 迪马克

  • 493篇参考文献[SW08221]
  • 挑战解决现实算法的问题性能最糟糕的案例分析过于悲观。实验可为现实算法提供指导性能分析失败的地方。实验也带来算法…其他测试和比较方法性能算法。这是一个步骤…
  • 557篇参考文献[SW06916]
  • 完整的求解器,箔条,实现显著性能通过对各个方面的细致工程获得收益…获得一到两个数量级性能比较困难的SAT基准比较…
  • 马赛玛

  • 714篇参考文献[ SW0120 9]
  • 函数的不定积分,或表演非常复杂的计算方法…
  • L- BFGS

  • 678篇参考文献[SW0322]
  • 无约束问题及在这种情况下表演类似于它的前身,算法L BFGS(哈韦尔…
  • 莫德

  • 650篇参考文献[SW06263]
  • Maude是个高-性能反思语言和系统支持等式和重写逻辑…
  • 可可

  • 595篇参考文献[SW0143]
  • 交换代数它能够表演多变量多项式的简单而复杂的运算…
  • 棱镜

  • 393篇参考文献[SW01186]
  • 连续时间马尔可夫链。分析是表演通过模型检验这样的系统对规范编写…成功地用于概率终止分析,性能和服务质量属性…
  • 四分体

  • 352篇参考文献[SW12177]
  • SPLUS或R. Tetrad是免费软件表演商业程序中的许多功能…发现功能这些商业程序不表演. 四分之一是独特的套房…
  • Z3

  • 465篇参考文献[SW0488]
  • 性能定理证明器是在微软研究开发的。Z3支持线性实数和整数运算…
  • 背包

  • 447篇参考文献[ SW047 23 ]
  • 结果被提出以比较实际性能最有效的算法出版…
  • 古罗比

  • 439篇参考文献[SW04105]
  • 优化器超越快速可靠的解决方案性能提供广泛的接口…
  • AdaboSt.MH

  • 430篇参考文献[SW0817]
  • 需要任何先验知识性能弱学习算法。我们还研究…
  • 线性代数库

  • 393篇参考文献[SW0830]
  • 拉帕克这是一个高图书馆。性能分布式内存消息的线性代数例程…