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 条
  • [21] SOME REMARKS ON MECHANICAL THEOREM-PROVING IN ELEMENTARY GEOMETRY
    WU, WJ
    ACTA MATHEMATICA SCIENTIA, 1983, 3 (04) : 357 - 360
  • [22] A Note on the Need for Radical Membership Checking in Mechanical Theorem Proving in Geometry
    Roanes-Lozano, Eugenio
    Roanes-Macias, Eugenio
    COMPUTER ALGEBRA IN SCIENTIFIC COMPUTING, CASC 2013, 2013, 8136 : 288 - 300
  • [23] REALIZATION OF A GEOMETRY THEOREM PROVING MACHINE
    GELERNTER, H
    COMMUNICATIONS OF THE ACM, 1959, 2 (07) : 19 - 19
  • [24] A reification of a strategy for geometry theorem proving
    Matsuda, N
    VanLehn, K
    INTELLIGENT TUTORING SYSTEMS, PROCEEDINGS, 2000, 1839 : 660 - 660
  • [25] Visual reasoning in geometry theorem proving
    1617, Morgan Kaufmann Publ Inc, San Mateo, CA, USA (02):
  • [26] A REFUTATIONAL APPROACH TO GEOMETRY THEOREM-PROVING
    KAPUR, D
    ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 61 - 93
  • [27] A dynamic geometry environment for learning theorem proving
    Wong, WK
    Chan, BY
    Yin, SK
    5th IEEE International Conference on Advanced Learning Technologies, Proceedings, 2005, : 15 - 17
  • [28] Intelligent Understanding of Handwritten Geometry Theorem Proving
    Jiang, Yingying
    Tian, Feng
    Wang, Hongan
    Zhang, Xiaolong
    Wang, Xugang
    Dai, Guozhong
    IUI 2010, 2010, : 119 - 128
  • [29] Modeling hinting strategies for geometry theorem proving
    Matsuda, N
    VanLehn, K
    USER MODELING 2003, PROCEEDINGS, 2003, 2702 : 373 - 377
  • [30] Dealing with Degeneracies in Automated Theorem Proving in Geometry
    Kovacs, Zoltan
    Recio, Tomas
    Tabera, Luis F.
    Pilar Velez, M.
    MATHEMATICS, 2021, 9 (16)
12345