Paper Info
Title
Statistical Proof Pattern Recognition: Automated or Interactive?
Abstract
In this paper, we compare different existing approaches employed in data mining of big proof libraries in automated and interactive theorem proving.
Year
Venue
Field
2013
CoRR
Statistical proof,Computer science,Automated proof checking,Theoretical computer science,Proof assistant
DocType
Volume
Citations 
Journal
abs/1303.1419
1
PageRank 
References 
Authors
0.35
5
2
Name
Order
Citations
PageRank
Jónathan Heras19423.31
Ekaterina Komendantskaya215022.66