The SFB program expired on September 30, 2008. For the link to the successor project click DK Computational Mathematics

Technical Reports

Publication Lists

Annual Reports

Publications of the Project F1302


TechRepMisc - 2001


September 27, 2008

Bibliography

1

G. Kusper.
Solving the resolution-free sat problem in polynomial time by sub-model propagation.
Technical Report 01-06, RISC-Linz, February 2001.

2

F. Piroi and T. Jebelean.
Advanced Proof Presentation in Theorema.
Technical Report SFB 01-38, Research Institute for Symbolic Computation, J. Kepler University Linz, October 2001.

3

W. Windsteiger.
On a solution of the mutilated checkerboard problem using the Theorema set theory prover.
Technical Report 01-26, RISC-Linz, 2001.

4

W. Windsteiger.
Theorema: Ein Rahmen für Mathematik, Algorithmik und Didaktik.
Technical Report 22, RISC, 2001.
In German.

Please direct your comments or eventual problem reports to webmaster.
SpezialForschungsBereich SFB F013 | Special Research Program of the FWF - Austrian Science Fund