Comparing Mathematical Provers

  • Freek Wiedijk
Conference paper

DOI: 10.1007/3-540-36469-2_15

Part of the Lecture Notes in Computer Science book series (LNCS, volume 2594)
Cite this paper as:
Wiedijk F. (2003) Comparing Mathematical Provers. In: Asperti A., Buchberger B., Davenport J.H. (eds) Mathematical Knowledge Management. MKM 2003. Lecture Notes in Computer Science, vol 2594. Springer, Berlin, Heidelberg


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • Freek Wiedijk
    • 1
  1. 1.University of NijmegenNijmegen

Personalised recommendations