中国科学院数学与系统科学研究院期刊网
基于区间分析的不等式自动证明
侯晓荣;邵俊伟
Automatic Inequality Proving Based on Interval Analysis
HOU Xiaorong;SHAO Junwei
系统科学与数学 . 2010, (10): 1351 -1358 .  DOI: 10.12341/jssms09273