빌 셸터

Bill Schelter
빌 셸터
태어난1947 (1947)
죽은2001년 7월 30일(2001-07-30)(53-54)
국적미국인의
교육수학(Ph.D.)
모교맥길 대학교
직업컴퓨터 과학자, 수학 교수
고용주텍사스 대학교 오스틴
로 알려져 있다.오스틴 교토 커먼 리스프, GNU 커먼 리스프, GNU C 컴파일러, Maxima

윌리엄 프레더릭 셸터(1947년[1] ~ 2001년 7월 30일)는 오스틴의 텍사스 대학교 수학 교수로, 리스프 개발자프로그래머였다.셸터는 Common LispGNU 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로 기하학적 이론 입증.
  1. ^ 암기할 때론.2007-07-05년 접속.
  2. ^ [1] 2006년 9월 1일 웨이백머신보관

외부 링크