جوريس فان دير هوفن
يوريس فان دير هوفن (مواليد 1971) هو عالم رياضيات وعلوم حاسوب هولندي، متخصص في التحليل الجبري والجبر الحاسوبي . وهو المطور الرئيسي لبرنامج GNU TeXmacs .
التعليم والمسار الوظيفي
حصل يوريس فان دير هوفن عام 1997 على درجة الدكتوراه من جامعة باريس ديدرو (باريس 7) بأطروحة Asymptotique automatique . [ 1 ] وهو مدير الأبحاث في المركز الوطني للأبحاث العلمية ورئيس فريق Max Modélisation algébrique في مختبر المعلوماتية التابع لمدرسة البوليتكنيك . [ 2 ]
بحث
يتناول بحثه المتسلسلات المتحولة ( أي تعميمات متسلسلات القوى الرسمية ) وتطبيقاتها في التحليل الجبري والحلول التقاربية للمعادلات التفاضلية غير الخطية . بالإضافة إلى خصائص المتسلسلات المتحولة كجزء من الجبر التفاضلي ونظرية النماذج ، فإنه يدرس أيضًا جوانبها الخوارزمية، فضلًا عن جوانب نظرية الدوال المركبة الكلاسيكية.
وهو المطور الرئيسي لبرنامج GNU TeXmacs (منصة تحرير علمية مجانية) [ 3 ] وبرنامج Mathemagix (برنامج مجاني، نظام حاسوبي للجبر والتحليل). [ 4 ]
في عام 2019، أعلن فان دير هوفن ومؤلفه المشارك ديفيد هارفي عن اكتشافهما لأسرع خوارزمية ضرب معروفة ، مما يسمح بضربأعداد ثنائية من 10 بت في الوقت[ 5 ] تمت مراجعة ورقتهم البحثية من قبل النظراء ونُشرت في مجلة حوليات الرياضيات في عام 2021 .
تعرُّف
في عام ٢٠١٨، كان متحدثًا مدعوًا (مع ماتياس أشينبرينر ولو فان دن دريس ) حيث قدم محاضرة بعنوان " حول الأعداد والجراثيم والمتسلسلات العابرة" في المؤتمر الدولي للرياضيات في ريو دي جانيرو . [ ٦ ] [ ٧ ] وفي العام نفسه، حصل الثلاثة على جائزة كارب . [ ٨ ] وفي عام ٢٠٢٢، حصل على جائزة إن جي دي بروين. [ ٩ ]
منشورات مختارة
مقالات
- فان دير هوفن، يوريس (1999). “تقييم سريع للوظائف الهولونومية”. علوم الكمبيوتر النظرية . 210 : 199 – 215. دوى : 10.1016 / S0304-3975 (98)00102-9 .
- فان دير هوفن، جوريس (2001). "التقييم السريع للدوال الهولونومية بالقرب من النقاط الشاذة المنتظمة وفيها" . مجلة الحساب الرمزي . 31 (6): 717-743 . doi : 10.1006/jsco.2000.0474 .2001
- فان دير هوفن، جوريس (2002). "استرخِ، ولكن لا تكن كسولاً للغاية" . مجلة الحوسبة الرمزية . 34 (6): 479-542 . doi : 10.1006/jsco.2002.0562 .2002
- فان دير هوفن، جوريس (2010). "طريقة نيوتن وتداول تحويل فورييه السريع" . مجلة الحوسبة الرمزية . 45 (8): 857-878 . doi : 10.1016/j.jsc.2010.03.005 .
- هارفي، ديفيد؛ فان دير هوفن، يوريس؛ ليسيرف، جريجوار (2016). "ضرب الأعداد الصحيحة بشكل أسرع" (PDF) . مجلة التعقيد . 36 : 1 – 30. أرخايف : 1407.3360 . دوى : 10.1016/j.jco.2016.03.001 . S2CID 205861906 . 2016
- فان دير هوفن، جوريس؛ ليسيرف، غريغوار؛ كوينتين، غيوم (2016). "الحساب المعياري SIMD في برنامج Mathemagix". مجلة ACM للمعاملات في البرمجيات الرياضية . 43 : 1-37 . arXiv : 1407.3383 . doi : 10.1145/2876503 . S2CID 10462804 . 2016
- هارفي، ديفيد؛ فان دير هوفن، يوريس؛ ليسيرف، جريجوار (2017). "ضرب متعدد الحدود بشكل أسرع على الحقول المحدودة" (PDF) . مجلة ACM . 63 (6): 1– 23. أرخايف : 1407.3361 . دوى : 10.1145/3005344 . S2CID 6821515 . 2017
- هارفي، ديفيد؛ فان دير هوفن، يوريس (2021). "ضرب الأعداد الصحيحة في الوقت المناسب( ملف PDF) . حوليات الرياضيات . السلسلة الثانية. 193 (2): 563-617 . doi : 10.4007/annals.2021.193.2.4 . MR 4224716. S2CID 109934776 .
الكتب
- هوفن، ج. فان دير (2006). Transseries والجبر التفاضلي الحقيقي . برلين: سبرينغر. رقم ISBN 978-3-540-35591-5. OCLC 262692832 .
- اشنبرينر، ماتياس؛ فان دن دريس، لو؛ هوفن، ج. فان دير (2017). الجبر التفاضلي المقارب والنظرية النموذجية للمتسلسلات . برينستون. رقم ISBN 978-1-4008-8541-1. OCLC 986538411 .
{{cite book}}: CS1 maint: موقع الناشر مفقود ( رابط )
مراجع
- ↑ يوريس فان دير هوفن في شجرة أنساب الرياضيات
- ^ "يوريس فان دير هوفن" . تيكسماكس .
- ↑ "مرحباً بكم في GNU TeXmacs (مشروع FSF GNU)" . www.texmacs.org .
- ↑ "مرحباً بكم في ماثيماجيكس" . www.mathemagix.org .
- ↑ هارتنيت، كيفن (11 أبريل 2019). "علماء الرياضيات يكتشفون الطريقة المثلى للضرب" . مجلة كوانتا . تم الاطلاع عليه بتاريخ 3 مايو 2019 .
- ^ أشنبرينر، م. فان دن دريس، إل؛ فان دير هوفن، ج. (2017). “على الأرقام والجراثيم والسلاسل”. أرخايف : 1711.06936 [ math.LO ].
- ↑ "الجلسة العامة والمتحدثون المدعوون في المؤتمر الدولي للرياضيات" . الاتحاد الدولي للرياضيات . تم الاطلاع عليه بتاريخ 12 مايو 2020 .
- ↑ «الفائزون بجائزة كارب» . جمعية المنطق الرمزي . جمعية المنطق الرمزي . مؤرشف من الأصل في 22 يوليو 2019. تم الاطلاع عليه في 27 يناير 2020 .
- ^ "جائزة إن جي دي بروين" . 2024.
- علماء الرياضيات الهولنديون في القرن العشرين
- علماء الرياضيات الهولنديون في القرن الحادي والعشرين
- علماء الحاسوب الهولنديون
- خريجو جامعة باريس ديدرو
- مواليد عام 1971
- الناس الأحياء
- أعضاء هيئة التدريس في مدرسة البوليتكنيك
- مديرو الأبحاث في المركز الوطني الفرنسي للبحث العلمي
