- Preprints of the research group (BUW-WRSWT series 2000-2012)
Preprints in
2012,
2011,
2010,
2009,
2008,
2007,
2006,
2005,
2004,
2003,
2002,
2001,
2000
-
Books:
-
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.
Content and Preface:
Postscript (492 KB),
PDF (20 KB)