• SYM公司

  • 参考58篇文章[sw07756]
  • 手柄系统任意微分方程组秩序以及变量至少。。。
  • 伏特加

  • 引用191篇文章[sw01005]
  • 沃德:A变量-ODE系数求解器。本文是关于这方面的发展。。。(刚性和非刚性)的数值解系统常微分方程。新的软件包。。。初始步长和步长以及秩序使用更改。而且,在僵硬的。。。满的变量stiff的系数型后向微分公式法系统. 他们发现。。。
  • GPOPS公司

  • 引用71篇文章[sw05853]
  • 系统由微分代数方程定义)。GPOPS-II实现了变量-秩序...
  • CVODE公司

  • 引用54篇文章[sw04947]
  • 刚性非刚性常微分方程系统(初值问题)以显式形式给出。。。CVODE中使用的方法有变量-秩序,变量-分步多步方法。对于非刚性问题,CVODE。。。包括亚当斯-莫尔顿公式,以及秩序在1到12之间变化。对于僵硬的。。。秩序在1到5之间变化。对于任何一个公式的选择,结果都是非线性的系统...
  • 坎特普

  • 引用18条[sw00482]
  • 从角度看变量到a系统第二次-秩序常微分方程包含。。。
  • 凯玛拉

  • 引用了40篇文章[sw03709]
  • 混合的系统. keymera支持微分动态逻辑,这是一个实值优先-秩序动态。。。免费-变量分解混合模型的顺序演算和自动证明策略系统象征性地说明。。。
  • FORS公司

  • 引用15篇文章[sw04848号]
  • 在真实价值中变量. 第一个项目命令回归系统)是一个实现。。。
  • 咕噜声

  • 引用8篇文章[sw05465]
  • 第一者的关系秩序具有变量系数;(c)系统与…的线性递归关系。。。有限元的一些非线性递推关系秩序(e)无穷大的线性递推关系。。。
  • 韦诺

  • 引用51篇文章[sw12694]
  • 本文我们开发了一个确定性高秩序精确的有限差分WENO求解器。。。一维Boltzmann-Poisson解系统半导体器件。我们跟着工作。。。系统在球坐标系中系统用能量作为坐标之一变量... 稳态装置。秩序求解器的精度和非振荡特性允许。。。
  • 诺莫尔

  • 参考22篇文章[sw07094]
  • 其他已知系统. 从核心开始系统只是为命题课程设计的,我们有。。。作为一个地滚球秩序处理变量. 此外,我们还包括。。。
  • 新鲜的

  • 引用49篇文章[sw08992]
  • 通过匹配模式命名边界解构变量明确地。这可能有计算效果。。。类型系统为中的表达式推断有关名称“新鲜度”的信息秩序驯服。。。
  • 柔性线路板

  • 引用57篇文章[sw12218]
  • 一个不确定问题的稀疏解的恢复系统线性方程组的Ax=b。算法。。。反复。第一阶段a第一阶段-秩序迭代“收缩”法得出一个估计。。。最佳解决方案。限制决定权变量x到这个子集并修复他们的标志。。。
  • 去溶

  • 引用49篇文章[sw04499]
  • a的初值问题系统第一次-秩序常微分方程,偏微分方程。。。带固定或变量时间步长。这个程序包包含设计的例程。。。
  • 兔子

  • 引用24篇文章[sw01317]
  • 模型实时检测工具系统. 建模语言是时间自动机的扩展。。。使用数据结构BDD。很好变量 订购因为BDD是从。。。
  • 阿兹特克

  • 引用了83篇文章[sw12817]
  • 中的例程或前置条件秩序求解线性方程系统. 阿兹特克图书馆是写。。。用户可以输入线性系统在一个简单的格式和阿兹特克将执行。。。格式;b)块条目变量块行(VBR)格式。这两种格式已经。。。
  • 潮汐

  • 引用25篇文章[SW064号文件]
  • 使用优化的变量-步长变量-秩序配方。这个软件,由A.Abad开发。。。当需要时)颂歌的解决方案系统. 软件已经完成。。。
  • 阿苏卡尔

  • 引用5篇文章[sw10083]
  • 契约秩序编码,每个整数变量用数字表示系统基地的。。。每个数字都使用秩序编码。阿苏卡尔是。。。
  • 进程

  • 参考11篇文章[sw10191]
  • 从fast变量匹配和更多涉及重写,以完整的第一-秩序定理证明使用。。。介子战术。这个系统并对其性能进行了评价。。。
  • 贝德维尔

  • 引用21篇文章[sw09460]
  • 可能包含绑定的语法表达式。这个系统,用OCaml编写,是一个直接实现。。。操作语义学。第二个更高-秩序抽象语法是直接支持使用术语。。。允许直接对包含边界的表达式进行推理变量...
  • Mcmt公司

  • 引用19篇文章[sw11911]
  • 无限态的性质系统谁的州变量是数组。理论规定了属性。。。a的跃迁系统先用量化来描述-秩序公式。核心。。。