U. Kulisch :

Scientific Computing with Automatic Result Verification

Academic Press, London (ISBN 0-12-044210-8), 1993.

Institut für Angewandte Mathematik - zuletzt geändert am 15.11.1995