Bill Schelter: Difference between revisions
spelling of travelling-->traveling, changed computational algreba to link to Computer_algebra_system |
actual, should link to Symbolic Mathematics, not Computer Algebra System |
||
Line 1: | Line 1: | ||
'''William Frederick Schelter''' (born [[1947]]<ref>[http://www.utexas.edu/faculty/council/2004-2005/memorials/schelter/schelter.html In memoriam]. Access in 2007-07-05.</ref>, died [[July 30]], [[2001]]) was a professor of [[mathematics]] at [[University of Texas at Austin|The University of Texas at Austin]] and a [[Lisp programming language|Lisp]] [[software developer|developer]] and [[programmer]]. Schelter is credited with the development of [[GNU Common Lisp]] (gcl) implementation of [[Common Lisp]] and the GPL'd version of the [[Computer_algebra_system|computer algebra system]] [[Macsyma]] called [[GNU Maxima]]. He is also credited with the first port of the GNU C [[compiler]] to the INTEL 386 architecture, used in the original implementation of the [[Linux]] kernel [http://alamos.math.arizona.edu/symcomp/announcement.txt]. |
'''William Frederick Schelter''' (born [[1947]]<ref>[http://www.utexas.edu/faculty/council/2004-2005/memorials/schelter/schelter.html In memoriam]. Access in 2007-07-05.</ref>, died [[July 30]], [[2001]]) was a professor of [[mathematics]] at [[University of Texas at Austin|The University of Texas at Austin]] and a [[Lisp programming language|Lisp]] [[software developer|developer]] and [[programmer]]. Schelter is credited with the development of [[GNU Common Lisp]] (gcl) implementation of [[Common Lisp]] and the GPL'd version of the [[Computer_algebra_system|computer algebra system]] [[Macsyma]] called [[GNU Maxima]]. He is also credited with the first port of the GNU C [[compiler]] to the INTEL 386 architecture, used in the original implementation of the [[Linux]] kernel [http://alamos.math.arizona.edu/symcomp/announcement.txt]. |
||
Schelter obtained his [[Doctor of Philosophy|Ph.D.]] at [[McGill University]] in [[1972]]. His mathematical specialties were noncommutative [[ring theory]] and [[ |
Schelter obtained his [[Doctor of Philosophy|Ph.D.]] at [[McGill University]] in [[1972]]. His mathematical specialties were noncommutative [[ring theory]] and [[symbolic computation|computational algebra]] and its applications, including [[automated theorem proving]] in geometry. |
||
In the summer of [[2001]], age 54, he died suddenly of a [[myocardial infarction|heart attack]] while traveling in [[Russia]]. |
In the summer of [[2001]], age 54, he died suddenly of a [[myocardial infarction|heart attack]] while traveling in [[Russia]]. |
Revision as of 22:42, 8 February 2008
William Frederick Schelter (born 1947[1], died July 30, 2001) was a professor of mathematics at The University of Texas at Austin and a Lisp developer and programmer. Schelter is credited with the development of GNU Common Lisp (gcl) implementation of Common Lisp and the GPL'd version of the computer algebra system Macsyma called GNU Maxima. He is also credited with the first port of the GNU C compiler to the INTEL 386 architecture, used in the original implementation of the Linux kernel [1].
Schelter obtained his Ph.D. at McGill University in 1972. His mathematical specialties were noncommutative ring theory and computational algebra and its applications, including automated theorem proving in geometry.
In the summer of 2001, age 54, he died suddenly of a heart attack while traveling in Russia.
References
- S. Chou and W. Schelter. Proving Geometry Theorems with Rewrite Rules Journal of Automated Reasoning, 1986.
Notes
- ^ In memoriam. Access in 2007-07-05.