بيل شيلتر

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

بيل شيلتر
معلومات شخصية
الميلاد سنة 1947  
كندا 
الوفاة 30 يوليو 2001 (53–54 سنة) 
روسيا 
مواطنة الولايات المتحدة 
الحياة العملية
المدرسة الأم جامعة مكغيل 
المهنة مهندس،  ورياضياتي،  وعالم حاسوب 
موظف في جامعة تكساس في أوستن 

نبذة

يعود الفضل لشيلتر في تطوير غنو لِيسب (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.

روابط خارجية
  • بوابة علم الحاسوب
  • بوابة أعلام
  • بوابة إعلام
  • بوابة رياضيات
  • بوابة الولايات المتحدة
This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.