A Mechanically Proof-Checked Encyclopedia of Mathematics: Should We Build One? Can We (1994)

by R S Boyer
Venue:12th International Conference on Automated Deduction LNAI/LNCS