• ODEPACK公司

  • 193条引用[sw08341]
  • 也可用于系统线性地给出隐性的表格,A(t,y)dy/dt。。。一般线性稀疏矩阵求解器系统出现了。另外两个使用迭代(预处理。。。这些线性的系统. 最近添加的是LSODIS,它解决了隐性的将军的问题。。。
  • nlmdl公司

  • 引用116篇文章[sw27811]
  • 序列相关。同时非线性系统,可能在隐性的形式上,它计算三级最小。。。选项,对于非线性动态系统,可能在隐性的形式,广义矩估计法。。。
  • 理柏

  • 参考61篇文章[sw15253]
  • 的控制和过滤问题系统概括地说(或隐性的或描述符)状态空间形式。。。直接处理相关噪声。两者兼而有之系统-理论平衡和沃德平衡。。。
  • 要塞

  • 引用16条[sw13026]
  • 静态检查类型系统,隐性的丰富的并行管理和工作窃取,可扩展。。。
  • 伏特加

  • 在194篇文章中引用[sw01005]
  • (刚性和非刚性)的数值解系统常微分方程。新的软件包。。。用于解决隐性的拟牛顿法方程组。在本文中。。。stiff的后向微分公式方法系统. 他们发现第一组表现更好。。。
  • 驼鹿

  • 引用28篇文章[sw18084]
  • 模拟工具。此外,系统解决了含蓄地完全耦合,采用基于物理的预处理。。。
  • S-岩石

  • 在38篇文章中引用[sw11792]
  • 大手柄系统无线性代数问题常遇到隐性的方法。数值结果。。。
  • CHEMSODE公司

  • 参考11篇文章[sw00124]
  • 系统既准确又高效。这些问题通常用隐性的数值方法。。。通常出现的僵硬。这个隐性的求解技术引入了大量的计算。。。求解非线性代数系统源于隐性的时间步进法。在本文中。。。
  • LiquidHaskell公司

  • 引用4篇文章[sw27633]
  • 评价。当检查表达式时,例如系统 含蓄地假设所有的自由变量。。。稳重精确,精致型系统对于Haskell和相应的验证条件必须。。。
  • 曼巴

  • 参考12篇文章[sw02154]
  • 一般数值任务含蓄地定义(由系统(欠定方程)子流形。。。
  • OPTYap公司

  • 引用13篇文章[sw13883]
  • 提供了巨大的潜力隐性的并行,从而允许并行系统经常减少程序。。。冗余子计算。我们的研究表明隐性的或者并行是逻辑的一个自然的适合。。。逻辑程序设计的并行表引擎系统. OPTYap建立在Yap高效的顺序序言。。。
  • VTK公司

  • 参考105篇文章[sw10593]
  • 开源、免费软件系统用于三维计算机图形、图像处理和可视化。。。方法;以及先进的建模技术,如:隐性的建模,多边形简化,网格平滑,切割,轮廓。。。
  • PMIRKDC公司

  • 引用32篇文章[sw06409]
  • MIRKDC包,它使用mono-隐性的缺陷控制算法中的龙格库塔格式。。。大,几乎块对角线(ABD)线性系统. PMIRKDC最显著的特点是。。。
  • VFC包

  • 引用16条[sw16729]
  • 隐性的模空间上的atlas,这(大体上)是一个方便的系统局部有限的。。。构造规范的一般内在策略隐性的伪模空间上的图集。。。
  • 一瞥

  • 引用9篇文章[sw23326]
  • 整个文件搜索系统. 一瞥,代表全球隐性的搜索,提供索引。。。
  • 亚波尔

  • 参考7篇文章【sw13882】
  • 这扩展了Yap的序言系统利用隐性的或者在Prolog程序中并行。。。与一个成熟的并行Prolog相比,它更为优越系统比如缪斯,两者都是。。。
  • 阿布德帕克

  • 在14篇文章中引用[sw01221]
  • 几乎分块双向系统产生于多种射击技术和隐性的龙格库塔方法。。。
  • 散文

  • 引用4篇文章[sw34023]
  • 同时变量数学的混合系统例如:隐性的非线性方程组系统,常微分。。。
  • IRKC公司

  • 引用了20篇文章[sw00452]
  • 用于时间整合系统扩散反应偏微分方程(PDE)。。。基于隐性的-显式Runge-Kutta-Chebyshev方法是无条件稳定的。。。通过利用隐性的术语,源于僵硬的反应。。。在空间网格点上。因此系统要解决的问题很小。。。
  • CCSTM公司

  • 在34篇文章中引用[sw33312]
  • 唯一同步原语系统. CCSTM将事务性读写表示为显式。。。参考类型。Scala灵活的方法名,隐性的参数和闭包保持语法简洁。。。