Bill Schelter - Wikipedia, la enciclopedia libre
De Wikipedia, la enciclopedia libre
(Redirigido desde «William Schelter»)
| Bill Schelter | |
|---|---|
| Información personal | |
| Nombre de nacimiento | William Frederick Schelter |
| Nacimiento |
15 de octubre de 1947 Canadá |
| Fallecimiento |
30 de julio de 2001 Rusia |
| Nacionalidad | Estadounidense |
| Educación | |
| Educado en |
Universidad McGill  |
| Supervisor doctoral |
Joachim Lambek |
| Información profesional | |
| Ocupación | profesor, matemático, programador |
| Empleador |
Universidad de Texas en Austin |
William Frederick Schelter (Canadá, 15 de octubre de 1947 – Rusia, 30 de julio de 2001)[1][2] fue un profesor de matemáticas en la Universidad de Texas en Austin y programador y desarrollador de software en Lisp.
A Schelter se le atribuyen el desarrollo de la implementación de Common Lisp GNU Common Lisp (gcl) y la versión con licencia GPL del sistema algebraico computacional Macsyma llamada Maxima. También se le atribuye el primer port del compilador de C de GNU a la arquitectura Intel 386, que se usó en la implementación original del núcleo Linux [1].
Schelter obtuvo su doctorado en la Universidad McGill en 1972. Su especialidad matemática era el álgebra computacional y sus aplicaciones, incluyendo la demostración automática de teoremas en geometría.
En verano de 2001, a los 54 años, falleció repentinamente por infarto agudo de miocardio[cita requerida], mientras viajaba por Rusia.
- ↑ «IN MEMORIAM - WILLIAM FREDERICK SCHELTER» (en inglés). The University of Texas. Consultado el 18 de mayo de 2014.
- ↑ «William F Schelter (1947 - 2001)». ancientfaces.com. Consultado el 18 de mayo de 2014.
- S. Chou y W. Schelter. Proving Geometry Theorems with Rewrite Rules Journal of Automated Reasoning, 1986.
Datos: Q3568941