Title
Statistical Proof-Patterns in Coq/SSReflect
Year
Venue
Field
2013
CoRR
Statistical proof,Computer science,Calculus
DocType
Volume
Citations 
Journal
abs/1301.6039
2
PageRank 
References 
Authors
0.37
0
2
Name
Order
Citations
PageRank
Jónathan Heras19423.31
Ekaterina Komendantskaya215022.66