بيل شيلتر

كان ويليام فريدريك شيلتر (1947 ^{[ 1 ]} - 30 يوليو 2001) أستاذًا للرياضيات في جامعة تكساس في أوستن، ومطورًا ومبرمجًا للغة ليسب . يُنسب إلى شيلتر تطوير تطبيق GNU Common Lisp (GCL) للغة Common Lisp ، والنسخة المرخصة بموجب رخصة GPL من نظام الجبر الحاسوبي Macsyma ، والتي سُميت Maxima . كما قام شيلتر بتأليف Austin Kyoto Common Lisp (AKCL) بموجب عقد مع شركة IBM . شكلت AKCL الأساس لنظام Axiom ، وهو نظام جبر حاسوبي آخر. أصبحت AKCL فيما بعد GNU Common Lisp. ويُنسب إليه أيضًا الفضل في أول عملية نقل لمترجم GNU C إلى بنية Intel 386 ، والتي استُخدمت في التنفيذ الأصلي لنواة لينكس . ^{[ 2 ]}

حصل شيلتر على درجة الدكتوراه من جامعة ماكجيل في عام 1972. وكانت تخصصاته الرياضية هي نظرية الحلقات غير التبادلية والجبر الحسابي وتطبيقاته، بما في ذلك إثبات النظريات الآلي في الهندسة.

في صيف عام 2001، عن عمر يناهز 54 عامًا، توفي فجأة بنوبة قلبية أثناء سفره في روسيا .

• S. Chou and W. Schelter. Proving Geometry Tomeres with Rerite Rules Journal of Automated Reasoning, 1986.

• بيل شيلتر في مشروع علم الأنساب الرياضي
• الصفحة الرئيسية لبرنامج ماكسيما. برنامج ماكسيما متوفر الآن بموجب رخصة جنو العمومية (GPL) .