%0 Journal Article
%T Automatic Inequality Proving Based on Interval Analysis<br>基于区间分析的不等式自动证明
%A HOU Xiaorong
%A SHAO Junwei
%A <br>侯晓荣
%A 邵俊伟
%J 系统科学与数学
%D 2010
%I 
%X 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.
%K Interval analysis
%K inequality
%K automatic proving<br>区间分析
%K 不等式
%K 自动证明.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=6E709DC38FA1D09A4B578DD0906875B5B44D4D294832BB8E&cid=37F46C35E03B4B86&jid=0CD45CC5E994895A7F41A783D4235EC2&aid=9BAA184EAE2365DA20F7DD3ABCBCBCF5&yid=140ECF96957D60B2&vid=F3090AE9B60B7ED1&iid=F3090AE9B60B7ED1&sid=79DED9EDFE509D22&eid=FD56DFE2BC7CF81F&journal_id=1000-0577&journal_name=系统科学与数学&referenced_num=0&reference_num=0