KMS Of Academy of mathematics and systems sciences, CAS
初等几何定理证明的Clifford代数方法 | |
程民德1; 李洪波2 | |
1997 | |
发表期刊 | 数学进展 |
ISSN | 1000-0917 |
卷号 | 026期号:004页码:357 |
摘要 | 本文结合是吴方法及平面几何的Clifford代数表示,提出了几何定理机器证明的一种完备的方法,用这种方法证明定理时,三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解释的。 |
语种 | 英语 |
文献类型 | 期刊论文 |
条目标识符 | http://ir.amss.ac.cn/handle/2S8OKBNM/43191 |
专题 | 系统科学研究所 |
作者单位 | 1.北京大学 2.中国科学院数学与系统科学研究院 |
推荐引用方式 GB/T 7714 | 程民德,李洪波. 初等几何定理证明的Clifford代数方法[J]. 数学进展,1997,026(004):357. |
APA | 程民德,&李洪波.(1997).初等几何定理证明的Clifford代数方法.数学进展,026(004),357. |
MLA | 程民德,et al."初等几何定理证明的Clifford代数方法".数学进展 026.004(1997):357. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[程民德]的文章 |
[李洪波]的文章 |
百度学术 |
百度学术中相似的文章 |
[程民德]的文章 |
[李洪波]的文章 |
必应学术 |
必应学术中相似的文章 |
[程民德]的文章 |
[李洪波]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论