u k · Ulrich Kulisch · Ulrich Kulisch Rolf Hammer · Ulrich W. Kulisch
| title | ISBN-13 | year of publica- tion | other author(s) | |
|---|---|---|---|---|
| Numerical Toolbox for Verified Computing I: Basic Numerical Problems: Theory, Algorithms, and Pascal-Xsc Programs | 978-0-387-57118-8 | 1993 | R. Hammer · M. Hocks · D. Ratz | |
| Numerical Toolbox for Verified Computing II: Advanced Numerical Problems | 978-3-540-60470-9 | W. Krämer · R. Lohner | ||
| Pascal-Xsc: Language Reference With Examples | 978-0-387-55137-1 | 1992 | R. Klatte · M. Neaga · D. Ratz · Ch Ullrich | |
| Scientific Computation With Automatic Result Verification | 978-0-387-82063-7 | 1988 | ||