Skip to contents

  2. 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

  3. 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

  4. 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

  5. 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

  6. 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

  7. 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

  8. 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

  9. 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

    Garantiert richtige Ergebnisse auf Rechenanlagen - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    [München: IBM Deutschland], 1988 ; 2008

    Published in: Informationsverarbeitung in Lehre und Forschung. - 1988

  10. 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

    Introduction to ACRITH : accurate scientific algorithms - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    [Stuttgart: Teubner], 1987 ; 2008

    Published in: Computerarithmetic / E. Kaucher ... (eds.). - 1987

  11. 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

    New results on 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], 1986 ; 2008

    Published in: Proceedings of the Symposium on Accurate Scientific Computation. - 1986

  12. 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

    Sichere Ergebnisse auf Rechenanlagen - [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: Springer], 1986 ; 2008

    Published in: Informatik-Spektrum ; 9.1986

  13. 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

    Exakte Fehlerschranken für Eigenwerte und Eigenvektoren - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    [Potsdam [u.a.]: Wiley-VCH], 1981 ; 2008

    Published in: Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) ; 61.1981

  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

    Kleine, exakte Fehlerschranken für die Lösung linearer Gleichungssysteme - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    [Weinheim [u.a.]: Wiley-VCH], 1981 ; 2008

    Published in: Zeitschrift für Angewandte Mathematik und Mechanik (ZAMM) ; 61.1981,5

  15. Rump, Siegfried M. [Author] ; 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

    Kleine Fehlerschranken bei Matrixproblemen - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    1980 ; 2008

  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

    Notiz zur Genauigkeit der Arithmetik in Rechenanlagen - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    [München: Oldenbourg], 1980 ; 2008

    Published in: Elektronische Rechenanlagen ; 22.1980, H. 5

  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

    Zur Rückführung nicht mehr benötigten Speicherplatzes in PASCAL - [Elektronische Ressource]

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    [München: Oldenbourg], 1980 ; 2008

    Published in: Elektronische Rechenanlagen ; 22.1980, H. 2

  19. Lange, Marko [Author] ; Rump, Siegfried M. [Degree supervisor]; Keil, Frerich [Other]; Rendl, Franz [Other] Technische Universität Hamburg-Harburg Institut für Zuverlässiges Rechnen

    Semidefinite relaxation approaches for the quadratic assignment problem

    Books
    View online
    Schließen
    Close

    Bookmarks

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

    Hamburg, 2016

  20. 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