References
- Alefeld , G. and Herzberger , J. L. 1974 . Einführung in die Intervallrechung , Mannheim : Bibliographisches Institut .
- Bohlender G. Rall L. B. Ullrich C. Wolff v. Gudenberg J. Pascal-SC Bibliographisches Institut Mannheim 1986 Lecture notes in Math
- Delves , L. M. and Mohammed , J. L. 1985 . Computational Methods for Integral Equations , Cambridge : Cambridge University Press .
- Dobner , H.-J. 1990 . Contributions to computational analysis . Bull Austral. Math. Soc. , 41 : 231 – 235 .
- Dobner , H.-J. and Kaucher , E. 1990 . “ Self-Validating Computations of linear and nonlinear integral equations of the second kind, Contributions to Computer Arithmetic and Self-Validating numerical methods ” . Edited by: Ullrich , C. 273 – 290 . Scientific Publishing Co. . J.C. Baltzer AG
- Dobner H.-J. Numerische Methoden zur Verifizierten Lösung von Integralgleichungen Habilitationsschrift, Karlsruhe 1992 Lecture notes in Math
- Kaucher , E. and Miranker , W. L. 1984 . Self Validating Numerics for Function Space Problems , New York : Academic Press .
- Kaucher , E. and Rump , S. M. 1982 . E-Methods for Fixed Point Equations f(x) = x . Computing , 28 : 31 – 42 .
- Klein W. Zur EinschlieBung der Lösung von Linearen und Nichtlinearen Fredholmschen Integralgleichungssystemen zweiter Art Springer-Verlag Karlsruhe 1990 Dissertation
- Kulisch U. Grundlagen des Numerischen Rechnens Bibliographisches Institut Mannheim 1976
- Kulisch , U. and Miranker , W. L. 1981 . Computer Arithmetic in Theory and Practice , New York : Academic Press .
- Pascal-SC A Pascal-SC Extension for Scientific Computation; Information Kulisch U. Version ST Teubner, Stuttgart 1987 Manual and Floppy Disk
- Rall L. Automatic Differentiation Version ST Berlin, Heidelberg, New York 1981 Springer Lecture Notes in Computer Science 120