Ульрих Кулиш
Ульрих В. Кулиш (родился в 1933 в Бреслау ) — немецкий математик, специализирующийся на численном анализе , включая компьютерную реализацию интервальной арифметики .
Опыт
[ редактировать ]После окончания средней школы во Фрайзинге Кулиш изучал математику в Мюнхенском университете и Мюнхенском техническом университете , где в 1961 году защитил диссертацию ( Обработка дифференциальных уравнений в комплексах на электронном аналоговом компьютере ) под руководством Йозефа Хейнхольда. [1] После получения докторской степени в 1963 году он был исполняющим обязанности профессора вычислительной математики Мюнхенского университета с 1964 по 1966 год, а с 1966 года — профессором математики и директором Института прикладной математики Университета Карлсруэ .
Во время учебы Кулиш провел несколько творческих отпусков за границей. В 1969/1970 году он провел время в Центре математических исследований Университета Висконсин-Мэдисон под руководством Рамона Эдгара Мура ; в 1972/1973 и 1978/1979 годах в IBM компании Исследовательском центре Томаса Дж. Уотсона в Йорктаун-Хайтс (где он работал вместе с Уиллардом Л. Миранкером (1932–2011)); и в 1998 и 1999/2000 годах в Электротехнической лаборатории Университета Цукубы . [2]
Кулиш был одним из пионеров интервальной арифметики в Германии в 1960-х годах и помог основать эту дисциплину вместе с Карлом Никелем и Фрицем Крюкебергом . Его реализация интервальной арифметики в компьютерах началась с Алгола в 1960-х годах. Кулиш разработал программное обеспечение с автоматизированной проверкой результатов, в том числе Nixdorf Computer ( Pascal-XSC и др.), IBM (проекты ACRITH и ACRITH-XSC ) и Siemens (пакет программ ARITHMOS ). В Карлсруэ он разработал C-XSC и связанные с ним программные библиотеки. В 1993/1994 годах он также участвовал в аппаратной реализации векторного арифметического сопроцессора XPA 3233 .
Он был одним из основателей Ассоциации компьютерных наук в 1968 году, был председателем комитета по компьютерной математике и научным вычислениям Общества математики и механики (GAMM) и технических комитетов по расширенной компьютерной арифметике Международной ассоциации математики и компьютеров. в области моделирования (IMACS) 1979 г. Немецкий член Рабочей группы 2.5 (числовое программное обеспечение) Международной федерации обработки информации (IFIP), членом которой он является с 1980 г. Он входит в комитет по стандартизации IEEE P1788 по интервальной арифметике .
С 1975 по 1998 год он был редактором библиографии Института ежегодника обзоров математики .
Библиография
[ редактировать ]- «Основы числовых вычислений - математическое обоснование компьютерной арифметики», серия информатики 19, BI, 1976 г.
- «Основные особенности интервального расчета», Ежегодник «Обзоры математики» , том 2, BI, Мангейм, 1969 г.
- с Уиллардом Л. Миранкером (редактор): Новый подход к научным вычислениям , Academic Press, Нью-Йорк, 1983.
- с Уиллардом Л. Миранкером: «Арифметика цифрового компьютера: новый подход», SIAM Rev. 28 (1986) 1–40.
- совместно с Х. Дж. Стеттером (редактор), «Научные вычисления с автоматической проверкой результатов», Computing Supplementum , том 6, Springer, Вена, 1988.
- Редактор: Научные вычисления с проверкой результатов , Vieweg, 1989 г.
- с Уиллардом Л. Миранкером: компьютерная арифметика в теории и практике , Academic Press, 1981 г.
- с Р. Клатте, М. Неагой, Д. Рацем, Ч. Ульрихом: описание языка Pascal XSC с примерами , Springer 1991 (английское издание, Springer 1992).
- с Р. Хаммером, М. Хоксом, Д. Ратцем: Набор инструментов C++ для проверенных вычислений , Springer, 1995 г.
- Компьютеры, арифметика и числа - меморандум , обзоры математики, Vieweg 1998 г.
- Расширенная арифметика для цифрового компьютера – проектирование арифметических единиц , Springer-Verlag, 2002 г.
- Компьютерная арифметика и достоверность – теория, реализация и приложения , де Грюйтер, 2008 г., 2-е издание, 2013 г.
Ссылки
[ редактировать ]Внешние ссылки
[ редактировать ]- Домашняя страница (на немецком языке)
- Биография (на немецком языке)
- Литература Ульриха Кулиша и о нем в Немецкой национальной библиотеки каталоге