机译:椭圆PDES系统的数值验证方法及其软件库
Verified numerical computationpartial differential equationcomputer-assisted proof;
机译:Parma Polyhedra库:寻求一套完整的数值抽象,以分析和验证硬件和软件系统
机译:数值相对论的初始条件:求解椭圆pdes的数值方法简介
机译:弗里德里希系统的不连续Galerkin方法。第二部分二阶椭圆形PDES
机译:使用H_Σ〜1标准的数值验证方法,用于Fitzhugh-nagumo型椭圆系统
机译:求解线性椭圆PDE的数值方法:直接求解器和高阶准确的离散化
机译:嵌入式系统中分数微积分数值方法的优化
机译:椭圆PDES系统的数值验证方法及其软件库