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文件 |
| 谷歌学术 |
| 谷歌学术中相似的文章 |
| [曹丽娜]的文章 |
| [李洪波]的文章 |
| 百度学术 |
| 百度学术中相似的文章 |
| [曹丽娜]的文章 |
| [李洪波]的文章 |
| 必应学术 |
| 必应学术中相似的文章 |
| [曹丽娜]的文章 |
| [李洪波]的文章 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论