research

Computer theorem proving in math

Authors
Publication date
1 January 2004
Publisher
'Springer Science and Business Media LLC'
Doi
    View on arXiv

    Abstract

    We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This is based on my talk at the PQR conference (Brussels, June 2003)

      Similar works

      Full text

      thumbnail-image

      Available Versions

      HAL-UNICE

      redirect
      oaioai:HAL:hal-00000842v2
      Last time updated on 12/11/2016