Ulrich Kulisch

U. Kulisch · Ulrich Kalk · Ulrich Klocke · Ulrich Klose · Ulrich Klug · Ulrich Kluge · Ulrich W. Kulisch · Ulrike Kluge

Bibliographisches Institut, Mannheim · Gruyter · Springer Berlin Heidelberg · Springer Vienna · Vieweg

TitelISBN-13Erschei-
nungsjahr
andere Autoren
Computer Arithmetic and Validity: Theory, Implementation, and Applications978-3-11-020318-92008
C++ Toolbox for Verified Scientific Computing I. Basic Numerical Problems978-3-540-59110-81997Rolf Hammer · Matthias Hocks
C- XSC. A C++ Class Library for Extended Scientific Computing978-3-540-56328-01993Rudi Klatte · Andreas Wiethoff
Grundlagen des Numerischen Rechnens. Mathematische Begründung der Rechnerarithmetik978-3-411-01517-71976
Numerical Toolbox for Verified Computing: Advanced Numerical Problems: Pt. 2978-3-540-60470-92009W. Krämer · Rudolf Lohner
Numerical Toolbox for Verified Computing with Algorithms and Pascal- XSC Programs. Basic Numerical Problems: Basic Numerical Problems - Theory, ... Series in Computational Mathematics)978-3-540-57118-61994Rolf Hammer · Matthias Hocks
Pascal- XSC. Language Reference with Examples978-3-540-55137-91992Rudi Klatte · Michael Neaga
Perspectives on Enclosure Methods978-3-211-83590-62001Rudolf Lohner · Axel Facius
Scientific Computation with Automatic Result Verification978-3-211-82063-61988Hans J. Stetter
Überblicke Mathematik 1996/97978-3-528-06892-91997Albrecht Beutelspacher · Norbert Henze
Wissenschaftliches Rechnen mit Ergebnisverifikation. Eine Einführung978-3-528-08943-61998

 

Ulrich Kull