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

• 作者: 杨路
• 来源期刊: 高技术通讯
• 学科: 工学
• 关键词: 降维算法 左(右)多项式 结式 临界曲面 判别曲面
• 年，卷（期）: 1998,（7）
• 所属期刊栏目: 研究通讯
• 页码范围: 20-25
• 分类号: TP3
• 语种: 中文
• DOI: 10.3321/j.issn:1002-0470.1998.07.005

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨路	中国科学院成都计算机应用研究所	17	225	7.0	15.0