Date: 30 Jan 2003

Comparing Mathematical Provers

* Final gross prices may vary according to local VAT.

Get Access

Abstract

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.