Bill 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
	[editar datos en Wikidata]

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.

Biografía

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.