بيل شيلتر

هذه المقالة يتيمة. ساعد بإضافة وصلة إليها في مقالة متعلقة بها
من ويكيبيديا، الموسوعة الحرة
بيل شيلتر
معلومات شخصية
الميلاد سنة 1947   تعديل قيمة خاصية (P569) في ويكي بيانات
كندا  تعديل قيمة خاصية (P19) في ويكي بيانات
الوفاة 30 يوليو 2001 (53–54 سنة)  تعديل قيمة خاصية (P570) في ويكي بيانات
روسيا  تعديل قيمة خاصية (P20) في ويكي بيانات
مواطنة الولايات المتحدة  تعديل قيمة خاصية (P27) في ويكي بيانات
الحياة العملية
المدرسة الأم جامعة مكغيل  تعديل قيمة خاصية (P69) في ويكي بيانات
المهنة مهندس،  ورياضياتي،  وعالم حاسوب  تعديل قيمة خاصية (P106) في ويكي بيانات
موظف في جامعة تكساس في أوستن  تعديل قيمة خاصية (P108) في ويكي بيانات

كان ويليام فريدريك شيلتر (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.

روابط خارجية[عدل]