作　　者： ;

机构地区： 中国科学院成都计算机应用研究所

出　　处： 《高技术通讯》 1998年第7期20-25,共6页

摘　　要： 提出了降维算法，它能有效地处理带参数的根式，将维数控制在最小限度。据此编成的通用程序已在ＰＣ机上验证了４００多个具有相当难度的代数和几何的不等式，对Ｂｏｔｅｍａ的《几何不等式》一书中１２０个基本不等式的验证仅用时２０几秒。 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 Bottemas monograph, GEOMETRIC INEQUALITIES, was 20 odd seconds only.

关 键 词： 降维算法 结式 临界曲面 判别曲面 机器证明

领　　域： [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术] [自动化与计算机技术]