基于区间分析的不等式自动证明,侯晓荣,邵俊伟,本文提出了一种基于区间分析的不等式自动证明方法,这一方法可以处理类型较为一般的不等式,只需对应的函数具有所需的高阶连续可