Institut für Angewandte Mathematik (Lehrstuhl II)

Berichte aus dem

Forschungsschwerpunkt
Computerarithmetik,
Intervallrechnung und
Numerische Algorithmen mit
Ergebnisverifikation

• Ulrich Kulisch: Memorandum über Computer, Arithmetik und Numerik

  Abstract .................... Bericht 01/1996 (rep9601.ps.gz)

  ---

• Andreas Wiethoff: C-XSC: A C++ Class Library for Extended Scientific Computing

  Abstract .................... Bericht 02/1996 (rep9602.ps.gz)

  ---

• Walter Krämer: Sichere und genaue Abschätzung des Approximationsfehlers bei rationalen Approximationen

  Abstract .................... Bericht 03/1996 (rep9603.ps.gz)

  ---

• Dietmar Ratz: An Optimized Interval Slope Arithmetic and its Application

  Abstract .................... Bericht 04/1996 (rep9604.ps.gz)

  ---

• Dietmar Ratz: Inclusion Isotone Extended Interval Arithmetic

  Abstract .................... Bericht 05/1996 (rep9605.ps.gz)

  ---

• Astrid Goos, Dietmar Ratz: Praktische Realisierung und Test eines Verifikationsverfahrens zur Loesung globaler Optimierungsprobleme mit Ungleichungsnebenbedingungen

  Abstract .................... Bericht 01/1997 (rep9701.ps.gz)

  ---

• Stefan Herbort, Dietmar Ratz: Improving the Efficiency of a Nonlinear-System-Solver Using a Componentwise Newton Method

  Abstract .................... Bericht 02/1997 (rep9702.ps.gz)

  ---

• Ulrich Kulisch: Die fuenfte Gleitkommaoperation fuer top-performance Computer oder Akkumulation von Gleitkommazahlen und -produkten in Festkommaarithmetik

  Abstract .................... Bericht 03/1997 (rep9703.ps.gz)

  ---

• Ulrich Kulisch: The Fifth Floating-Point Operation for Top-Performance Computers or Accumulation of Floating-Point Numbers and Products in Fixed-Point Arithmetic

  Abstract .................... Bericht 04/1997 (rep9704.ps.gz)

  ---

• Walter Krämer: Eine Fehlerfaktorarithmetik fuer zuverlässige a priori Fehlerabschaetzungen

  Abstract .................... Bericht 05/1997 (rep9705.ps.gz)

  ---

• Peter Januschke, Dietmar Ratz: A Survey of PASCAL-XSC and a Language Reference Supplement on Dynamic and Flexible Arrays

  Abstract .................... Bericht 01/1998 (rep9801.ps.gz)

  ---