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) |

- Export to:
- RefWorks
- EPrints3 XML
- CSV

- Depositors only (login required):