MPFI公司

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