• 代码23

  • 引用306篇[sw06600]
  • 绝对误差公差矢量AbsTol组件默认为1e-6)。如果确定组件... 这些指数的非负性组件。有关详细信息,请参阅odeset。。。
  • SAS/统计

  • 引用423篇文章【sw18788】
  • SAS/STAT软件成分的SAS系统,提供全面的统计工具,广泛。。。
  • 努西姆

  • 引用305篇文章[sw04131]
  • 地区。NuSMV2,结合了基于BDD的模型检查成分利用CUDD库开发的。。。基于科罗拉多大学和SAT的模型检验成分包括一个基于RBC的有界模型。。。
  • CGAL公司

  • 引用381篇文章[sw00118]
  • 球体,点的最小封闭椭球体,主成分分析)和动力学数据结构。所有这些。。。
  • 高超声速

  • 在330篇文章中引用[sw04125]
  • 离散连续自动机集合组件并通过符号化方法验证了时间需求。。。
  • Tensor工具箱

  • 引用了173篇文章[sw04185]
  • 他们可以从更基本的组装组件我们考虑两种特殊类型:塔克。。。在这种情况下组件不到存储的全部。。。只能使用组件.本书中描述的所有效率。。。
  • 安非斯

  • 引用274篇文章[sw08730]
  • 用于非线性函数建模,识别非线性函数组件在线控制系统中。。。
  • 克洛诺斯

  • 引用273篇文章[sw01270]
  • 符合预期要求。在克洛诺斯,组件对实时系统进行建模。。。
  • 多芬

  • 引用180篇文章[sw04313]
  • DOLFIN包装了其他FEniCS的功能组件和外部软件,并处理通信。。。在这些之间组件...
  • 班德拉

  • 在134篇文章中引用[sw07663]
  • 程序分析、转换和可视化的集合组件旨在促进模型检查的实验。。。程序切片与用户可扩展抽象解释组件应用于自定义程序模型。。。说明组件以及如何互动的工具。。。
  • 固定点算法

  • 引用210篇文章[sw07225]
  • 独立的快速不动点算法成分追踪和分析。它的特点是容易。。。
  • SLIC公司

  • 引用了150篇文章【sw18282】
  • 一维合成组件,每个坐标方向一个。(2) 这些一维的组件...
  • 算法447

  • 在149篇文章中引用[sw12877]
  • 用于将图划分为连通的组件,双连接组件和简单的路径。算法。。。
  • 数据库

  • 引用195篇文章【sw30472】
  • 把所有这些联系起来的编程语言组件一起。数据库的基本文件格式。。。
  • GLPK公司

  • 引用178篇文章[sw04560]
  • GLPK包包括以下主要部分组件原始和对偶单纯形方法,原始-对偶内部。。。
  • 爆炸

  • 引用128篇文章[sw02937]
  • 这里也是。爆炸和所有组件它依靠的是自由软件。。。来源:许可证);有关组件参见来源:通知文件。爆炸已经。。。
  • PMA公司

  • 在122篇文章中引用[sw19126]
  • 分析:惩罚矩阵分解,稀疏原理组件分析,稀疏典型相关分析,描述。。。矩阵分解及其在稀疏原理中的应用组件典型相关分析。生物统计学。。。
  • CONOPT公司

  • 引用167篇文章[sw02791]
  • 讨论实施关键组件在GRG代码中:基因子分解,搜索方向。。。
  • 破伤风

  • 引用167篇文章[sw04046]
  • 相关领域。它描述了关键软件组件包括一个高效的四面体网格。。。