基于几何代数符号计算的几何分解
基本信息
批准号：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
基于旋量理论的数控机床几何误差分离与补偿方法研究
基于旋量理论的数控机床几何误差分离与补偿方法研究
DOI：
发表时间：2019
2
新型树启发式搜索算法的机器人路径规划
新型树启发式搜索算法的机器人路径规划
DOI：10.3778/j.issn.1002-8331.1903-0411
发表时间：2020
3
现代优化理论与应用
现代优化理论与应用
DOI：10.1360/SSM-2020-0035
发表时间：2020
4
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
基于自适应干扰估测器的协作机器人关节速度波动抑制方法
DOI：10.13973/j.cnki.robot.210412
发表时间：2022
5
WMTL-代数中的蕴涵滤子及其应用
WMTL-代数中的蕴涵滤子及其应用
DOI：10.11897/SP.J.1016.2018.00886
发表时间：2018
李洪波的其他基金
批准号：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
项目类别：数学天元基金项目