Vectorial equations solving for mechanical geometry theorem proving
文献类型：期刊论文
| 作者 | Li, JB |
| 刊名 | JOURNAL OF AUTOMATED REASONING
 |
| 出版日期 | 2000-08-01 |
| 卷号 | 25期号:2页码:83-121 |
| 关键词 | mechanical theorem proving Wu's method Clifford algebra vectorial equations solving the area method |
| ISSN号 | 0168-7433 |
| 英文摘要 | In this paper a new method is proposed for mechanical geometry theorem proving. It combines vectorial equations solving in Clifford algebra formalism with Wu's method. The proofs produced have significantly enhanced geometric meaning and fewer nongeometric nondegeneracy conditions. |
| 语种 | 英语 |
| WOS记录号 | WOS:000087594000001 |
| 出版者 | KLUWER ACADEMIC PUBL |
| 源URL | [http://ir.amss.ac.cn/handle/2S8OKBNM/15089]  |
| 专题 | 中国科学院数学与系统科学研究院 |
| 作者单位 | Acad Sinica, Inst Syst Sci, MMRC, Beijing 100080, Peoples R China |
| 推荐引用方式 GB/T 7714 | Li, JB. Vectorial equations solving for mechanical geometry theorem proving[J]. JOURNAL OF AUTOMATED REASONING,2000,25(2):83-121. |
| APA | Li, JB.(2000).Vectorial equations solving for mechanical geometry theorem proving.JOURNAL OF AUTOMATED REASONING,25(2),83-121. |
| MLA | Li, JB."Vectorial equations solving for mechanical geometry theorem proving".JOURNAL OF AUTOMATED REASONING 25.2(2000):83-121. |
入库方式： OAI收割
来源：数学与系统科学研究院
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。