LIP, CNRS UMR 5668, ENS de Lyon, INRIA Grenoble - Rhone-Alpes, UCBL, Arenaire, Lyon, F-69364;
CAPA, Dpt. of Mathematics, Uppsala Univ., Box S-524, 75120, Uppsala, Sweden;
LIP, CNRS UMR 5668, ENS de Lyon, INRIA Grenoble - Rhone-Alpes, UCBL, Arenaire, Lyon, F-69364;
LIP, CNRS UMR 5668, ENS de Lyon, INRIA Grenoble - Rhone-Alpes, UCBL, Arenaire, Lyon, F-69364,LIPN, UMR 7030, Universite Paris 13, LCR, Villetaneuse, F-93430;
LIP, CNRS UMR 5668, ENS de Lyon, INRIA Grenoble - Rhone-Alpes, UCBL, Arenaire, Lyon, F-69364;
LIP, CNRS UMR 5668, ENS de Lyon, INRIA Grenoble - Rhone-Alpes, UCBL, Arenaire, Lyon, F-69364;
Marelle, INRIA Sophia Antipolis - Mediterranee, Sophia Antipolis, F-06902;
Marelle, INRIA Sophia Antipolis - Mediterranee, Sophia Antipolis, F-06902;
certified error bounds; taylor models; coq proof assistant; rigorous polynomial approximation;
机译:多项式和泰勒近似
机译:具有典范低秩逼近的多项式元模型:数值分析和稀疏多项式混沌展开式的比较
机译:带有严格计算机辅助误差范围的(不稳定)流形一个参数族的多项式逼近
机译:使用泰勒模型在COQ中的严格多项式近似
机译:使用高阶泰勒模型进行严格的数值分析。
机译:建模的多项式混沌逼近分析 多孔介质系统中的单相流
机译:使用Coq中的Taylor模型进行严格的多项式逼近
机译:与Hermite-pade相关的多项式与指数函数的近似.211建模,分析和模拟