项目简介
项目名称
参数多项式方程组求解及其在机器证明中的应用
项目批准号
10971217
学科分类
A011504
数理科学部
_数学
_数理逻辑和与计算机相关的数学
_机器证明
资助类型
数理科学
负责人
王定康
依托单位
中国科学院数学与系统科学研究院
批准年份
2009
起止时间
201001-201212
批准金额
22.00万元
摘要
参数多项式方程组求解问题是数学研究中的一个基本问题。科学研究和实际工程中产生的许多问题都可以转化为含参数的多项式方程组的求解问题，求解参数多项式方程组是解决这类问题的关键。该项目将研究含参数的多项式系统的相关理论；提出计算参数多项式系统的Groebner基和特征列的高效算法。 在此基础上，将它利用于几何定理的机器证明和几何关系的自动推导。
评论区 (0)
#插入话题
