Home Advanced Search

Advanced Search - Page 1

C++ Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Programs
  • PDF
  • English
  • Year: 1995
  • Author: Prof. Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Matthias Hocks, Dr. Dietmar Ratz (auth.)
Numerical Toolbox for Verified Computing I: Basic Numerical Problems Theory, Algorithms, and Pascal-XSC Programs
  • PDF
  • English
  • Year: 1993
  • Author: Prof.Dr. Ulrich Kulisch, Dr. Rolf Hammer, Dr. Dietmar Ratz, Dipl-Math. oec. Matthias Hocks (auth.)
PASCAL-XSC: Sprachbeschreibung mit Beispielen
  • PDF
  • German
  • Year: 1991
  • Author: Dr. Rudi Klatte, Prof. Dr. Ulrich Kulisch, Dr. Michael Neaga, Dipl.-Math. techn. Dietmar Ratz, Prof. Dr. Christian Ullrich (auth.)
PASCAL-XSC: Language Reference with Examples
  • PDF
  • English
  • Year: 1992
  • Author: Prof. Dr. Ulrich Kulisch, Dr. Rudi Klatte, Dipl.-Math. techn. Dietmar Ratz, Dr. Michael Neaga, Prof. Dr. Christian Ullrich (auth.)
Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units
  • PDF
  • English
  • Year: 2002
  • Author: Dr. Ulrich W. Kulisch (auth.)
Scientific Computation with Automatic Result Verification
  • PDF
  • English
  • Year: 1988
  • Author: Prof. Dr. U. Kulisch, Prof. Dr. H. J. Stetter (auth.), Prof. Dr. Ulrich Kulisch, Prof. Dr. Hans J. Stetter (eds.)
Grundlagen der Computer-Arithmetik
  • PDF
  • German
  • Year: 1977
  • Author: Prof. Dr. R. Albrecht (auth.), Prof. Dr. Rudolf Albrecht, Prof. Dr. Ulrich Kulisch (eds.)
Hypertonie
  • PDF
  • German
  • Year: 1973
  • Author: Prof. Dr. Ulrich Peiper (auth.), Dr. O. Hammer (eds.)
Überblicke Mathematik 1998
  • PDF
  • German
  • Year: 1997
  • Author: Peter Schreiber (auth.), Prof. Dr. Albrecht Beutelspacher, Prof. Dr. Norbert Henze, Prof Dr. Ulrich Kulisch, Prof Dr. Hans Wußing (eds.)
Perspectives on Enclosure Methods
  • PDF
  • English
  • Year: 2001
  • Author: Andreas Frommer (auth.), Prof. Dr. Ulrich Kulisch, Priv.-Doz. Dr. Rudolf Lohner, Dr. Axel Facius (eds.)
search