ビル・シェルター

ウィリアム・フレデリック・シェルター（1947 ^{[1] - 2001年7月30日）は}、テキサス大学オースティン校の数学教授であり、Lisp開発者およびプログラマーでした。シェルターは、 Common LispのGNU Common Lisp（GCL）実装と、コンピュータ代数システムMacsymaのGPLバージョンであるMaximaの開発で知られています。シェルターは、IBMとの契約でAustin Kyo Common Lisp （AKCL）を著しました。AKCLは、別のコンピュータ代数システムであるAxiomの基礎を形成しました。AKCLは最終的にGNU Common Lispになりました。彼はまた、 Linuxカーネルの元の実装で使用されたIntel 386アーキテクチャへのGNU Cコンパイラの最初の移植でも知られています。^[2]

シェルターは1972 年にマギル大学で博士号を取得しました。彼の数学の専門は、非可換環論と計算代数、および幾何学における 自動定理証明を含むその応用でした。

2001年の夏、54歳でロシア旅行中に心臓発作で突然亡くなった。

• S. Chou と W. Schelter。書き換え規則による幾何学定理の証明、 Journal of Automated Reasoning、1986 年。

• 数学系譜プロジェクトのビル・シェルター
• Maxima ホームページ。Maxima は現在 GPL で利用可能です。