MPFI公司

此软件的关键字
zbMATH中的参考文献(参考
40篇文章
Bouzidi,Yacine;Rouillier,Fabrice:求解代数方程组的符号方法及其在结构稳定性测试中的应用(2020) Bouzidi,Yacine;Quadra,Alban;Rouillier,Fabrice:离散多维系统结构稳定性的认证非保守测试(2019年) Gómez Serrano,Javier:PDE中的计算机辅助证明:调查(2019) Bahsoun,Wael;Galatolo,Stefano;Nisoli,Isaia;Niu,Xialong:线性响应的严格计算方法(2018) Cable,Jacob;Sü223;,Hendrik:Gorenstein del Pezzo曲面上Kähler-Ricci孤子的分类(2018) Caluza Machado,Fabricio;de Oliveira Filho,Fernando Mário:利用多项式对称性改进吻数的半定规划界(2018) 菲格拉斯,乔迪·洛伊斯;哈罗,亚历克斯;卢克,亚历山德罗:关于吕斯曼估计的敏锐性(2018年) 让·米歇尔·穆勒;尼古拉斯·布鲁尼;弗洛伦特·迪纳钦;克劳德·皮埃尔·詹诺德;米奥拉·乔尔德;文森特·莱夫尔;纪尧姆·梅尔奎恩;纳撒利·雷沃;谢尔盖·托雷斯:《浮点运算手册》(2018年) Cordero,Alicia;Hueso,JoséL;Martínez,Eulalia;Torregrosa,Juan R.:使用类Padé逼近的非线性方程多步高阶方法(2017) Dostert,Maria;Guzmán,Cristóbal;de Oliveira Filho,Fernando Mário;Vallenton,Frank:四面体对称三维凸体平移填充密度的新上限(2017) 《现代计算机应用》(A-Kamguel,2017);计算机辅助方法 Imbach,Rémi;Moroz,Guillaume;Pouget,Marc:结果曲线和判别曲线拓扑的认证数值算法(2017) Beliakov,Gleb;Matiyasevich,Yuri:使用任意精度算法计算行列式和子式的并行算法(2016) Platt,D.J.;Trudgian,T.S.:关于(\theta(x)-x)的第一个符号变化(2016年) Rusu,David;Santoprite,Manuele:等质量四体问题中中心构型的分叉(2016) 普拉特,大卫J.:计算(\pi(x))分析(2015) Platt,D.J.;Trudgian,T.S.:Linnik对Goldbach猜想的近似,以及其他问题(2015) Andreu,Carlos;Cambil,Noelia;Cordero,Alicia;Torregrosa,Juan R.:人造卫星的初步轨道确定:矢量六阶法(2013) Cordero,Alicia;Torregrosa,Juan R.;Vassileva,María P.:用于求解非线性系统的高效预测-校正方法(2012) De Maesschalck,Peter;Popović,Nikola:标量反应扩散方程族中渐近临界波速的Gevrey特性(2012)