摘要
阐述了一个基于胞腔分解的不等式证明算法 .据此算法编制的Maple通用程序能有效地处理含有根式的不等式型定理 ,对于Bottema等所著《几何不等式》一书中的大部分不等式定理的验证尤其高效 .
An automated inequality-proving algorithm is presented based on a mixed method including a so-called cell-decomposition. That is implemented by a Maple program named BOTTE-MA which can prove or disprove propositions in an extensive class of geometric and algebraic inequalities involving radicals. Most of the theorems in Geometric Inequalities written by Bottema et al., can be proven efficiently in this way.
出处
《计算机学报》
EI
CSCD
北大核心
2003年第7期769-778,共10页
Chinese Journal of Computers
基金
国家"九七三"重点基础研究发展规划项目 (NKBRSF G19980 3 0 60 2 )
中国科学院知识创新工程基金资助
