中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
Clifford代数,几何计算和几何推理

文献类型:期刊论文

作者李洪波
刊名数学进展
出版日期2003
卷号32.0期号:004页码:405-415
关键词Clifford代数 数学机械化 几何计算 机器证明
ISSN号1000-0917
其他题名Clifford Algebra, Geometric Computing and Reasoning
英文摘要Clifford代数是一种深深根植于几何学之中的代数系统,被它的创始人称为几何代数。历史上,E.Cartan,R.Brauer,H.Weyl,C.Chevalley等数学大师都曾研究和应用过Clifford代数,对它的发展起了重要作用,近年来,Clifford代数在微分几何、理论物理、经典分析等方面取得了辉煌的成就,是现代理论数学和物理的一个核心工具,并在现代科技的各个领域,如机器人学、信号处理、计算机视觉、计算生物学、量子计算等方面有广泛的应用。 本文主要介绍Clifford代数在几何计算和几何推理中的应用,作为一种优秀的描述和计算几何问题的代数语言,Clifford代数对于几何体,几何关系和几何变换有不依赖于坐标的、易于计算的多种表示,因而应用它进行几何自动推理,不仅使困难定理的证明往往变得极为简单,而且能够解决一些著名的公开问题,目前在国际上,几何自动推理已经成为Clifford代数的一个重要应用领域。
语种中文
CSCD记录号CSCD:1231789
源URL[http://ir.amss.ac.cn/handle/2S8OKBNM/56296]  
专题中国科学院数学与系统科学研究院
作者单位中国科学院数学与系统科学研究院
推荐引用方式
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.

入库方式: OAI收割

来源:数学与系统科学研究院

浏览0
下载0
收藏0
其他版本

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