Prof. Dr. Dietmar Ratz

Leiter Studiengang Wirtschaftsinformatik

Erzbergerstraße 121, Raum C566

Telefon:
+49.721.9735-954
E-Mail:
dietmar.ratznoSpam@dhbw-karlsruhe.de

Veröffentlichungen

  • Erweiterte Suche öffnen

  • 1993

  • Hammer, Rolf; Hocks, Matthias; Kulisch, Ulrich; Ratz, Dietmar (1993): Numerical Toolbox for Verified Computing I - Basic Numerical Problems.. Heidelberg, New York: Springer-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Hammer, Rolf; Neaga, Michael; Ratz, Dietmar (1993) : PASCAL-XSC - New Concepts for Scientific Computation and Numerical Data Processing In: Adams, Ernst; Kulisch, Ulrich (Hg.): Scientific Computing with Automatic Result: New York: Academic Press, S. 15-44

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1992

  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (1992): PASCAL XSC Language Reference with Examples. Heidelberg: Springer-Verlag

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1992): Automatische Ergebnisverifikation bei globalen Optimierungsproblemen. Dissertation: Universität Karlsruhe (TH)

    DOI: https://publikationen.bibliothek.kit.edu/41092/3082 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1992) : An Inclusion Algorithm for Global Optimization in a Portable PASCAL-XSC Implementation In: Herzberger, Jürgen; Atanassova, Lidiya (Hg.): Computer Arithmetic and Enclosure Methods: Elsevier; Amsterdam: North-Holland, S. 329-338

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1991

  • Hammer, Rolf; Neaga, Michael; Ratz, Dietmar; Shiriaev, D. (1991): PASCAL-XSC - A New Language for Scientific Computing. In: Interval Computations (2), S. 47-81

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Klatte, Rudi; Kulisch, Ulrich; Neaga, Michael; Ratz, Dietmar; Ullrich, Christian (1991): PASCAL XSC Sprachbeschreibung mit Beispielen. Heidelberg: Springer-Verlag

    DOI: https://doi.org/10.1007/978-3-662-09214-9 

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1990

  • Ratz, Dietmar (1990): The Effects of the Arithmetic of Vector Computers on Basic Numerical Methods. In: IMACS Annals on Computing and Applied Mathematics (7), S. 499-514

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • Ratz, Dietmar (1990): Programmierpraktikum mit PASCAL-SC. In: Computer Theoretikum und Praktikum fur Physiker (5), S. 43-67

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML

  • 1989

  • Kulisch, Ulrich; Geörg, Stefan; Ratz, Dietmar (1989): Wissenschaftliches Rechnen mit Ergebnisverifikation - Eine Einführung. Berlin und Wiesbaden: Akademie Verlag und Vieweg

    Export-Dateien: Citavi Endnote RIS ISI BibTeX WordXML