• 库特

  • 542篇参考文献[SW04010]
  • 库特是个多才多艺的人。测试优化与线性环境代数求解器。包裹包含…
  • 矩阵市场

  • 149篇参考文献[SW04020]
  • 测试数值线性算法比较研究中使用的数据代数. 矩阵
  • 算法679

  • 62篇参考文献[SW12583]
  • 模型实现测试2级基本线性软件代数子程序(级…存在或不需要。这个测试软件的目的是验证特定的实现是否满足…
  • 贝蒂尼

  • 204篇参考文献[SW06363]
  • 贝蒂尼占地面积数字软件代数的几何求解多项式系统的软件。发现孤立的解决方案使用…通过采样和隶属度进行操作测试. 接受正方形或非正方形系统…
  • 几何画板

  • 222篇参考文献[SW0858]
  • 学校学生可以做好准备。代数通过探索比率和比例,率…说明和启发数学思想。教室-测试活动附有演示草图和详细的…电脑实验室或笔记本电脑。电脑代数系统
  • 线性代数库

  • 393篇参考文献[SW0830]
  • 高性能线性图书馆代数分布式内存消息传递MIMD计算机的例程…指南,包的源代码,测试和定时程序,预建版本…
  • 葡萄

  • 81篇参考文献[ SW075 16]
  • 同构测试功能,使用Brendan McKay的NUTY包。电脑代数系统
  • AGMG

  • 30篇参考文献[SW08090]
  • 方法纯粹是代数的可能是测试任何问题。没有信息…
  • KAT-ML

  • 10篇参考文献[SW08506]
  • 克莱恩交互式定理证明器代数测试. 我们描述了KAT-ML,一个实现…克莱恩交互式定理证明器代数测试(凯特)。这个系统是为了反映…
  • 西珀姆

  • 22篇参考文献[SW01153]
  • 其他程序或计算机代数系统我们用测试并定时有效多项式…代码已经处于密集状态。测试几年来一直是必不可少的…大规模张量计算机的研究进展代数
  • 火焰

  • 38篇参考文献[SW0933]
  • 线性的代数可以导出操作,验证正确,实现,以及测试,常常…平行线性的推广代数包(PLAPACK)API,提出的方法…
  • 航空工具

  • 49篇参考文献[SW09203]
  • 问题。实现了两类方法:代数的重建技术和同时迭代重建技术…另外,我们提供了一些简化测试医学和地震层析成像的问题。对于每一个…
  • 复数的

  • 70篇参考文献[SW0719]
  • 单数是一台计算机代数系统(CAS)开发用于多项式的有效计算。我们描述…G/GR代数的一个例子。基准测试用于评价概念与……进行比较。
  • 德塞特

  • 21篇参考文献[SW06062]
  • 包括挑战性测试常微分方程的问题,微分代数的指数方程…包装源自测试设置初始值问题求解器可用…
  • 算法656

  • 10篇参考文献[SW20254]
  • 基本线性代数子程序:模型实现测试程序本文描述了一个模型实现…测试2级基本线性软件代数子程序(2级BLAS)。水平…存在或不需要。这个测试软件的目的是验证特定的实现是否满足…
  • XACT

  • 53篇参考文献[SW0798]
  • 张量计算机自由软件包代数在Mathematica中。XACT实现状态…2004年3月,XACT一直在激烈地进行着。测试并解决了一些棘手的问题…
  • 槐属

  • 10篇参考文献[SW27 981]
  • 用幂零Lie计算GAP4包代数关于有限素数域。特别地。。。启用其用户测试两个幂零Lie的同构代数. 作者…
  • 算法692

  • 5篇参考文献[SW13131]
  • 模型实现测试稀疏基本线性封装代数子程序。本文论述…模型实现测试稀疏基本线性软件代数子程序(稀疏BLAS…稀疏线性中常用的向量运算代数目标是提供有效的…存在或不需要。这个测试软件被设计来验证调谐的实现…
  • 手臂

  • 63篇参考文献[ SW000 048 ]
  • 武器:一个代数的一般稀疏线性系统的递推多电平解算器本文描述了…接近1。PAR扩展数值测试介绍和覆盖各种特点…
  • 平滑器

  • 3篇参考文献[SW23 173]
  • 确定平滑度的库代数的品种:光滑测试对于更高的共尺寸。基于。。。一种确定平滑度的算法代数的品种。该算法本质上是并行的。在计算机上实现了所有的算法代数系统奇异性我们比较不同的方法…内存使用情况。这个测试实例来源于代数的几何,在哪里…