KMS Of Academy of mathematics and systems sciences, CAS
一类初等微分几何定理机器证明的算法与实现 | |
曹丽娜1; 李洪波2 | |
2006-01-01 | |
发表期刊 | 系统科学与数学 |
ISSN | 1000-0577 |
卷号 | 26期号:4页码:395 |
摘要 | 空间曲面上的曲线论是初等微分几何的重要部分.作者提出了一种以外微分运算和向量计算为主要工具,可以进行有关曲面上曲线局部性质的定理机器证明的算法.该算法结合了曲面上的活动标架,曲面上曲线的测地标架和曲线自身的Frenet标架,在Maple 9下得到实现.对20个例子进行的测试表明,由该算法生成的自动证明简短可读. |
语种 | 英语 |
文献类型 | 期刊论文 |
条目标识符 | http://ir.amss.ac.cn/handle/2S8OKBNM/49357 |
专题 | 系统科学研究所 |
作者单位 | 1.中央民族大学 2.中国科学院数学与系统科学研究院 |
推荐引用方式 GB/T 7714 | 曹丽娜,李洪波. 一类初等微分几何定理机器证明的算法与实现[J]. 系统科学与数学,2006,26(4):395. |
APA | 曹丽娜,&李洪波.(2006).一类初等微分几何定理机器证明的算法与实现.系统科学与数学,26(4),395. |
MLA | 曹丽娜,et al."一类初等微分几何定理机器证明的算法与实现".系统科学与数学 26.4(2006):395. |
条目包含的文件 | 条目无相关文件。 |
个性服务 |
推荐该条目 |
保存到收藏夹 |
查看访问统计 |
导出为Endnote文件 |
谷歌学术 |
谷歌学术中相似的文章 |
[曹丽娜]的文章 |
[李洪波]的文章 |
百度学术 |
百度学术中相似的文章 |
[曹丽娜]的文章 |
[李洪波]的文章 |
必应学术 |
必应学术中相似的文章 |
[曹丽娜]的文章 |
[李洪波]的文章 |
相关权益政策 |
暂无数据 |
收藏/分享 |
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。
修改评论