Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving
文献类型：期刊论文
| 作者 | Zhang, Ning; Li, Hong-bo
|
| 刊名 | SCIENCE IN CHINA SERIES A-MATHEMATICS
 |
| 出版日期 | 2007-07-01 |
| 卷号 | 50期号:7页码:941-950 |
| 关键词 | mechanical theorem proving geometric invariance bracket algebra affine geometry affine bracket algebra |
| ISSN号 | 1006-9283 |
| DOI | 10.1007/s11425-007-0076-6 |
| 英文摘要 | This paper discusses two problems: one is some important theories and algorithms of affine bracket algebra; the other is about their applications in mechanical theorem proving. First we give some efficient algorithms including the boundary expanding algorithm which is a key feature in application. We analyze the characteristics of the boundary operator and this is the base for the implementation of the system. We also give some new theories or methods about the exact division, the representations and structure of affine geometry and so on. In practice, we implement the mechanical auto-proving system in Maple 10 based on the above algorithms and theories. Also we test about more than 100 examples and compare the results with the methods before. |
| WOS研究方向 | Mathematics |
| 语种 | 英语 |
| WOS记录号 | WOS:000248202100003 |
| 出版者 | SCIENCE CHINA PRESS |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/4991]  |
| 专题 | 系统科学研究所 |
| 通讯作者 | Zhang, Ning |
| 作者单位 | 1.Cent Univ Finance & Econ, CIAS, Beijing 100081, Peoples R China 2.Chinese Acad Sci, Acad Math & Syst Sci, Beijing 100080, Peoples R China |
| 推荐引用方式 GB/T 7714 | Zhang, Ning,Li, Hong-bo. Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving[J]. SCIENCE IN CHINA SERIES A-MATHEMATICS,2007,50(7):941-950. |
| APA | Zhang, Ning,&Li, Hong-bo.(2007).Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving.SCIENCE IN CHINA SERIES A-MATHEMATICS,50(7),941-950. |
| MLA | Zhang, Ning,et al."Affine bracket algebra theory and algorithms and their applications in mechanical theorem proving".SCIENCE IN CHINA SERIES A-MATHEMATICS 50.7(2007):941-950. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。