Билл Шелтер

Билл Шелтер
Рожденный	1947  ( 1947 )
Умер	30 июля 2001 г. (30 июля 2001 г.) (53–54 лет)
Национальность	Американский
Образование	Математика ( доктор философии )
Альма-матер	Университет Макгилла
Род занятий	Компьютерщик , профессор математики
Работодатель	Техасский университет в Остине
Известный	Остин Киото Common Lisp , GNU Common Lisp , компилятор GNU C , Maxima

Уильям Фредерик Шелтер (1947) — 30 ​​июля 2001) — профессор математики разработчик Техасского университета в Остине, и Lisp программист на языке . Шелтеру приписывают разработку GNU Common Lisp (GCL) реализации Common Lisp и GPL -версии системы компьютерной алгебры Macsyma под названием Maxima . Шелтер написал Austin Kyoto Common Lisp (AKCL) по контракту с IBM . AKCL лег в основу Axiom , еще одной системы компьютерной алгебры. AKCL в конечном итоге стал GNU Common Lisp. Ему также приписывают первый порт компилятора GNU C на архитектуру Intel 386 , использованную в исходной реализации ядра Linux .

Шелтер получил докторскую степень. в Университете Макгилла в 1972 году. Его математическими специальностями были некоммутативная теория колец, вычислительная алгебра и ее приложения, включая автоматическое доказательство теорем в геометрии.

Летом 2001 года в возрасте 54 лет он внезапно скончался от сердечного приступа во время путешествия по России .

Ссылки

• С. Чжоу и В. Шелтер. Доказательство теорем геометрии с помощью правил перезаписи. Журнал автоматизированных рассуждений, 1986.

Внешние ссылки

• Билл Шелтер в проекте «Математическая генеалогия»
• Домашняя страница Максимы. Maxima теперь доступна под лицензией GPL .