Parallel forward reasoning for mechanical proving of geometry theorem

被引：0
|
作者：
College of Information Management, Chengdu University of Technology, Chengdu 610059, China [1 ]
不详 [2 ]
机构：
来源：
Huanan Ligong Daxue Xuebao | 2008年 / 4卷 / 93-97期
关键词：
Parallel algorithms;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] A reification of a strategy for geometry theorem proving
    Matsuda, N
    VanLehn, K
    INTELLIGENT TUTORING SYSTEMS, PROCEEDINGS, 2000, 1839 : 660 - 660
  • [32] Automated reasoning and theorem proving in education - Preface
    Kapur, D
    JOURNAL OF AUTOMATED REASONING, 2004, 32 (03) : 185 - 186
  • [33] Parallel cooperative propositional theorem proving
    Okushi, F
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 1999, 26 (1-4) : 59 - 85
  • [34] Parallel cooperative propositional theorem proving
    Fumiaki Okushi
    Annals of Mathematics and Artificial Intelligence, 1999, 26 : 59 - 85
  • [35] A REFUTATIONAL APPROACH TO GEOMETRY THEOREM-PROVING
    KAPUR, D
    ARTIFICIAL INTELLIGENCE, 1988, 37 (1-3) : 61 - 93
  • [36] 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
  • [37] Intelligent Understanding of Handwritten Geometry Theorem Proving
    Jiang, Yingying
    Tian, Feng
    Wang, Hongan
    Zhang, Xiaolong
    Wang, Xugang
    Dai, Guozhong
    IUI 2010, 2010, : 119 - 128
  • [38] Ordering in automated theorem proving of differential geometry
    Li Hongbo
    Cheng Minteh
    Acta Mathematicae Applicatae Sinica, 1998, 14 (4) : 358 - 362
  • [39] Modeling hinting strategies for geometry theorem proving
    Matsuda, N
    VanLehn, K
    USER MODELING 2003, PROCEEDINGS, 2003, 2702 : 373 - 377
  • [40] Dealing with Degeneracies in Automated Theorem Proving in Geometry
    Kovacs, Zoltan
    Recio, Tomas
    Tabera, Luis F.
    Pilar Velez, M.
    MATHEMATICS, 2021, 9 (16)
12345