Theorema

Windsteiger, Wolfgang and Buchberger, Bruno and Rosenkranz, Markus (2006) Theorema. In: Wiedijk, Freek, ed. The Seventeen Provers of the World. Lecture Notes in Artificial Intelligence, 3600 . Springer, pp. 96-107. ISBN 9783540307044. (The full text of this publication is not available from this repository)

The full text of this publication is not available from this repository. (Contact us about this Publication)
Official URL
http://dx.doi.org/10.1007/11542384_1

Abstract

Some years ago during lunch, Henk Barendregt told me about a book (Algorithmics by David Harel) that compared programming languages by showing the same little program in each language that was treated. Then I thought: I could do that for proof assistants! And so I mailed various people in the proof assistant community and started the collection that is now in front of you.

Item Type: Book section
Uncontrolled keywords: Computer algebra systems; formal methods; formal reasoning systems; formal verification; formalization; mathematical formalizations; mathematical proof assistants; provers; theorem proving; theorem proving systems
Subjects: B Philosophy. Psychology. Religion > BC Logic
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,
Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, > QA76.76.E95 Expert Systems (Intelligent Knowledge Based Systems)
Q Science > QA Mathematics (inc Computing science) > QA 9 Formal systems, logics
Divisions: Faculties > Science Technology and Medical Studies > School of Mathematics Statistics and Actuarial Science > Applied Mathematics
Depositing User: Markus Rosenkranz
Date Deposited: 27 Jul 2012 16:50
Last Modified: 13 Aug 2012 11:01
Resource URI: http://kar.kent.ac.uk/id/eprint/29974 (The current URI for this page, for reference purposes)
  • Depositors only (login required):