William Frederick Schelter (1947 [1] - 30 de julio de 2001) fue profesor de matemáticas en la Universidad de Texas en Austin y desarrollador y programador Lisp . A Schelter se le atribuye el desarrollo de la implementación GNU Common Lisp (GCL) de Common Lisp y la versión GPL del sistema de álgebra computacional Macsyma llamado Maxima . Schelter fue el autor de Austin Kyoto Common Lisp (AKCL) bajo contrato con IBM . AKCL formó la base de Axiom , otro sistema de álgebra computacional. AKCL finalmente se convirtió en GNU Common Lisp. También se le atribuye el primer puerto del compilador GNU C a la arquitectura Intel 386 , utilizado en la implementación original del kernel de Linux . [2]
Bill Schelter | |
---|---|
Nació | 1947 |
Fallecido | 30 de julio de 2001 | (53 a 54 años)
Nacionalidad | Estados Unidos |
Educación | Matemáticas ( doctorado ) |
alma mater | Universidad McGill |
Ocupación | Informática , Profesora de Matemáticas |
Empleador | La Universidad de Texas en Austin |
Conocido por | Austin Kyoto Common Lisp , GNU Common Lisp , compilador GNU C , Maxima |
Schelter obtuvo su Ph.D. en la Universidad McGill en 1972. Sus especialidades matemáticas fueron la teoría de anillos no conmutativos y el álgebra computacional y sus aplicaciones, incluida la demostración automatizada de teoremas en geometría.
En el verano de 2001, a los 54 años, murió repentinamente de un ataque cardíaco mientras viajaba por Rusia .
Referencias
- S. Chou y W. Schelter. Demostración de teoremas de geometría con reglas de reescritura Journal of Automated Reasoning, 1986.
- ^ In memoriam . Acceso en 2007-07-05.
- ^ [1] Archivado el 1 de septiembre de 2006 en la Wayback Machine.
enlaces externos
- Bill Schelter en el Proyecto de genealogía matemática
- Página de inicio de Maxima. Maxima ahora está disponible bajo GPL .