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

项目编号: No.10971217

项目类型: 面上项目

立项/批准年度: 2010

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

项目作者: 王定康

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

项目金额: 22万元

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

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

英文摘要:

英文关键词: Parameter;Polynomial;Groebner Basis;System of Equations;Algorithm

成为VIP会员查看完整内容
0

相关内容

NeurIPS 2021 | 用简单的梯度下降算法逃离鞍点
专知会员服务
23+阅读 · 2021年12月6日
【博士论文】基于冲量的加速优化算法
专知会员服务
24+阅读 · 2021年11月29日
【NeurIPS 2021】设置多智能体策略梯度的方差
专知会员服务
19+阅读 · 2021年10月24日
【开放书】《矩阵流形优化算法》,241页pdf
专知会员服务
92+阅读 · 2021年7月3日
专知会员服务
30+阅读 · 2021年6月24日
专知会员服务
22+阅读 · 2021年4月21日
【NeurIPS 2020】近似推断进展,272页ppt
专知会员服务
32+阅读 · 2020年12月11日
【Google】梯度下降,48页ppt
专知会员服务
78+阅读 · 2020年12月5日
专知会员服务
41+阅读 · 2020年7月29日
【博士论文】分形计算系统
专知
2+阅读 · 2021年12月9日
从浅层模型到深度模型:概览机器学习优化算法
机器之心
23+阅读 · 2017年7月9日
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
2+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2008年12月31日
Arxiv
0+阅读 · 2022年4月20日
Arxiv
0+阅读 · 2022年4月19日
小贴士
相关主题
相关VIP内容
NeurIPS 2021 | 用简单的梯度下降算法逃离鞍点
专知会员服务
23+阅读 · 2021年12月6日
【博士论文】基于冲量的加速优化算法
专知会员服务
24+阅读 · 2021年11月29日
【NeurIPS 2021】设置多智能体策略梯度的方差
专知会员服务
19+阅读 · 2021年10月24日
【开放书】《矩阵流形优化算法》,241页pdf
专知会员服务
92+阅读 · 2021年7月3日
专知会员服务
30+阅读 · 2021年6月24日
专知会员服务
22+阅读 · 2021年4月21日
【NeurIPS 2020】近似推断进展,272页ppt
专知会员服务
32+阅读 · 2020年12月11日
【Google】梯度下降,48页ppt
专知会员服务
78+阅读 · 2020年12月5日
专知会员服务
41+阅读 · 2020年7月29日
相关基金
国家自然科学基金
1+阅读 · 2014年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2013年12月31日
国家自然科学基金
0+阅读 · 2012年12月31日
国家自然科学基金
2+阅读 · 2012年12月31日
国家自然科学基金
0+阅读 · 2011年12月31日
国家自然科学基金
1+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2009年12月31日
国家自然科学基金
0+阅读 · 2008年12月31日
微信扫码咨询专知VIP会员