Skip to contents

  2. Keil, Christian [Author] ; Rump, Siegfried M. [Other]; Keil, Frerich [Other] Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen

    Rigorous error bounds for finite dimensional linear programming problems - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Norderstedt: Books on Demand, 2009 ; 2009

  3. Baesler, Malte [Author]; Voigt, Sven-Ole [Author] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen

    Analysis of Fast Radix-10 Digit Recurrence algorithms for fixed-point and floating-point dividers on FPGAs

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2013

    Published in: International journal of reconfigurable computing ; Vol. 2013, Article ID 453173

  4. Baesler, Malte [Author]; Voigt, Sven-Ole [Author]; Teufel, Thomas [Author] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen

    A decimal floating-point accurate scalar product unit with a parallel fixed-point multiplier on a Virtex-5 FPGA

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2010

    Published in: International journal of reconfigurable computing ; Volume 2010, Article ID 357839, 13 pages

  5. Batra, Prashant [Author] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen

    Newton's method and the computational complexity of the fundamental theorem of algebra

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2008

    Published in: Electronic notes in theoretical computer science ; 202(2008), Seite 201-218

  6. Rump, Siegfried M. [Author] ; Technische Universität Hamburg, Technische Universität Hamburg Institut für Zuverlässiges Rechnen

    Computation of the unit in the first place (ufp) and the unit in the last place (ulp) in precision-p base β

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2023

    Published in: BIT ; 63(2023), 2 vom: 29. Apr., Artikel-ID 28, Seite 1-8

  8. Radons, Manuel [Author]; Rump, Siegfried M. [Author] ; Technische Universität Hamburg, Technische Universität Hamburg Institut für Zuverlässiges Rechnen

    Convergence results for some piecewise linear solvers

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: Optimization letters ; 16(2022), 6, Seite 1663-1673

  9. Lange, Marko [Author]; Oishi, Shin’ichi [Author] ; Technische Universität Hamburg, Technische Universität Hamburg Institut für Zuverlässiges Rechnen

    A note on Dekker’s FastTwoSum algorithm - [Corrected publication 2021]

    Articles
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    2021

    Published in: Numerische Mathematik ; 145(2020), 2, Seite 383-403

  10. Jansson, Christian [Author] ; Technische Universität Hamburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg

    A Unified treatment of classical probability, thermodynamics, and quantum information theory

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hamburg: Technische Universität Hamburg, Institut für Zuverlässiges Rechnen, September 14, 2021

  11. Jansson, Christian [Author] ; Technische Universität Hamburg, Technische Universität Hamburg Institut für Zuverlässiges Rechnen

    Quantum information theory for engineers : free climbing through physics and probability ; supplement

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hamburg: Technische Universität Hamburg, Institut für Zuverlässiges Rechnen, 2019

  13. Jansson, Christian [Author] ; Technische Universität Hamburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg, Technische Universität Hamburg

    Quantum information theory for engineers: an interpretative approach

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    Hamburg: Univ.-Bibl. der Techn. Univ. Hamburg, 2017

  14. Rump, Siegfried M. [Other] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Verification methods for dense and sparse systems of equations - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Wien [u.a.]: Springer], 1994 ; 2008

    Published in: Topics in validated computations / J. Herzberger, ed. - 1994, pp. 63-136, 1994

  15. Rump, Siegfried M. [Other] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Calculus - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Braunschweig [u.a.]: Vieweg], 1989 ; 2008

    Published in: Wissenschaftliches Rechnen mit Ergebnisverifikation / U. Kulisch (Hrsg.). - 1989

  16. Rump, Siegfried M. [Other] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Guaranteed inclusions for the complex generalized eigenproblem - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Wien [u.a.]: Springer], 1989 ; 2008

    Published in: Computing <Wien> ; 42.1989

  17. Rump, Siegfried M. [Other] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Lineare Probleme - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Braunschweig [u.a.]: Vieweg], 1989 ; 2008

    Published in: Wissenschaftliches Rechnen mit Ergebnisverifikation / U. Kulisch (Hrsg.). - 1989

  18. Rump, Siegfried M. [Other] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Rechnervorfuehrung : Pakete fuer Standardprobleme der Numerik - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Braunschweig [u.a.]: Vieweg], 1989 ; 2008

    Published in: Wissenschaftliches Rechnen mit Ergebnisverifikation / U. Kulisch (Hrsg.). - 1989

  19. Rump, Siegfried M. [Other] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Algebraic computation, numerical computation and verified inclusions - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Berlin [u.a.]: Springer], 1988 ; 2008

    Published in: Trends in computer algebra. - 1988

  20. Rump, Siegfried M. [Other] ; Technische Universität Hamburg-Harburg, Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen, Technische Universität Hamburg-Harburg Arbeitsbereich Programmiersprachen und Algorithmen, Technische Universität Hamburg-Harburg Arbeitsbereich Technische Informatik III

    Algorithms for verified inclusions: theory and practice - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

    You can manage bookmarks using lists, please log in to your user account for this.

    [Boston [u.a.]: Acad. Press], 1988 ; 2008

    Published in: Reliability in computing : the role of interval methods in scientific computing. - 1988