CSpace
Clifford代数,几何计算和几何推理
其他题名Clifford Algebra, Geometric Computing and Reasoning
李洪波
2003
发表期刊数学进展
ISSN1000-0917
卷号32.0期号:004页码:405-415
摘要Clifford代数是一种深深根植于几何学之中的代数系统,被它的创始人称为几何代数。历史上,E.Cartan,R.Brauer,H.Weyl,C.Chevalley等数学大师都曾研究和应用过Clifford代数,对它的发展起了重要作用,近年来,Clifford代数在微分几何、理论物理、经典分析等方面取得了辉煌的成就,是现代理论数学和物理的一个核心工具,并在现代科技的各个领域,如机器人学、信号处理、计算机视觉、计算生物学、量子计算等方面有广泛的应用。 本文主要介绍Clifford代数在几何计算和几何推理中的应用,作为一种优秀的描述和计算几何问题的代数语言,Clifford代数对于几何体,几何关系和几何变换有不依赖于坐标的、易于计算的多种表示,因而应用它进行几何自动推理,不仅使困难定理的证明往往变得极为简单,而且能够解决一些著名的公开问题,目前在国际上,几何自动推理已经成为Clifford代数的一个重要应用领域。
关键词Clifford代数 数学机械化 几何计算 机器证明
收录类别CSCD
语种中文
CSCD记录号CSCD:1231789
引用统计
文献类型期刊论文
条目标识符http://ir.amss.ac.cn/handle/2S8OKBNM/56297
专题中国科学院数学与系统科学研究院
作者单位中国科学院数学与系统科学研究院
推荐引用方式
GB/T 7714
李洪波. Clifford代数,几何计算和几何推理[J]. 数学进展,2003,32.0(004):405-415.
APA 李洪波.(2003).Clifford代数,几何计算和几何推理.数学进展,32.0(004),405-415.
MLA 李洪波."Clifford代数,几何计算和几何推理".数学进展 32.0.004(2003):405-415.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[李洪波]的文章
百度学术
百度学术中相似的文章
[李洪波]的文章
必应学术
必应学术中相似的文章
[李洪波]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。