MPFI公司

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


zbMATH中的参考文献(参考文献41条)

显示第1到第20个结果,共41个。
按年份排序(引用)
  1. 布兹迪,亚辛;Rouillier,Fabrice:求解代数方程组的符号方法及其在结构稳定性测试中的应用(2020)
  2. 加拉托罗,斯特凡诺;毛里齐奥蒙格;Nisoli,Isaia:噪声诱导序的存在性,计算机辅助证明(2020)
  3. 布兹迪,亚辛;样方,阿尔班;Rouillier,Fabrice:离散多维系统结构稳定性的认证非保守测试(2019)
  4. Gómez Serrano,Javier:PDE中的计算机辅助证明:调查(2019)
  5. 巴顺,瓦尔;加拉托罗,斯特凡诺;尼索利,伊萨亚;牛小龙:线性响应的严格计算方法(2018)
  6. 电缆,雅各布;Sü223,Hendrik:关于Gorenstein del Pezzo曲面上Käler-Ricci孤子的分类(2018)
  7. 卡鲁扎·马查多,法布里西奥;de Oliveira Filho,Fernando Mário:利用多项式对称性改进吻数的半定规划界(2018)
  8. 菲格拉斯,乔迪·洛伊斯;哈罗,亚历克斯;卢克,亚历杭德罗:关于吕斯曼估计的敏锐性(2018)
  9. 穆勒,让·米歇尔;布鲁尼,尼古拉斯;德迪尼琴,弗洛伦特;珍妮罗德,克劳德·皮埃尔;约尔德,米奥拉;列弗,文森特;梅尔奎恩,纪尧姆;雷沃,娜塔莉;托雷斯,谢尔盖:浮点运算手册(2018)
  10. 科德罗,艾丽西亚;休索,何塞。;玛蒂内斯,尤拉利亚;Torregrosa,Juan R.:使用类Padé逼近的非线性方程的多步高阶方法(2017)
  11. 多斯特,玛丽亚;古兹曼,克里斯托巴尔;德奥利维拉费略,费尔南多·马里奥;Vallenton,Frank:四面体对称三维凸体平移填充密度的新上限(2017)
  12. 费格拉斯,J.-Ll。;哈罗,A。;Luque,A.:KAM理论的严格计算机辅助应用:现代方法(2017)
  13. 伊巴奇,雷米;莫罗兹,纪尧姆;Pouget,Marc:结果曲线和判别曲线拓扑的认证数值算法(2017)
  14. 贝里亚科夫,格雷布;Matiyasevich,Yuri:使用任意精度算法计算行列式和子式的并行算法(2016)
  15. 普拉特,D.J。;Trudgian,T.S.:关于(\theta(x)-x)(2016)的第一个符号变化
  16. 鲁苏,大卫;Santoprite,Manuele:等质量四体问题中中心构型的分叉(2016)
  17. 普拉特,大卫J.:计算(\pi(x))分析(2015)
  18. 普拉特,D.J。;特鲁吉安,T.S.:林尼克对哥德巴赫猜想的逼近,以及其他问题(2015)
  19. 安德烈,卡洛斯;坎比尔,诺莉亚;科德罗,艾丽西亚;Torregrosa,Juan R.:人造卫星的初步轨道确定:矢量六阶法(2013)
  20. 科德罗,艾丽西亚;托雷格罗萨,胡安R。;Vassileva,María P.:求解非线性系统的高效预测校正方法(2012)