빌 셸터
Bill Schelter빌 셸터 | |
---|---|
태어난 | 1947 |
죽은 | 2001년 7월 30일 | 53-54)
국적 | 미국인의 |
교육 | 수학(Ph.D.) |
모교 | 맥길 대학교 |
직업 | 컴퓨터 과학자, 수학 교수 |
고용주 | 텍사스 대학교 오스틴 |
로 알려져 있다. | 오스틴 교토 커먼 리스프, GNU 커먼 리스프, GNU C 컴파일러, Maxima |
윌리엄 프레더릭 셸터(1947년[1] ~ 2001년 7월 30일)는 오스틴의 텍사스 대학교 수학 교수로, 리스프 개발자 겸 프로그래머였다.셸터는 Common Lisp의 GNU Common Lisp(GCL) 구현과 Maxima라고 불리는 컴퓨터 대수 시스템의 GPL'd 버전을 개발한 공로를 인정받고 있다.셸터는 IBM과 계약을 맺고 오스틴 교토 커먼 리스프(ACCL)를 저술했다.AKCL은 또 다른 컴퓨터 대수 체계인 Axiom의 기초를 형성했다.AKCL은 결국 GNU Common Lisp이 되었다.그는 또한 리눅스 커널의 원래 구현에 사용되는 인텔 386 아키텍처에 대한 GNU C 컴파일러의 첫 번째 포트로 인정받고 있다.[2]
셸터는 1972년 맥길 대학에서 박사학위를 취득했다.그의 수학적 특기는 기하학에서 증명되는 자동 정리를 포함한 비확정 고리 이론과 계산 대수학 그리고 그 응용이었다.
2001년 여름, 54세의 나이로 러시아를 여행하던 중 심장마비로 갑자기 사망했다.
참조
- S. 추와 W. 셸터.Rewrite Rules Journal of Automated Reasoning, 1986로 기하학적 이론 입증.
외부 링크
- 수학계보 프로젝트 빌 셸터
- 맥시마 홈페이지. Maxima는 현재 GPL로 이용할 수 있다.