• Matlab语言

  • 引用13100篇文章[sw00558]
  • 通信、图像和视频处理、控制系统,测试计量,计算金融和计算生物学。。。
  • R

  • 引用9188篇文章[sw00771]
  • 统计(线性和非线性建模,经典统计测验,时间序列分析,分类,聚类…)图形化。。。
  • mc工具箱

  • 参考1462篇文章[sw04827]
  • 包含构造函数的MatlabM文件测试矩阵,计算矩阵因子分解,矩阵可视化。。。这个工具箱取代了作者以前的工具箱试验矩阵工具箱(最终版本1995)。工具箱。。。
  • Simulink公司

  • 引用799篇文章[sw04348]
  • 让你设计,模拟,实现测试各种各样的系统,包括各种各样的时间。。。建模环境,并定义信号、参数和测试数据。。。
  • 或图书馆

  • 引用647篇文章[sw04153]
  • 图书馆是一个集合测试各种运筹学的数据集。。。问题。这些测试数据集可以通过WWW使用以下链接访问。。。最初描述在J.E.Beasley,“或图书馆:分发测试“电子邮件问题”,期刊。。。
  • 可爱的

  • 引用584篇文章[sw04010]
  • CUTEr是个多才多艺的人测试优化和线性代数求解器的环境。包中包含。。。收集测试问题,连同fortran77,fortran90/95和Matlab工具的目的。。。改进新的和现有的解决方案。这个测试提供的问题是用所谓的标准来写的。。。操纵以提供适合测试优化包。准备好使用现有接口。。。
  • 迪马奇

  • 引用551篇文章[sw08221]
  • 激励理论工作的问题。它也是测验关于实现方法和数据的许多假设。。。提供发展和测试问题实例、实例生成器和其他方法。。。测试并比较了算法的性能。技术转让是一个步骤。。。
  • 正规化工具

  • 引用736篇文章[sw00797]
  • 正规化策略。套餐还包括12个测试问题。需要Matlab 7.3版。手册。。。
  • ANSYS软件

  • 在685篇文章中引用[sw00044]
  • 创新和减少物理约束,实现模拟测验否则这可能是不可能的。。。
  • SDPT3型

  • 引用673篇文章[sw04009]
  • 总计约300测试问题至少要精确到。。。
  • TPTP

  • 引用384篇文章[sw04143]
  • 定理证明器)是一个测试自动定理证明系统的问题。。。与:ATP综合库测试今天可用的问题,为了。。。TPTP支持测试以及ATP系统的评估,以确保。。。系统评估,有意义的系统比较,可重复性测试,以及产生具有统计学意义的结果。。。
  • z3型

  • 参考文献562篇[sw04887]
  • 结合大量程序分析,测试以及微软研究中心的验证工具。这些。。。
  • 鼻涕

  • 引用文献532篇[sw02300]
  • 可爱和警察的问题最多测试收藏(大约900个例子。。。
  • 克兰

  • 引用522篇文章[sw04351]
  • 图形技术:线性和非线性建模,统计测验,时间序列分析,分类,聚类等。。。
  • 抱怨

  • 引用421篇文章[sw00610]
  • 世界。试了1600次测试既灵活又便携的程序。。。
  • 四分体

  • 引用412篇文章[sw12177]
  • 创建、模拟数据的程序,测验,预测和搜索因果关系。。。
  • 哈韦尔波音稀疏矩阵集合

  • 引用215篇[sw08516]
  • 稀疏矩阵测试问题。我们描述哈韦尔波音稀疏矩阵集合。。。标准测试稀疏矩阵问题的矩阵。我们的测试集合包含线性系统中的问题。。。稀疏矩阵研究中的假设测试大规模计算中出现的案例。。。获取和使用测试收集讨论。我们还描述了指导方针。。。
  • Trilinos公司

  • 引用393篇文章[sw04028]
  • 跨多个平台,生成文档和回归测试跨越一系列目标平台。。。
  • LSQR

  • 引用385篇文章[sw00530]
  • 该方法的实现,子程序LSQR。数字的测验描述了LSQR与其他几种。。。