Ulrich Kulisch - Ulrich Kulisch

Ulrich W. Kulisch (1933 yılında doğdu Breslau ) konusunda uzmanlaşmış bir Alman matematikçidir Sayısal analiz bilgisayar uygulaması dahil aralık aritmetiği.

Deneyim

Liseden mezun olduktan sonra Freising Kulisch, Münih Üniversitesi ve Münih Teknik Üniversitesi 1961'de tezini nerede tamamladı (Behandlung von Differentialgleichungen im Komplexen auf dem elektronischen Analogrechner) Josef Heinhold altında.[1] 1963'teki doktora sonrası yeterliliğinden sonra, 1964-1966 yılları arasında Münih Üniversitesi'nde Sayısal Matematik Profesörü ve 1966'da Matematik Profesörü ve Uygulamalı Matematik Enstitüsü Direktörü Karlsruhe Üniversitesi.

Akademide geçirdiği süre boyunca Kulisch yurtdışında birkaç maaşlı izin geçirdi. 1969 / 1970'te Matematik Araştırma Merkezi'nde zaman geçirdi. Wisconsin-Madison Üniversitesi altında Ramon Edgar Moore; 1972/1973 ve 1978/1979'da IBM 's Thomas J. Watson Araştırma Merkezi içinde Yorktown Heights (birlikte çalıştığı yer Willard L. Miranker (1932–2011)); ve 1998 ve 1999 / 2000'de Elektroteknik Laboratuvarında Tsukuba Üniversitesi.[2]

Kulisch'in öncülerinden biriydi aralık aritmetiği 1960'larda Almanya'da ve disiplinin kurulmasına yardımcı oldu. Karl Nikel [de ] ve Fritz Krückeberg [de ]. Bilgisayarlarda aralık aritmetiği uygulamaları, Algol 1960'larda. Kulisch, aşağıdakileri içeren otomatik sonuç doğrulamalı bir yazılım geliştirdi: Nixdorf Bilgisayar (Pascal-XSC ve diğerleri), IBM (projeler AKRİT ve ACRITH-XSC ) ve Siemens (program paketi ARİTMOS ). Karlsruhe'de geliştirdi C-XSC ve ilgili program kitaplıkları. 1993/1994'te ayrıca bir donanım uygulamasında yer aldı. XPA 3233 vektör aritmetik işlemcisi.

1968'de Bilgisayar Bilimleri Derneği'nin kurucu üyesi, Bilgisayar Matematiği ve Bilimsel Hesaplama Komitesi'nin başkanlığını yaptı. Angewandte Mathematik und Mechanik için Gesellschaft (GAMM) ve International Association for Mathematics and Computers in Simulation (IMACS) Teknik Komitelerinin Gelişmiş Bilgisayar Aritmetiği 1979 Uluslararası Bilgi İşlem Federasyonu (IFIP) Çalışma Grubu 2.5 (Sayısal Yazılım) Alman üyesi. 1980'den beri üyedir. IEEE Standart Komitesi P1788'de aralık aritmetiği.

1975'ten 1998'e kadar Bibliyografya Enstitüsü 's Jahrbuchs Überblicke Mathematik.

Kaynakça

  • "Grundlagen des Numerischen Rechnens - Mathematische Begründung der Rechnerarithmetik", Reihe Informatik 19, BI 1976
  • "Grundzüge der Intervallrechnung", Jahrbuch Überblicke Mathematik, cilt 2, BI, Mannheim 1969
  • ile Willard L. Miranker (editör): Bilimsel Hesaplamaya Yeni Bir Yaklaşım, Academic Press, New York, 1983.
  • Willard L. Miranker ile: "Dijital bilgisayarın aritmetiği: yeni bir yaklaşım", SIAM Rev. 28 (1986) 1–40.
  • H. J. Stetter (editör), "Otomatik Sonuç Doğrulamalı Bilimsel Hesaplama", Hesaplama Eki, cilt 6, Springer, Wien, 1988.
  • Editör: Wissenschaftliches Rechnen mit ErgebnisverifikationVieweg 1989
  • Willard L. Miranker ile: Teori ve Uygulamada Bilgisayar Aritmetiği, Academic Press 1981
  • R. Klatte, M. Neaga, D. Ratz, Ch. Ullrich: Pascal XSC- Sprachbeschreibung mit Beispielen, Springer 1991 (İngilizce baskısı, Springer 1992)
  • R. Hammer, M. Hocks, D. Ratz ile birlikte: C++ Doğrulanmış Hesaplama için Araç KutusuSpringer 1995
  • Bilgisayar, Arithmetik und Numerik - ein Memorandum, Überblicke Mathematik, Vieweg 1998
  • Dijital Bilgisayar için Gelişmiş Aritmetik - Aritmetik Birimlerin Tasarımı, Springer-Verlag 2002
  • Bilgisayar Aritmetiği ve Geçerlilik - Teori, Uygulama ve Uygulamalar, de Gruyter 2008, 2. baskı, 2013

Referanslar

  1. ^ Ulrich Kulisch -de Matematik Şecere Projesi
  2. ^ "Ulrich W. Kulisch - Özgeçmiş"

Dış bağlantılar