Ulrich Kulisch - Ulrich Kulisch

Ulrich W. Kulisch (urodzony 1933 w Breslau ) jest niemiecki matematyk specjalizujący się w analizie numerycznej , w tym realizacji komputerowej arytmetyki przedziałowej .

Po ukończeniu liceum w Freising , Kulisch Studiował matematykę na Uniwersytecie w Monachium i Uniwersytetu Technicznego w Monachium , gdzie w 1961 roku ukończył rozprawę ( Behandlung von Differentialgleichungen im Komplexen auf dem elektronischen Analogrechner ) pod Josefa Heinhold . Po jego kwalifikacji doktora w 1963 roku, pełnił profesor numeryczne Matematyki Uniwersytetu w Monachium od 1964 do 1966 roku, a od 1966 profesorem matematyki i dyrektora Instytutu Matematyki Stosowanej na Uniwersytecie w Karlsruhe .

Podczas pobytu w środowisku akademickim, Kulisch spędził kilka urlop naukowy za granicą. Przebywał w 1969/70 w Centrum Badań Matematyki Uniwersytetu Wisconsin-Madison pod Ramon E. Moore ; w 1972/73 i 1978/79 w IBM jest Thomas J. Watson Research Center w Yorktown Heights (gdzie pracował u boku Willard L. Miranker (1932-2011)); aw 1998 i 1999/2000 w Laboratorium Elektrotechniki na Uniwersytecie Tsukuba .

Kulisch był jednym z pionierów arytmetyki przedziałowej w Niemczech w 1960 roku i pomógł znaleźć dyscypliny, wraz z Karl Nikiel i Fritz Kruckeberg . Jego implementacje arytmetyki interwałowej w komputerach rozpoczął Algol w 1960 roku. Kulisch opracowane oprogramowanie z automatycznym wyników weryfikacji w tym Nixdorf Computer (Pascal-XSC i innych), IBM (projekty Acrith i Acrith-XSC) i Siemens (pakiet programów Arithmos). W Karlsruhe, rozwinął C-XSC i związanych z biblioteki programu. W sezonie 1993/94 był także zaangażowany w implementacji sprzętowej na XPA 3233 wektor koprocesora arytmetycznego.

Był członkiem-założycielem Stowarzyszenia Informatyki w 1968 roku, był prezesem Matematyki Informatyki i naukowego Computing Komitetu Gesellschaft für Angewandte Mathematik und Mechanik (Gamm) i komitety techniczne Zwiększona Computer arytmetyki Międzynarodowego Stowarzyszenia Matematyki i komputery w symulacji (iMac) 1979 niemiecki członek grupy roboczej 2.5 (Numerical Software) Międzynarodowej Federacji Przetwarzania Informacji (IFIP), którego jest członkiem od 1980 roku jest na standardzie IEEE P1788 Komitetu dla arytmetyki przedziałowej .

Od 1975 do 1998 był redaktorem z Institut Bibliographisches „s Jahrbuchs Überblicke Mathematik .

Bibliografia

  • "Grundlagen des Numerischen Rechnens - Mathematische Begründung der Rechnerarithmetik" Reihe Informatik 19, BI 1976
  • "Grundzüge der Intervallrechnung" Jahrbuch Überblicke Mathematik , tom 2, BI, Mannheim 1969
  • z WL Miranker (redaktor): nowe podejście do obliczeń Naukowego , Academic Press, New York, 1983.
  • z WL Miranker: "arytmetyki komputera cyfrowym: nowe podejście", SIAM Rev. 28 (1986) 1-40.
  • z HJ Stetter (redaktor), "Obliczanie Naukowego z automatyczną weryfikację Result", Computing dostawie , tom 6, Springer, Wien, 1988.
  • Redaktor: Wissenschaftliches Rechnen mit Ergebnisverifikation , Vieweg 1989
  • z WL Miranker: Computer Arithmetic w teorii i praktyce , Academic Press 1981
  • R. Klatte M. Neaga D. Ratz, Ch. Ullrich: Pascal XSC- Sprachbeschreibung mit Beispielen , Springer 1991 (wersja angielska, Springer 1992)
  • R. Hammer, stawów skokowych, D. M. Ratz: C ++ Toolbox zweryfikowanych Computing , Springer 1995
  • Komputer, Arithmetik und Numerik - ein Memorandum , Überblicke Mathematik, Vieweg 1998
  • Zaawansowane arytmetyczne na komputerze cyfrowym - Projektowanie Jednostki arytmetyczno , Springer-Verlag 2002
  • Komputer arytmetyczny i ważności - Teoria, wdrażanie i Aplikacje , de Gruyter 2008, wydanie 2, 2013

Referencje

  1. ^ Ulrich Kulisch w projekcie matematyka genealogii
  2. ^ "Ulrich W. Kulisch - CV"

Linki zewnętrzne