[00047943]数学常数和基本初等函数的可信计算软件
技术详细介绍
基于区间算术理论和方法、技术、工具，对数学常数和初等函数进行可信计算，给出可信计算区间和误差上界，即使用区间算术给出数学常数（比如圆周率、欧拉常数、黄金数、自然对数的底、毕达哥拉斯常数等）在任意精度范围内的区间值，给出基本初等函数（比如三角函数、指数函数、根式函数、幂函数等）在任意精度范围内的区间值，保证计算结果包含真实值。为尽量缩小计算结果的区间宽度，设计相关算法改进计算结果。技术特点：此软件基于区间算术，具有误差可控的特点，且计算结果保证包含真实值。
