机译:数值抽象的弱关系形状:改进的算法和正确性证明
Department of Mathematics, University of Parma, Viale G.P. Usberti 53/A, 43100 Parma, Italy;
School of Computing, University of Leeds, Leeds LS2 9JT, England;
Department of Mathematics, University of Parma, Viale G.P. Usberti 53/A, 43100 Parma, Italy;
abstract interpretation; numerical domains; widening operators; closure by entailment; elimination of redundant constraints; UTVPI constraints;
机译:数值算法的随机形式正确性的改进界
机译:一种算法的正确性证明,提高了SEIDEL方法的收敛速率的估计
机译:形状记忆合金马氏体相变的改进积分算法数值模拟
机译:用定理证明自动微分算法的数值分析正确性证明
机译:动力学动力学数值算法研究以及成形对等离子体湍流的影响。
机译:PyCogent中结构生物信息学的抽象算法和数据结构
机译:数值抽象的弱关系形状:改进的算法和正确性证明