CSpace  > 系统科学研究所
初等几何定理证明的Clifford代数方法
程民德1; 李洪波2
1997
Source Publication数学进展
ISSN1000-0917
Volume026Issue:004Pages:357
Abstract本文结合是吴方法及平面几何的Clifford代数表示,提出了几何定理机器证明的一种完备的方法,用这种方法证明定理时,三角化的过程及证明的过程通常较以前的方法更简短而且它们是可以几何解释的。
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/43191
Collection系统科学研究所
Affiliation1.北京大学
2.中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
程民德,李洪波. 初等几何定理证明的Clifford代数方法[J]. 数学进展,1997,026(004):357.
APA 程民德,&李洪波.(1997).初等几何定理证明的Clifford代数方法.数学进展,026(004),357.
MLA 程民德,et al."初等几何定理证明的Clifford代数方法".数学进展 026.004(1997):357.
Files in This Item:
There are no files associated with this item.
Related Services
Recommend this item
Bookmark
Usage statistics
Export to Endnote
Google Scholar
Similar articles in Google Scholar
[程民德]'s Articles
[李洪波]'s Articles
Baidu academic
Similar articles in Baidu academic
[程民德]'s Articles
[李洪波]'s Articles
Bing Scholar
Similar articles in Bing Scholar
[程民德]'s Articles
[李洪波]'s Articles
Terms of Use
No data!
Social Bookmark/Share
All comments (0)
No comment.
 

Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.