马戏团.Circus是精炼; 它是命令的统一...精炼微积分.我们描述马戏团的语言和形式化的模式...
 与因子分解分开.工作精度迭代精炼提供子程序以提高后向稳定性...错误,并估计精炼 的解决...
 自然演绎风格.它支持精炼作为基本操作的证明.系统设计强调...
 调用日志期望分数,然后精炼使用依赖树的受限分区.速度...每一组的准确度.没有精炼肌肉的平均准确度在统计学上与...
 用光谱方法,然后提炼通过迭代应用新的...
 自适应网格精炼在双曲方程组中使用波传播算法.作者提出了一个概括...自适应网格精炼气体动力学欧拉方程组的高精度算法...
 多个右侧,迭代精炼以及误差分析.代码是写的...
 基于当地的自然等级精炼 的网格和抽象概念的一般...
 提供有效支持的事件B精炼数学和数学证明.平台是开放的...
 通过迭代抽象实现精确性和可伸缩性精炼方法论.本文介绍了其核心原理...使用模拟和抽象的规范一致性精炼. 将反例视为模拟中的制胜策略...描述一个算法,其中抽象精炼 的在多重制胜策略的基础上...精炼过程被反复迭代,直到符合规范...
 还包含模型检查器和精炼检查器,两者都可以用...
 闪光灯
 引用63篇文章[sw17500]
 允许使用自适应网格精炼. 它还包含状态...
 Getfem公司++
 引用了60篇文章[sw05721]
 计算规范,网格操作(包括自动精炼),边界条件,后处理等.无数...
 阿莫斯
 引用了60篇文章[sw06515]
 让您轻松比较,确认和精炼模型.使用贝叶斯分析来改进估计...
 琼博
 参考58篇文章[sw04316]
 块结构自适应偏微分方程精炼 的矩形网格.椭圆和时间相关的...
 数学卫星
 不满意的核心和Craig插入式(用于抽象精炼...
 FDR2是精炼建立用CSP表示的模型属性的检查器.无证...
 正在开发状态(EOS)模块,以及精炼 的在艰难的框架中实现的过程描述...
 三角形和四面体网格的情况,局部精炼(包括并联).一般元素转换,允许...单元问题生成器,支持并行局部精炼平行曲线网格,以及...
 进入霍尔.DAZ工具配套精炼从Z到火花子集...