Bill Schelter: Difference between revisions
imported>Lepricavark m →top: prepended 'Use mdy dates' tag |
imported>Waacstats m –{{US-academic-bio-stub}}, +{{US-academic-scientist-stub}} using StubSorter |
||
| Line 37: | Line 37: | ||
* {{MathGenealogy|id=13017}} | * {{MathGenealogy|id=13017}} | ||
* [ | * [https://maxima.sourceforge.net/ Maxima homepage. Maxima is now available under GPL]. | ||
{{Authority control}} | {{Authority control}} | ||
| Line 49: | Line 49: | ||
[[Category:University of Texas at Austin faculty]] | [[Category:University of Texas at Austin faculty]] | ||
[[Category:McGill University Faculty of Science alumni]] | [[Category:McGill University Faculty of Science alumni]] | ||
{{UTexas-stub}} | {{UTexas-stub}} | ||
{{US-mathematician-stub}} | {{US-mathematician-stub}} | ||
{{US-academic-scientist-stub}} | |||
Latest revision as of 13:12, 14 November 2025
Template:Short description Template:Use mdy dates Script error: No such module "Unsubst".
Script error: No such module "infobox".Script error: No such module "Check for unknown parameters".Template:Main otherScript error: No such module "Check for clobbered parameters".Template:Wikidata image
William Frederick Schelter (1947[1] – 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 the GNU Common Lisp (GCL) implementation of Common Lisp and the GPL'd version of the computer algebra system Macsyma called Maxima. Schelter authored Austin Kyoto Common Lisp (AKCL) under contract with IBM. AKCL formed the foundation for Axiom, another computer algebra system. AKCL eventually became GNU Common Lisp. 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.[2]
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.
External links
- Template:PAGENAMEBASE at the Mathematics Genealogy ProjectTemplate:EditAtWikidata
- Maxima homepage. Maxima is now available under GPL.
Template:US-mathematician-stub Template:US-academic-scientist-stub
- ↑ In memoriam. Access in 2007-07-05.
- ↑ [1] Template:Webarchive