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


PhdThesis - 2001


September 27, 2008

Bibliography

1

T. Jebelean.
Non-conventional Algorithms for Multiple Precision Arithmetic.
Habilitation thesis, RISC, University of Linz, December 2001.

2

W. Windsteiger.
A Set Theory Prover in Theorema: Implementation and Practical Applications.
PhD thesis, RISC Institute, May 2001.

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