自动发现不等式型定理的一个完备算法  

作　　者：杨路[1] 侯晓荣[1] 夏壁灿[2] 

机构地区：[1]中国科学院成都计算机应用研究所,成都610041 [2]北京大学数学科学学院,北京100871

出　　处：《中国科学（E辑）》2001年第3期273-288,共16页Science in China(Series E)

基　　金：国家重点基础研究发展规划项目(批准号 :G19980 30 6 0 2 );中国科学院"九五"重点基础研究项目

摘　　要：利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法 ,给出了能自动发现不等式的一个实用算法 .该算法无须事先对结果做任何形式的猜测 ,而能全自动地发现新不等式 .该算法对一大类不等式型定理是完备的 ,而且可用于几何约束问题的实解分类 .在Maple下 。

关 键 词：判别式序列 WR算法 吴消元法 柱形代数分解 自动发现不等式型定理 

分 类 号：O175[理学—数学]