Automatic Inequality Proving Based on Interval Analysis
基于区间分析的不等式自动证明

A method based on interval analysis to automatically prove inequalities is proposed. This method can be applied to more general types of inequalities, which only need to be continuously differentiable to required order, whereas traditional methods of automatic inequality proving generally process algebraic inequalities or inequalities that can be ultimately converted to algebraic types. Simulation examples show that this method can solve some difficult problems that other approaches can not tackle.