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

来源：

关键词：

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

引用

页码：277 / 296

页数：20

共 50 条

[21] Probabilistic Theorem Proving
Gogate, Vibhav
Domingos, Pedro
COMMUNICATIONS OF THE ACM, 2016, 59 (07) : 107 - 115
[22] Proving the Stone theorem
Nakano, H
ANNALS OF MATHEMATICS, 1944, 42 : 665 - 667
[23] A philosophico-mathematical theorem on unity of knowledge
Choudhury, MA
KYBERNETES, 1999, 28 (6-7) : 763 - 776
[24] THEOREM PROVING WITH LEMMAS
PETERSON, GE
JOURNAL OF THE ACM, 1976, 23 (04) : 573 - 581
[25] Refinement and theorem proving
Manolios, Panagiotis
FORMAL METHODS FOR HARDWARE VERIFICATION, 2006, 3965 : 176 - 210
[26] Automated theorem proving
Li, HB
GEOMETRIC ALGEBRA WITH APPLICATIONS IN SCIENCE AND ENGINEERING, 2001, : 110 - +
[27] Theorem proving modulo
Dowek, G
Hardin, T
Kirchner, C
JOURNAL OF AUTOMATED REASONING, 2003, 31 (01) : 33 - 72
[28] Theorem proving for verification
Harrison, John
COMPUTER AIDED VERIFICATION, 2008, 5123 : 11 - 18
[29] Constraints and theorem proving
Ganzinger, H
Nieuwenhuis, R
CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 159 - 201
[30] Advances in theorem proving
Kientzle, T
DR DOBBS JOURNAL, 1997, 22 (03): : 16 - 16