机译:形式化网络流算法:Isabelle / HOL中的改进方法
机译:用于在单位单纯形精炼中计算最小二叉树大小的并行算法
机译:泰勒多项式逐步细化算法的局部微分方程的谎言和高对称性
机译:逐步细化的增量单纯形算法形式化
机译:1830-1985年在美国和英国的铁轨上进行国家干预:建立先进资本主义(民族化,马克思主义,管制,制度主义,政策)的增量和逐步统计理论。
机译:具有形式化交叉算子的生物启发遗传算法在机器人应用中的应用
机译:使用TLC模型检查器在TLA +中正式化设计模式的逐步改进验证。
机译:使用逐步细化开发共识算法