Formalized Mathematics is highly ranked in the
Most Cited Computer Science Articles indexed by
CiteSeerX abstracting service:

- 5 FM articles are listed in the 70 most cited articles (please observe the big number of citations).