CSpace  > 系统科学研究所
一类初等微分几何定理机器证明的算法与实现
曹丽娜1; 李洪波2
2006
Source Publication系统科学与数学
ISSN1000-0577
Volume26Issue:4Pages:395
Abstract空间曲面上的曲线论是初等微分几何的重要部分.作者提出了一种以外微分运算和向量计算为主要工具,可以进行有关曲面上曲线局部性质的定理机器证明的算法.该算法结合了曲面上的活动标架,曲面上曲线的测地标架和曲线自身的Frenet标架,在Maple 9下得到实现.对20个例子进行的测试表明,由该算法生成的自动证明简短可读.
Language英语
Document Type期刊论文
Identifierhttp://ir.amss.ac.cn/handle/2S8OKBNM/49357
Collection系统科学研究所
Affiliation1.中央民族大学
2.中国科学院数学与系统科学研究院
Recommended Citation
GB/T 7714
曹丽娜,李洪波. 一类初等微分几何定理机器证明的算法与实现[J]. 系统科学与数学,2006,26(4):395.
APA 曹丽娜,&李洪波.(2006).一类初等微分几何定理机器证明的算法与实现.系统科学与数学,26(4),395.
MLA 曹丽娜,et al."一类初等微分几何定理机器证明的算法与实现".系统科学与数学 26.4(2006):395.
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.