Skip to contents

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

  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

    Calculus - [Elektronische Ressource]

    Books
    View online
    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

  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

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

    Books
    View online
    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

  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

    Lineare Probleme - [Elektronische Ressource]

    Books
    View online
    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

  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

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

    Books
    View online
    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

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

    Books
    View online
    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

  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

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

    Books
    View online
    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

  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

    Garantiert richtige Ergebnisse auf Rechenanlagen - [Elektronische Ressource]

    Books
    View online
    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

  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

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

    Books
    View online
    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

  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

    New results on verified inclusions - [Elektronische Ressource]

    Books
    View online
    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

  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

    Sichere Ergebnisse auf Rechenanlagen - [Elektronische Ressource]

    Books
    View online
    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

  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

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

    Books
    View online
    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

  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

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

    Books
    View online
    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

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

    Bookmarks

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

    1980 ; 2008

  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

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

    Books
    View online
    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

  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

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

    Books
    View online
    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

  17. Bradford, Bryce Theron [Author] ; Jacob, Arne [Other]; Krautschneider, Wolfgang [Other] Technische Universität Hamburg-Harburg Institut für Hochfrequenztechnik

    Bidirectional system on chip for intracorporeal pressure measurement - [Elektronische Ressource]

    Books
    View online
    Close

    Bookmarks

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

    2013 ; 2014