Certified error bounds; Taylor models; Coq proof assistant; Rigorous polynomial approximation;
机译:多项式和泰勒近似
机译:具有典范低秩逼近的多项式元模型:数值分析和稀疏多项式混沌展开式的比较
机译:带有严格计算机辅助误差范围的(不稳定)流形一个参数族的多项式逼近
机译:使用CoQ中的Taylor模型进行严格的多项式逼近
机译:使用高阶泰勒模型进行严格的数值分析。
机译:建模的多项式混沌逼近分析 多孔介质系统中的单相流
机译:使用Coq中的Taylor模型进行严格的多项式逼近
机译:与Hermite-pade相关的多项式与指数函数的近似.211建模,分析和模拟