Go to page

Bibliographic Metadata

  • Title
    Schnelle hoch genaue Einschließung von Werten arithmetischer Ausdrücke mit beliebiger vorgegebener Genauigkeit / von Axel Rogat
  • Participants
    Rogat, Axel
  • Published
    2002
  • Description
    1 Computerdatei (ca. 1,33 MB) : Auszüge (Titel, Einleitung, Inhaltsverzeichnis, ca. 157 KB)
  • Institutional Note
    Wuppertal, Univ., Diss.
  • Language
    German
  • Document type
    Dissertation (PhD)
  • URN
    urn:nbn:de:hbz:468-20030445 
Restriction-Information
  •  The document is publicly available on the WWW
Links
Files
Classification

  • English

    We correct and improve the recomputation method for the numerically verified inclusion of values of real arithmetic expressions with arbitrary precision, developed in 1995 by Andreas Steins. As a basis for the implementation of the algorithm, we develop a new vastly accelerated decimal interval floating point arithmetic with dynamic mantissa length for the basic arithmetic operations and the usual standard functions. We describe the implementation of arithmetic and inclusion algorithm as system-independent C++ class libraries, configurable in many parameters.

    Deutsch

    Das von Andreas Steins 1995 entwickelte Wiederberechnungsverfahren zur numerisch verifizierten Einschließung von Werten reeller arithmetischer Ausdrücke mit beliebiger vorgegebener Genauigkeit wird korrigiert und verbessert. Als Implementations-Grundlage wird eine neue, wesentlich beschleunigte dezimale Intervall-Fließpunkt-Arithmetik mit dynamischer Mantissenlänge für Grundrechenarten und die üblichen Standardfunktionen entwickelt. Die Realisierung von Arithmetik und Einschließungsverfahren als rechnerunabhängige und in vielen Parametern konfigurierbare C++-Klassenbibliotheken wird beschrieben.

Stats
  • The PDF-Document has been downloaded 32 times.
License/Rightsstatement