基于几何代数符号计算的几何分解
基本信息
批准号：10471143
项目类别：面上项目
资助金额：15.00
负责人：李洪波
学科分类：
依托单位：中国科学院数学与系统科学研究院
批准年份：2004
结题年份：2007
起止时间：2005-01-01 - 2007-12-31
项目状态： 已结题
项目参与者：赵丽娜,陈颖,曹南斌,孙维昆,曹丽娜,张宁,徐荣华,王全,黄雷
关键词：
几何分解几何代数机器证明数学机械化符号计算
结项摘要
在几何定理机器证明中, 使用几何不变量可以简化代数表示并导致代数处理的简化, 从而提高机器证明的效率和效果. 几何代数是最重要的一类由几何不变量组成的代数系统. 在代数处理中, 一个突出的困难是分解出真正表示几何原问题的代数成分, 称为几何分解. 在某种意义上, 机器证明是几何分解的特例, 后者的重要性超出机器证明本身...本项目的主要内容是研究基于几何代数符号计算的几何分解. 在理论方面, 研究高维Clifford括号代数, 利用结式研究基于重写规则的代数分解. 在应用方面, 利用几何分解研究几何定理机器证明, 机器人的运动学和反运动学问题, 和基于不变量的景物欧氏重建. Clifford括号代数和几何分解是目前几何定理机器证明领域最前沿的内容之一, 对机器证明的理论和高科技应用有重大意义.
项目摘要
项目成果
{{index+1}}
{{i.achievement_title}}
{{i.achievement_title}}
DOI：{{i.doi}}
发表时间：{{i.publish_year}}
暂无此项成果
数据更新时间：2023-05-31
其他相关文献
1
基于SSVEP 直接脑控机器人方向和速度研究
基于SSVEP 直接脑控机器人方向和速度研究
DOI：10.16383/j.aas.2016.c150880
发表时间：2016
2
五轴联动机床几何误差一次装卡测量方法
五轴联动机床几何误差一次装卡测量方法
DOI：
发表时间：
3
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
时间序列分析与机器学习方法在预测肺结核发病趋势中的应用
DOI：
发表时间：2020
4
基于公司行业结构的哈尔滨跨区域联系网络分析
基于公司行业结构的哈尔滨跨区域联系网络分析
DOI：10.31497/zrzyxb.20200712
发表时间：2020
5
热塑性复合材料机器人铺放系统设计及工艺优化研究
热塑性复合材料机器人铺放系统设计及工艺优化研究
DOI：10.3901/jme.2021.23.209
发表时间：2021
李洪波的其他基金
批准号：51404023
批准年份：2014
资助金额：25.00
项目类别：青年科学基金项目
批准号：81300655
批准年份：2013
资助金额：23.00
项目类别：青年科学基金项目
批准号：50804053
批准年份：2008
资助金额：20.00
项目类别：青年科学基金项目
批准号：61004021
批准年份：2010
资助金额：22.00
项目类别：青年科学基金项目
批准号：40906082
批准年份：2009
资助金额：18.00
项目类别：青年科学基金项目
批准号：31600319
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：11671388
批准年份：2016
资助金额：48.00
项目类别：面上项目
批准号：10871195
批准年份：2008
资助金额：18.00
项目类别：面上项目
批准号：61473161
批准年份：2014
资助金额：84.00
项目类别：面上项目
批准号：71602106
批准年份：2016
资助金额：17.00
项目类别：青年科学基金项目
批准号：31601496
批准年份：2016
资助金额：20.00
项目类别：青年科学基金项目
批准号：11903016
批准年份：2019
资助金额：25.00
项目类别：青年科学基金项目
相似国自然基金
1
基于吴(文俊)方法的实代数几何中符号计算
批准号：11561046
批准年份：2015
负责人：肖水晶
学科分类：A0605
资助金额：35.00
项目类别：地区科学基金项目
2
代数几何与微分几何
批准号：18670505
批准年份：1986
负责人：戴新生
学科分类：A0107
资助金额：0.55
项目类别：面上项目
3
代数几何与微分几何
批准号：18870477
批准年份：1988
负责人：戴新生
学科分类：A0107
资助金额：0.70
项目类别：面上项目
4
复几何与代数几何会议
批准号：11126006
批准年份：2011
负责人：付保华
学科分类：A0107
资助金额：5.00
项目类别：数学天元基金项目