MPFI公司

任意精度区间算法和MPFI库的动机。本文证明了为什么需要一个任意精度的区间算法。为了提供准确的结果,区间计算需要较小的输入间隔;这解释了为什么在区间算法中经常使用二分法。MPFI库就是为了满足这一需求而建立的。实际上,没有一个现有的库满足所需的规范。简要介绍了该库的主要特点,并就具体问题与固定精度区间算法进行了比较。结果表明,由多重精度引起的开销是完全可以接受的。最后给出了基于MPFI的一些应用:机器人技术、多项式实根的分离(采用符号和数值计算相结合的算法)和任意精度的实根逼近。


zbMATH参考文献(38篇文章引用)

显示结果1到20,共38个。
按年份排序(引用)
  1. Bouzidi,Yacine;Quadra,Alban;Rouillier,Fabrice:离散多维系统结构稳定性的认证非保守测试(2019年)
  2. Gómez Serrano,Javier:PDE中的计算机辅助证明:调查(2019)
  3. Bahsoun,Wael;Galatolo,Stefano;Nisoli,Isaia;Niu,Xialong:线性响应的严格计算方法(2018)
  4. Cable,Jacob;Sü223;,Hendrik:Gorenstein del Pezzo曲面上Kähler-Ricci孤子的分类(2018)
  5. Caluza Machado,Fabricio;de Oliveira Filho,Fernando Mário:利用多项式对称性改进吻数的半定规划界(2018)
  6. 让·米歇尔·穆勒;尼古拉斯·布鲁尼;弗洛伦特·迪纳钦;克劳德·皮埃尔·詹诺德;米奥拉·乔尔德;文森特·莱夫尔;纪尧姆·梅尔奎恩;纳撒利·雷沃;谢尔盖·托雷斯:《浮点运算手册》(2018年)
  7. Cordero,Alicia;Hueso,JoséL;Martínez,Eulalia;Torregrosa,Juan R.:使用类Padé逼近的非线性方程多步高阶方法(2017)
  8. Dostert,Maria;Guzmán,Cristóbal;de Oliveira Filho,Fernando Mário;Vallenton,Frank:四面体对称三维凸体平移填充密度的新上限(2017)
  9. Figueras,J.-Ll.;Haro,A.;Luque,A.:KAM理论的严格计算机辅助应用:现代方法(2017)
  10. Imbach,Rémi;Moroz,Guillaume;Pouget,Marc:结果曲线和判别曲线拓扑的认证数值算法(2017)
  11. Beliakov,Gleb;Matiyasevich,Yuri:使用任意精度算法计算行列式和子式的并行算法(2016)
  12. Platt,D.J.;Trudgian,T.S.:关于(\theta(x)-x)的第一个符号变化(2016年)
  13. Rusu,David;Santoprite,Manuele:等质量四体问题中中心构型的分叉(2016)
  14. 普拉特,大卫J.:计算(\pi(x))分析(2015)
  15. Platt,D.J.;Trudgian,T.S.:Linnik对Goldbach猜想的近似,以及其他问题(2015)
  16. Andreu,Carlos;Cambil,Noelia;Cordero,Alicia;Torregrosa,Juan R.:人造卫星的初步轨道确定:矢量六阶法(2013)
  17. Cordero,Alicia;Torregrosa,Juan R.;Vassileva,María P.:用于求解非线性系统的高效预测-校正方法(2012)
  18. De Maesschalck,Peter;Popović,Nikola:标量反应扩散方程族中渐近临界波速的Gevrey特性(2012)
  19. Krämer,Walter:C-XSC中的多/任意精度区间计算(2012)
  20. Spandl,Christoph:区间上迭代映射的计算复杂性(2012)