Vectorial equations solving for mechanical geometry theorem proving

被引：8
|
作者：
Li H. [1 ]
机构：
[1] MMRC, Institute of Systems Science, Academia Sinica
来源：
Journal of Automated Reasoning | 2000年 / 25卷 / 02期
基金：
美国国家科学基金会;
关键词：
★ This paper is supported partially by the NSF of China. ★★ It means that one can choose any order among the ai; bj; ck as long as they precede x;
D O I：
10.1023/A:1006182023017
中图分类号：
学科分类号：
摘要：
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.
引用
收藏
页码：83 / 121
页数：38
相关论文
共 50 条
  • [1] Mechanical theorem proving in geometry
    Jun-Yu, Gao
    Cheng-Dong, Zhang
    [J]. Telkomnika - Indonesian Journal of Electrical Engineering, 2012, 10 (07): : 1554 - 1559
  • [2] A REPORT ON MECHANICAL GEOMETRY THEOREM PROVING
    吴文俊
    [J]. Progress in Natural Science:Materials International, 1992, (01) : 1 - 17
  • [3] Mechanical theorem proving in computational geometry
    Meikle, LI
    Fleuriot, JD
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, 2006, 3763 : 1 - 18
  • [4] Ordering in mechanical geometry theorem proving
    Hongbo Li
    [J]. Science in China Series A: Mathematics, 1997, 40 : 225 - 233
  • [5] Ordering in mechanical geometry theorem proving
    Li, HB
    [J]. SCIENCE IN CHINA SERIES A-MATHEMATICS PHYSICS ASTRONOMY, 1997, 40 (03): : 225 - 233
  • [6] Ordering in mechanical geometry theorem proving
    李洪波￥
    [J]. Science China Mathematics, 1997, (03) : 225 - 233
  • [7] A METHOD FOR MECHANICAL GEOMETRY THEOREM PROVING
    WU Jinzhao(Institute of Systems Science
    [J]. Journal of Systems Science & Complexity, 1996, (04) : 313 - 318
  • [8] Multimodal system for mechanical geometry theorem proving
    Yuan, XH
    Zhao, K
    Wang, J
    [J]. CRITICAL TECHNOLOGY: PROCEEDINGS OF THE THIRD WORLD CONGRESS ON EXPERT SYSTEMS, VOLS I AND II, 1996, : 284 - 291
  • [9] MECHANICAL THEOREM-PROVING IN PROJECTIVE GEOMETRY
    RICHTERGEBERT, J
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 139 - 172
  • [10] Mechanical theorem proving in Tarski's geometry
    Narboux, Julien
    [J]. AUTOMATED DEDUCTION IN GEOMETRY, 2007, 4869 : 139 - 156
12345