Bridging theorem proving and mathematical knowledge retrieval

被引：0
|
作者：
Benzmüller, C [1 ]
Meier, A [1 ]
Sorge, V [1 ]
机构：
[1] Univ Saarland, D-6600 Saarbrucken, Germany
来源：
MECHANIZING MATHEMATICAL REASONING: ESSAYS IN HONOUR OF JORG H SIEKMANN ON THE OCCASION OF HIS 60TH BIRTHDAY | 2005年 / 2605卷
关键词：
D O I：
暂无
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
引用
收藏
页码：277 / 296
页数：20
相关论文
共 50 条
  • [31] Theorem Proving Modulo
    Gilles Dowek
    Thérèse Hardin
    Claude Kirchner
    Journal of Automated Reasoning, 2003, 31 : 33 - 72
  • [32] Automated theorem proving
    Plaisted, David A.
    WILEY INTERDISCIPLINARY REVIEWS-COGNITIVE SCIENCE, 2014, 5 (02) : 115 - 128
  • [33] Unsound theorem proving
    Lynch, C
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2004, 3210 : 473 - 487
  • [34] Understanding and describing mathematical knowledge for teaching: Knowledge about proof for engaging students in the activity of proving
    Stylianides A.J.
    Ball D.L.
    Journal of Mathematics Teacher Education, 2008, 11 (4) : 307 - 332
  • [35] The Effects of the Extended Triad Model and Cognitive Style on the Abilities of Mathematical Representation and Proving of Theorem
    Widada, Wahyu
    Herawaty, Dewi
    PROCEEDINGS OF THE 1ST ANNUAL INTERNATIONAL CONFERENCE ON MATHEMATICS, SCIENCE, AND EDUCATION (ICOMSE 2017), 2017, 218 : 89 - 95
  • [36] Coupling Ontology with Rule-Based Theorem Proving for Knowledge Representation and Reasoning
    Zhong, Xiuqin
    Fu, Hongguang
    Jiang, Yan
    DATABASE THEORY AND APPLICATION, BIO-SCIENCE AND BIO-TECHNOLOGY, 2010, 118 : 110 - 119
  • [37] MUSCADET - AN AUTOMATIC THEOREM-PROVING SYSTEM USING KNOWLEDGE AND METAKNOWLEDGE IN MATHEMATICS
    PASTRE, D
    ARTIFICIAL INTELLIGENCE, 1989, 38 (03) : 257 - 318
  • [38] Proving Termination by Dependency Pairs and Inductive Theorem Proving
    Carsten Fuhs
    Jürgen Giesl
    Michael Parting
    Peter Schneider-Kamp
    Stephan Swiderski
    Journal of Automated Reasoning, 2011, 47 : 133 - 160
  • [39] Proving Termination by Dependency Pairs and Inductive Theorem Proving
    Fuhs, Carsten
    Giesl, Juergen
    Parting, Michael
    Schneider-Kamp, Peter
    Swiderski, Stephan
    JOURNAL OF AUTOMATED REASONING, 2011, 47 (02) : 133 - 160
  • [40] Extended formula normalization for ε-retrieval and sharing of mathematical knowledge
    Normann, Immanuel
    Kohlhase, Michael
    TOWARDS MECHANIZED MATHEMATICAL ASSISTANTS, 2007, 4573 : 356 - +
12345