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 条
  • [1] Theorem proving in a mathematical information environment
    Kapitonova, YV
    Letichevskii, AA
    CYBERNETICS AND SYSTEMS ANALYSIS, 1998, 34 (04) : 481 - 488
  • [2] Theorem proving in a mathematical information environment
    Yu. V. Kapitonova
    A. A. Letichevskii
    Cybernetics and Systems Analysis, 1998, 34 : 481 - 488
  • [3] Using GXWeb for Theorem Proving and Mathematical Modelling
    Todd, Philip
    Aley, Danny
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 398 : 38 - 42
  • [4] Combining theorem proving and symbolic mathematical computing
    Homann, K
    Calmet, J
    INTEGRATING SYMBOLIC MATHEMATICAL COMPUTATION AND ARTIFICIAL INTELLIGENCE, 1995, 958 : 18 - 29
  • [5] A knowledge markup language and distributed theorem proving
    Xu, ZQ
    Wang, JB
    Wang, NC
    PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS AND TECHNOLOGIES, PDCAT'2003, PROCEEDINGS, 2003, : 127 - 131
  • [6] How to Recognize Artificial Mathematical Intelligence in Theorem Proving
    Pantsar, Markus
    TOPOI-AN INTERNATIONAL REVIEW OF PHILOSOPHY, 2025,
  • [7] An Exercise in Mathematical Engineering: Stating and Proving Kuratowski Theorem
    Abrial, Jean-Raymond
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2015, 2015, 9399 : 3 - 27
  • [8] Evaluation of Automated Theorem Proving on the Mizar Mathematical Library
    Urban, Josef
    Hoder, Krystof
    Voronkov, Andrei
    MATHEMATICAL SOFTWARE - ICMS 2010, 2010, 6327 : 155 - +
  • [9] LeanDojo: Theorem Proving with Retrieval-Augmented Language Models
    Yang, Kaiyu
    Swope, Aidan M.
    Gu, Alex
    Chalamala, Rahul
    Song, Peiyang
    Yu, Shixing
    Godil, Saad
    Prenger, Ryan
    Anandkumar, Anima
    ADVANCES IN NEURAL INFORMATION PROCESSING SYSTEMS 36 (NEURIPS 2023), 2023,
  • [10] A Survey on Retrieval of Mathematical Knowledge
    Guidi, Ferruccio
    Coen, Claudio Sacerdoti
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2015, 2015, 9150 : 296 - 315
12345