摘要
提出了降维算法，它能有效地处理带参数的根式，将维数控制在最小限度。据此编成的通用程序已在ＰＣ机上验证了４００多个具有相当难度的代数和几何的不等式，对Ｂｏｔｅｍａ的《几何不等式》一书中１２０个基本不等式的验证仅用时２０几秒。
A dimension decreasing algorithm, which can treat radicals efficiently and make the dimensions lowest, is presented. Based on this algorithm, a generic program was implemented on a PC computer. More than 400 algebraic and geometric inequalities somewhat difficult have been verified in this way. The total CPU time spent for proving 120 basic inequalities from Bottemas monograph, GEOMETRIC INEQUALITIES, was 20 odd seconds only.
出处
《高技术通讯》
EI
CAS
CSCD
1998年第7期20-25,共6页
Chinese High Technology Letters
基金
863计划
攀登计划资助项目
关键词
降维算法
结式
临界曲面
判别曲面
机器证明
Dimension decreasing algorithm, Left/right polynomial, Resultant, Critical surface, Discriminant surface
