参数多项式方程组求解及其在机器证明中的应用

项目名称： 参数多项式方程组求解及其在机器证明中的应用

项目编号： No.10971217

项目类型： 面上项目

立项/批准年度： 2010

项目学科： 数理科学和化学

项目作者： 王定康

作者单位： 中国科学院数学与系统科学研究院

项目金额： 22万元

中文摘要： 参数多项式方程组求解问题是数学研究中的一个基本问题。科学研究和实际工程中产生的许多问题都可以转化为含参数的多项式方程组的求解问题，求解参数多项式方程组是解决这类问题的关键。该项目将研究含参数的多项式系统的相关理论；提出计算参数多项式系统的Groebner基和特征列的高效算法。 在此基础上，将它利用于几何定理的机器证明和几何关系的自动推导。

中文关键词： 参数；多项式；Groebner基；方程组；算法

英文摘要：

英文关键词： Parameter；Polynomial；Groebner Basis；System of Equations；Algorithm