울리히 쿨리슈

Ulrich Kulisch

울리히 W. 쿨리슈(Ulrich W. Kulisch, 1933년 브레슬라우 출생)는 인터벌 산술의 컴퓨터 구현 등 수치 분석을 전문으로 하는 독일의 수학자다.

경험

프레이징에서 고등학교를 졸업한 후 쿨리쉬는 뮌헨 대학과 뮌헨 기술 대학에서 수학을 공부했고, 1961년 조제프 하인홀드 휘하의 논문(Behandlung von Differentleichungen im Komplexen auf dem Elektronischen Analogrechner)을 완성했다.[1]1963년 박사 후 자격을 취득한 후 1964년부터 1966년까지 뮌헨 대학교의 수치 수학 교수 직무대행을 맡았으며, 1966년부터는 칼스루에 대학교의 수학 교수 겸 응용 수학 연구소 소장을 역임하였다.

학계에 있는 동안 쿨리쉬는 해외에서 몇 번의 안식년을 보냈다.He spent time in 1969/1970 at the Mathematics Research Center of the University of Wisconsin–Madison under Ramon Edgar Moore; in 1972/1973 and 1978/1979 at IBM's Thomas J. Watson Research Center in Yorktown Heights (where he worked alongside Willard L. Miranker (1932–2011)); and in 1998 and 1999/2000 at the Electrotechnical Laboratory at the Unive츠쿠바의 [2]정사

쿨리슈는 1960년대 독일에서 인터벌 산술의 선구자 중 한 사람으로, 칼 니켈[de], 프리츠 크뤼케베르크[de]와 함께 규율을 찾는데 도움을 주었다.그가 컴퓨터에 인터벌 산수를 구현한 것은 1960년대 알골에서 시작되었다.쿨리쉬는 닉스도르프컴퓨터(Pascal-XSC 등), IBM(ACRITS·ACRITS-XSC 프로젝트), 지멘스(프로그램 패키지 ARITMOS) 등 자동화된 결과 검증이 가능한 소프트웨어를 개발했다.Karlsruhe에서 그는 C-XSC와 관련 프로그램 라이브러리를 개발했다.1993/1994년 그는 또한 XPA 3233 벡터 산술 코프로세서의 하드웨어 구현에 관여했다.

1968년 컴퓨터과학협회 창립 멤버로 제셀샤프트(Fur Angelwandte Matheatik und Mechanicalik, GAMM)의 컴퓨터수학과학컴퓨팅위원회(Computer Committee)와 국제수학컴퓨터협회(International Association of Simulation)의 컴퓨터 산술 강화 기술위원회 위원장을 지냈다.(IMACS) 1979년 국제정보처리연맹(IFIP)의 작업그룹 2.5(숫자 소프트웨어)의 독일 회원이며, 그 중 1980년부터 회원이 되었다.그는 인터벌 산술 IEEE 표준 위원회 P1788에 속해 있다.

1975년부터 1998년까지 그는 Bibliographisches Institute의 Jahrbuchs Uberblicke Mathik의 편집장을 지냈다.

참고 문헌 목록

  • "Grundlagen des Mumischen Rechen – Mathalische Beündung der Rechnerar metricik", Reihe Informatik 19, BI 1976년
  • "Grundzüge der Intervalrecheng", 자흐부흐 위버블릭케 수학, 제2, BI, Mannheim 1969.
  • Willard L. Miranker(편집자):1983년 뉴욕 학술지 학술지, 과학 연산에 대한 새로운 접근법
  • Wilard L. Miranker와 함께: "디지털 컴퓨터의 산술: 새로운 접근법" SIAM 28조 (1986) 1–40.
  • H. J. Stetter(편집자), "자동 결과 검증을 통한 과학 계산", Computing Suppleum, 6권 스프링거, Wien, 1988. 1988.
  • 편집자: Wissenschaftliches Rechen mit Ergebnisverifiation, 1989년 비에베그
  • Willard L. Miranker와 함께: 이론과 실제에서의 컴퓨터 연산, 1981년 학술언론
  • R. Klatte, M. Neaga, D. Ratz, Ch. Ulrich: Pascal XSC- Sprachchreibung Mit Beispielen, Springer 1991(영어판, Springer 1992)
  • R. 해머로 M.후크, D. 라츠:C++ 검증된 컴퓨팅을 위한 툴박스, Springer 1995
  • 컴퓨터, 산술 und 수식 – ein 메모, Uberblicke Mathik, Vieweg 1998
  • 디지털 컴퓨터의 고급 산술 - 산술 단위 설계, Springer-Verlag 2002
  • 컴퓨터 산술 및 유효성 – 이론, 구현 및 응용 프로그램, de Gruyter 2008, 제2판, 2013

참조

  1. ^ 수학계보 프로젝트 울리히 쿨리슈
  2. ^ Ulrich W. Kulisch - 커리큘럼 비테

외부 링크