• 纽顿利布

  • 引用290篇文章[sw04796]
  • 与相关仿射的密切联系不变量汇聚分析给出了部分算法。。。
  • 发现者

  • 在56篇文章中引用[sw07719]
  • 方向,包括SAS自身解决,终止分析不变量程序生成,可达性计算。。。
  • 盖尔达

  • 参考33篇文章[sw00331]
  • 任意索引不变量分析线性DAE就是所谓的。。。这首先决定了不变性然后将系统(1)转换成。。。
  • 盖奥

  • 引用92篇文章[sw04306]
  • 全球数值计算软件包分析动力学系统和优化问题的基础。。。用于计算不变量套,不变量歧管,不变量措施和不变量动态的集合。。。
  • 洛比夫

  • 引用了65篇文章[sw07928]
  • 分析基于结构不稳定延续的局部分叉不变量设置。。。合适的相参数空间。这个不变量我们研究中涉及的集合是平衡点。。。并对策略进行了探讨。它允许分析一般系统的各种奇点。。。
  • 因夫根

  • 引用15篇文章[sw09780]
  • 介绍了一种自动线性算法InvGen不变量命令程序的生成器。InvGen的独特功能。。。动态分析使不变量效率更高的发电量级。。。
  • 明流

  • 引用15篇文章[sw30456]
  • 湍流,到细节分析非线性的不变量解(平衡和周期轨道。。。
  • 根达

  • 引用15篇文章[sw04062]
  • 初始条件x(t0)=x0重要不变量分析所谓的。。。
  • SSF包

  • 引用66篇文章[sw09502]
  • 进行涉及统计的计算分析状态空间中的单变量和多变量模型。。。状态空间形式:从一个简单的时间-不变量一个复杂的时变模型。。。
  • 赛德

  • 引用了20篇文章[sw07076]
  • 呈现对称性分析(微分方程的)对称性的测定。。。非经典,Lie-Bäcklund和势对称性,不变量解,第一积分,两个离散的Nöther定理。。。
  • FunArray公司

  • 在14篇文章中引用[sw13708号]
  • 精度和性能分析通过在主库上运行它。。。能推断出成千上万的非平凡不变性并用适当的。。。知识这是第一次分析应用于这么大的代码。。。
  • 西曼

  • 引用9篇文章[sw01060]
  • 理论上和应用上的对称性都非常容易分析PDE的。这个想法是说明。。。波动方程u t=(uu x)x不变量或部分不变量在它的经典。。。
  • 瓦韦雷特

  • 引用3篇文章[sw33457]
  • rwavelet:小波分析.执行小波变换分析(正交,平移不变量张量,1-2-3d变换。。。
  • 坎迪斯/QA

  • 引用9篇文章[sw01219]
  • 定量分析呈现。处理了一类广泛的问题:计算不变量设置。。。演示定性分析的整个过程分析通过数字手段。一个说明性的例子分析。。。
  • 点网

  • 参考33篇文章【sw31209】
  • 点云和井尊重排列不变性输入中的点数。我们的网络。。。目前技术水平。理论上,我们提供分析了解什么是网络。。。
  • 提姆

  • 1条引用[sw27564]
  • 实用复杂度函数语言分析具有不变性.我们提出了TiML(Timed…constraint these index,来表达数据结构)不变性以及前/后条件。索引类型足够灵活。。。以任何方式帮助她的数据类型分析TiML的显著特点是高度支持。。。适用于非平凡数据结构的验证不变性提供程序员类型。。。
  • 基础知识

  • 参考7篇文章[sw09721]
  • 组合静态分析使用符号求和技术导出循环的程序不变量之间的关系。。。
  • 皮娜

  • 1条引用[sw13655]
  • 用于计算和分析属于不变性位置/过渡网络。。。
  • 退出

  • 1条引用[sw29333]
  • 部分正确性验证、终止任务分析不变量一代人。为此,我们表示。。。