Formalized Mathematics
is highly ranked in the
Most Cited Computer Science Articles
indexed by
CiteSeerX
abstracting service:
3
FM
articles
are listed in the
100 most cited articles
(please observe the big number of citations).