Ulrich Kulisch
Ulrich W. Kulisch (* 1933 in Breslau) ist ein deutscher Mathematiker, der sich mit numerischer Mathematik befasst, hauptsächlich mit Intervallarithmetik einschließlich deren Implementierung in Computern.
Biografie
Kulisch studierte Mathematik und Physik an der TU München und der Universität München. 1961 promovierte er bei Josef Heinhold (Behandlung von Differentialgleichungen im Komplexen auf dem elektronischen Analogrechner).[1] Nach der Habilitation 1963 war er von 1964 bis 1966 Lehrstuhlvertreter an der Universität München und ab 1966 Professor und Direktor des Instituts für Angewandte Mathematik an der Universität Karlsruhe. 1999 wurde er emeritiert. Anfangs war er in Karlsruhe auch Leiter des Rechenzentrums und mit dem Aufbau der Informatik betraut.
1969/70 war er am Mathematischen Forschungszentrum der University of Wisconsin–Madison bei Louis. B. Rall und Ramon E. Moore, 1972/73 und 1978/79 am IBM Research Center in Yorktown Heights (wo er mit Willard L. Miranker (1932–2011) arbeitete) und 1998 und 1999/2000 am Electrotechnical Laboratory des MITI in Tsukuba in Japan.
Werk
Kulisch war in Deutschland bereits in den 1960er Jahren einer der Pioniere der Intervallarithmetik und wirkte schulbildend. Seine Implementierungen von Intervallarithmetik in Rechnern begannen in den 1960er Jahren auf der Basis von ALGOL. Kulisch entwickelte Programmiersprachen und Software mit automatischer Ergebnisverifikation unter anderem mit Nixdorf in Paderborn (Pascal-XSC u. a.), IBM (Projekte Acrith und Acrith-XSC) und Siemens (Programmpaket Arithmos). In den 1990er Jahren entwickelte er die Programmiersprache C-XSC und zugehörige Problemlöseroutinen mit automatischer Ergebnisverifikation. Mit Partnern aus Stuttgart (Bernd Höfflinger, Professor am Institut für Mikroelektronik) und Hamburg (Thomas Teufel, Professor an der TU Hamburg-Harburg) wurde ein Vektorarithmetik-Koprozessor XPA 3233 für den PC entwickelt und gebaut. Er berechnet Skalarprodukte von Gleitkommavektoren immer exakt.
Kulisch war 1968 Gründungsmitglied der Gesellschaft für Informatik. Er war langjähriger Vorsitzender des Fachausschusses Rechnerarithmetik und Wissenschaftliches Rechnen der Gesellschaft für Angewandte Mathematik und Mechanik (GAMM) und des Technical Committees Enhanced Computer Arithmetic der International Association for Mathematics and Computers in Simulation (IMACS). Siet 1979 gehört er der IFIP Working Group 2.5 on Numerical Software der International Federation for Information Processing (IFIP) an. Er arbeitet im IEEE Standardkomitee P1788 für Intervallarithmetik mit.
1968 bis 1999 war er Herausgeber der Lehrbuchreihe Informatik des Bibliographischen Instituts, Mannheim und 1975 bis 1998 war er Herausgeber des Jahrbuchs Überblicke Mathematik (BI).
45 Schüler haben bei Ulrich Kulisch promoviert, darunter Götz Alefeld. 15 ehemalige Mitarbeiter sind inzwischen selbst Professoren.
Schriften
- mit J. Heinhold: Analogrechnen, Eine Einführung, Reihe Informatik, BI 1968.
- Grundlagen des Numerischen Rechnens - Mathematische Begründung der Rechnerarithmetik, Reihe Informatik 19, BI 1976.
- Grundzüge der Intervallrechnung, Jahrbuch Überblicke Mathematik, Band 2, BI, Mannheim 1969.
- mit W. L. Miranker: Computer Arithmetic in Theory and Practice, Academic Press 1981.
- mit W. L. Miranker (Herausgeber): A New Approach to Scientific Computation, Academic Press, New York, 1983.
- mit W. L. Miranker: The arithmetic of the digital computer: a new approach, SIAM Rev. 28 (1986) 1-40.
- mit H.J. Stetter (Herausgeber), Scientific Computation with Automatic Result Verification, Computing Supplementum, Band 6, Springer, Wien, 1988.
- Herausgeber: Wissenschaftliches Rechnen mit Ergebnisverifikation, Vieweg 1989.
- mit R. Klatte, M. Neaga, D. Ratz, Ch. Ullrich: Pascal-XSC - Sprachbeschreibung mit Beispielen, Springer 1991 (englische Ausgabe Springer 1992, russische Ausgabe 1997, 2. Auflage 2000).
- mit R. Klatte, A. Wiethoff, C. Lawo, M. Rauch: C-XSC, A C++ Class Library for Extended Scientific Computation, Springer-Verlag 1992.
- mit R. Hammer, M. Hocks, D. Ratz: C++ Toolbox for Verified Computing, Springer 1995 (russische Ausgabe 2005).
- Computer, Arithmetik und Numerik - ein Memorandum, Überblicke Mathematik, Vieweg 1998.
- Advanced Arithmetic for the Digital Computer - Design of Arithmetic Units, Springer-Verlag 2002.
- Computer Arithmetic and Validity - Theory, Implementation, and Applications, de Gruyter 2008, 2. Auflage 2013.
- An Axiomatic Approach to Computer Arithmetic with an Appendix on Interval Hardware, Springer LNCS 7204, pp. 484 – 495, 2012.
- Up-to-date Interval Arithmetic: From Closed and Bounded Intervals to Connected Sets of Real Numbers, Springer LNCS 9574, pp. 413 - 434, 2016.
- mit G. Bohlender: High Speed Associative Accumulation of Floating-point Numbers and Floating-point Intervals, Reliable Computing, pp. 141-153, 2016.