Mechanical theorem proving in geometry

被引：0
|
作者：
Jun-Yu, Gao [1 ]
Cheng-Dong, Zhang [1 ]
机构：
[1] Cangzhou Normal University, China
来源：
Telkomnika - Indonesian Journal of Electrical Engineering | 2012年 / 10卷 / 07期
关键词：
D O I：
10.11591/telkomnika.v10i7.1451
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：1554 / 1559
相关论文
共 50 条
  • [31] Dealing with Degeneracies in Automated Theorem Proving in Geometry
    Kovacs, Zoltan
    Recio, Tomas
    Tabera, Luis F.
    Pilar Velez, M.
    MATHEMATICS, 2021, 9 (16)
  • [32] ROLE OF UNIFICATION IN MECHANICAL THEOREM PROVING
    SHOSTAK, RE
    ACTA INFORMATICA, 1977, 7 (03) : 319 - 323
  • [33] A GENERALIZED EUCLIDEAN ALGORITHM FOR GEOMETRY THEOREM-PROVING
    KALKBRENER, M
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1995, 13 (1-2) : 73 - 95
  • [34] Portfolio theorem proving and prover runtime prediction for geometry
    Nikolic, Mladen
    Marinkovic, Vesna
    Kovacs, Zoltan
    Janicic, Predrag
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2019, 85 (2-4) : 119 - 146
  • [35] A New Approach for Automatic Theorem Proving in Real Geometry
    Andreas Dolzmann
    Thomas Sturm
    Volker Weispfenning
    Journal of Automated Reasoning, 1998, 21 : 357 - 380
  • [36] A new approach for automatic theorem proving in real geometry
    Dolzmann, A
    Sturm, T
    Weispfenning, V
    JOURNAL OF AUTOMATED REASONING, 1998, 21 (03) : 357 - 380
  • [37] PLANE GEOMETRY THEOREM PROVING USING FORWARD CHAINING
    NEVINS, AJ
    ARTIFICIAL INTELLIGENCE, 1975, 6 (01) : 1 - 23
  • [38] Portfolio theorem proving and prover runtime prediction for geometry
    Mladen Nikolić
    Vesna Marinković
    Zoltán Kovács
    Predrag Janičić
    Annals of Mathematics and Artificial Intelligence, 2019, 85 : 119 - 146
  • [39] MECHANICAL THEOREM-PROVING BY MODEL ELIMINATION
    LOVELAND, DW
    JOURNAL OF THE ACM, 1968, 15 (02) : 236 - &
  • [40] A case of automatic theorem proving in Euclidean geometry: The Maclane 8(3) theorem
    Conti, P
    Traverso, C
    APPLIED ALGEBRA, ALGEBRAIC ALGORITHMS AND ERROR-CORRECTING CODES, 1995, 948 : 183 - 193
12345