|
|||||
|
|
| 自动发现不等式型定理的一个完备算法 | |
| 引用本文： | 杨路,侯晓荣,夏壁灿.自动发现不等式型定理的一个完备算法[J].中国科学(E辑),2001,31(3):273-288. |
| 作者姓名： | 杨路 侯晓荣 夏壁灿 |
| 作者单位： | 杨路（中国科学院成都计算机应用研究所,成都 610041） 侯晓荣（中国科学院成都计算机应用研究所,成都 610041） 夏壁灿（北京大学数学科学学院,北京 100871） |
| 基金项目： | 国家重点基础研究发展规划项目(批准号:G1998030602)和中国科学院"九五”重点基础研究项目 |
| 摘 要： | 利用多项式的判别式序列、WR算法、吴消元法及部分的柱形代数分解算法,给出了能自动发现不等式的一个实用算法.该算法无须事先对结果做任何形式的猜测,而能全自动地发现新不等式.该算法对一大类不等式型定理是完备的,而且可用于几何约束问题的实解分类.在Maple下,据之编写的程序DISCOVERER已发现了许多不同背景的不等式型定理. |
| 关 键 词： | 判别式序列 WR算法 吴消元法 柱形代数分解 |
| 修稿时间： | 2000年4月24日 |