Mathematical Knowledge Management

Volume 2594 of the series Lecture Notes in Computer Science pp 188-202


Comparing Mathematical Provers

  • Freek WiedijkAffiliated withUniversity of Nijmegen

* Final gross prices may vary according to local VAT.

Get Access


We compare fifteen systems for the formalizations of mathematics with the computer. We present several tables that list various properties of these programs. The three main dimensions on which we compare these systems are: the size of their library, the strength of their logic and their level of automation.