Links
Some Links that might be useful
More on Vampire, the theorem prover, can be found on the
Vampire Home Page
. At the same address you find a list of publications related to the Vampire theorem prover.
More on the Waldmeister theorem prover you find on the
Waldmeister Home Page
.
A collection of further readings on Waldmeister as well as on theorem proving you find on
Thomas Hillenbrand's publications page
.
A collection of publications on term indexing and theorem provin you find on
Robert Nieuwenhuis's Publications Page
.
Another collection you find on
Alexandre Riazanov's Publications Page
.
Similar interesing is Andrei
Voronkov's Publications Page
.
The TPTP Problem Library for Automated Theorem Proving
COMPIT
Introduction to COMPIT
|
Download Area
|
Tutorial
|
Statistics
|
People
|
Useful Links
Copyright © 1998-2002 by
Max-Planck-Institut für Informatik
. All rights reserved.
Impressum and legal notices
.
www site design and concept by Doris Diedrich · <
diedrich@mpi-sb.mpg.de
>.
