不等式机器证明的降维算法与通用程序

摘要：

提出了降维算法,它能有效地处理带参数的根式,将维数控制在最小限度.据此编成的通用程序已在PC机上验证了400多个具有相当难度的代数和几何的不等式,对Bottema的<几何不等式>一书中120个基本不等式的验证仅用时20几秒.

关键词：降维算法、左(右)多项式、结式、临界曲面、判别曲面

所属期刊栏目：8

分类号：TP3(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页码：20-25