هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها

بيل شيلتر

من أرابيكا، الموسوعة الحرة

هذه هي النسخة الحالية من هذه الصفحة، وقام بتعديلها عبود السكاف (نقاش | مساهمات) في 06:19، 24 ديسمبر 2022 (بوت: إصلاح التحويلات). العنوان الحالي (URL) هو وصلة دائمة لهذه النسخة.

(فرق) → نسخة أقدم | نسخة حالية (فرق) | نسخة أحدث ← (فرق)
اذهب إلى التنقل اذهب إلى البحث
بيل شيلتر
معلومات شخصية

كان ويليام فريدريك شيلتر (1947 - 30 يوليو 2001) بروفيسورا للرياضيات في جامعة تكساس في اوستن ومطور ومبرمج LISP (برنامج للغات البرمجية).[1]

نبذة

يعود الفضل لشيلتر في تطوير غنو لِيسب (GCL) تطبيق لCommon Lisp ونسخة GPL'd من نظام الجبر الحاسوبي Macsyma المسمى بماكسيما. وقام شيلتر بتأليف كتاب Austin Kyoto Common Lisp (AKCL) بموجب العقد مع آي بي إم. وكانت قد شكلت AKCL القاعدة لأكسيوم، وهو نظام من أنظمة الجبر الحاسوبي. وأصبحت AKCL في النهاية GNU Common Lisp. وينسب اليه أيضا أول منفذ لبتية حاسب intel 386 المستخدمة في تطبيق لينكس Kernal.

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

المراجع

  1. ^ S. Chou and W. Schelter. Proving Geometry Theorems with Rewrite Rules Journal of Automated Reasoning, 1986.
  2. ^ In memoriam. Access in 2007-07-05.

روابط خارجية