الأبحاث المرتبطة بالكلمة المفتاحية: برهان رياضي
-
الدوال الأحادية الجزئية العامة: حالة الأوكتونيون
2026 | المؤلف: ZhengHua XU وآخرون | المجلة: Transactions of the American Mathematical Society | المجال: الرياضيات التطبيقية (Applied Mathematics)في الورقة المعنونة “الدوال الأحادية الجزئية العامة في الجبر غير الجمعي”، يوسع المؤلفون مفهوم الدوال الأحادية الجزئية العامة، الذي تم تقديمه في البداية للجبر الجمعي كليفورد، ليشمل الجبر البديل غير الجمعي، وبشكل خاص الأوكتونيون. تشمل هذه الفئة الجديدة من الدوال كل من الدوال العادية والدوال المنتظمة كحالات خاصة، مما يوسع الإطار النظري الذي تم تأسيسه…
-
خوارزمية لحساب العلاقات الجبرية بين الدوال المودولية
2026 | المؤلف: Ralf Hemmecke وآخرون | المجلة: The Ramanujan Journal | المجال: الجبر ونظرية الأعداد (Algebra and Number Theory)تناقش هذه القسم إنشاء معادلة معيارية من خلال إثبات جبري جديد متجذر في نظرية الأسطح ريمان المدمجة. يقدم المؤلفون إطارًا خوارزميًا، MultiSamba، المصمم لمعالجة مجموعات من السلاسل لورنت الرسمية. تم دمج MultiSamba في حزمة الجبر الحاسوبي الخاصة بـ Hemmecke QEta، التي تم تنفيذها في نظام المصدر المفتوح FriCAS. لقد سهلت هذه الأداة تقدمًا حسابيًا كبيرًا،…
-
تحليل التقارب الفائق المنفصل لخوارزميات كوانتوم ماغنوس لمحاكاة هاملتونية غير محدودة
2026 | المؤلف: Yonah Borns-Weil وآخرون | المجلة: Communications in Mathematical Physics | المجال: التحليل العددي (Numerical Analysis)تناقش هذه القسم التقدم في محاكاة هاملتونية غير محدودة، وخاصة من خلال استخدام خوارزميات كوانتوم ماغنوس، التي تُعرف بكفاءتها في سياقات هاملتونية تعتمد على الزمن. ومن النتائج المهمة إثبات ظاهرة التقارب الفائق عندما تُطبق هذه الخوارزميات في صورة التفاعل. ومع ذلك، كانت الأدلة السابقة على هذه الظاهرة محصورة في الإعدادات المكانية المستمرة، مما ترك فجوة…
-
وظائف التجريد كأنواع: التحقق المعياري للتكلفة والسلوك في نظرية الأنواع المعتمدة
2026 | المؤلف: Zhenyun Du | المجلة: Proceedings of the ACM on Programming Languages | المجال: الذكاء الاصطناعي (Artificial Intelligence)تقدم هذه الورقة نهجًا جديدًا للتحقق المعياري في تطوير البرمجيات من خلال دمج منهجية هوار ضمن نظرية الأنواع المعتمدة غير القابلة للتغيير. تتناول القيود المفروضة على طرق التحقق التقليدية، التي تفصل بين التنفيذ والمواصفات دون دعم لغوي للحفاظ على هذا الفصل. يقدم المؤلفون تمييزًا بين المراحل يشفر وظائف التجريد كأنواع، مما يسمح بإنشاء لاصق يربط…
-
U-Turn: تعزيز تحليل الخطأ من خلال عكس الاتجاه
2026 | المؤلف: Flavio Ascari وآخرون | المجلة: Proceedings of the ACM on Programming Languages | المجال: البرمجيات (Software)في هذا القسم، يناقش المؤلفون دمج منطق عدم الصحة لـ O’Hearn (IL) مع منطق عدم الصحة الكافي (SIL) لتعزيز تحليل البرامج الثابتة لاكتشاف الأخطاء. يهدف هذا النهج المدمج إلى تحسين دقة وفعالية تحديد حالات الأخطاء القابلة للوصول وأسبابها المحتملة. يقترح المؤلفون نظام إثبات جديد يسمى U-Turn، والذي يسمح بإعادة استخدام الخيارات الاستدلالية من IL لتوجيه…
-
آفاق جديدة حول عدم المساواة من نوع ميلن: رؤى من الدوال القابلة للاشتقاق مرتين
2024 | المؤلف: Henok Desalegn Desta وآخرون | المجلة: Universal Journal of Mathematics and Applications | المجال: الرياضيات التطبيقية (Applied Mathematics)تستكشف هذه الورقة البحثية التعديلات الكسرية لعدم المساواة من نوع ميلن من خلال عدسة الخرائط المحدبة القابلة للاشتقاق مرتين. من خلال الاستفادة من مبادئ المحدبية، وعدم المساواة لهولدر، وعدم المساواة للمتوسط القوي، يستخرج المؤلفون سلسلة من عدم المساواة الجديدة. تدعم هذه النتائج أمثلة توضيحية وأدلة صارمة، مكملة بتمثيلات رسومية تتحقق بصريًا من النتائج. في الختام،…