- Preprints der Arbeitsgruppe (BUW-WRSWT Reihe
2000-2012)
Preprints von
2012,
2011,
2010,
2009,
2008,
2007,
2006,
2005,
2004,
2003,
2002,
2001,
2000
-
Buchveröffentlichungen:
-
Cuyt, A.; Krämer, W.; Luther, W.; Markstein, P. (Eds.):
Numerical Validation in Current Hardware Architectures
Lecture Notes in Computer Science, LNCS 5492,
Springer-Verlag Berlin Heidelberg, 2009.
-
Krämer, W.; Wolff v. Gudenberg, J.:
Scientific Computing, Validated Numerics, Interval Methods
Kluwer Academic Publishers, Boston/Dordrecht/London, 2001.
Inhaltsverzeichnis und Vorwort:
Postscript (492 KB),
PDF (20 KB)