• 马戏团

  • 引用89篇文章[sw21828]
  • 马戏团。Circus是精炼; 它是命令的统一。。。精炼微积分。我们描述马戏团的语言和形式化的模式。。。
  • SuperLU距离

  • 引用87篇文章[sw00002]
  • 与因子分解分开。工作精度迭代精炼提供子程序以提高后向稳定性。。。错误,并估计精炼 的解决。。。
  • 乐高

  • 引用107篇文章[sw09685]
  • 自然演绎风格。它支持精炼作为基本操作的证明。系统设计强调。。。
  • 肌肉

  • 引用73篇文章[sw13193]
  • 调用日志期望分数,然后精炼使用依赖树的受限分区。速度。。。每一组的准确度。没有精炼肌肉的平均准确度在统计学上与。。。
  • AMRCLAW公司

  • 引用了65篇文章[sw15478]
  • 自适应网格精炼在双曲方程组中使用波传播算法。作者提出了一个概括。。。自适应网格精炼气体动力学欧拉方程组的高精度算法。。。
  • 马57

  • 引用88篇[sw00536]
  • 多个右侧,迭代精炼以及误差分析。代码是写的。。。
  • 艾伯特

  • 引用82篇文章[sw00025]
  • 基于当地的自然等级精炼 的网格和抽象概念的一般。。。
  • 罗丹

  • 引用82篇文章[sw07083]
  • 提供有效支持的事件B精炼数学和数学证明。平台是开放的。。。
  • 魔术

  • 在38篇文章中引用[sw14159]
  • 通过迭代抽象实现精确性和可伸缩性精炼方法论。本文介绍了其核心原理。。。使用模拟和抽象的规范一致性精炼. 将反例视为模拟中的制胜策略。。。描述一个算法,其中抽象精炼 的在多重制胜策略的基础上。。。精炼过程被反复迭代,直到符合规范。。。
  • 探针

  • 引用63篇文章[sw07084]
  • 还包含模型检查器和精炼检查器,两者都可以用。。。
  • 闪光灯

  • 引用63篇文章[sw17500]
  • 允许使用自适应网格精炼. 它还包含状态。。。
  • Getfem公司++

  • 引用了60篇文章[sw05721]
  • 计算规范,网格操作(包括自动精炼)、边界条件、后处理等。无数。。。
  • 阿莫斯

  • 引用了60篇文章[sw06515]
  • 让您轻松比较、确认和精炼模型。使用贝叶斯分析来改进估计。。。
  • 琼博

  • 参考58篇文章[sw04316]
  • 块结构自适应偏微分方程精炼 的矩形网格。椭圆和时间相关的。。。
  • FDR2型

  • 参考58篇文章[sw11466号]
  • FDR2是精炼建立用CSP表示的模型属性的检查器。无证。。。
  • 强硬的

  • 参考58篇文章[sw20313]
  • 正在开发状态(EOS)模块,以及精炼 的在艰难的框架中实现的过程描述。。。
  • MFEM公司

  • 引用41篇文章[sw09043]
  • 三角形和四面体网格的情况,局部精炼(包括并联)。一般元素转换,允许。。。单元问题生成器,支持并行局部精炼平行曲线网格,以及。。。
  • 证明力

  • 引用57篇文章[sw06339]
  • 进入霍尔。DAZ工具配套精炼从Z到火花子集。。。