الأبحاث المرتبطة بالكلمة المفتاحية: إثبات مدعوم بالحاسوب
-
تسعة وعشرة عدائين وحيدين Nine and Ten Lonely Runners
2026 | المؤلف: Tanupat Trakulthongchai | المجلة: The Electronic Journal of Combinatorics | المجال: الجبر ونظرية الأعداد (Algebra and Number Theory)تخمين العداء الوحيد، الذي اقترحه ويلز وكوسيك، يفترض أنه بالنسبة لـ \( k + 1 \) عداء يبدأون بسرعات ثابتة متميزة على حلبة دائرية بطول وحدة، يوجد وقت \( t \) بحيث يكون كل عداء على بعد لا يقل عن \( \frac{1}{k + 1} \) من جميع العدائين الآخرين. قدمت التطورات الأخيرة من روزنفيلد دليلاً…
-
التكوينات المركزية المتماثلة في مشكلة الأربعة أجسام المقعرة مع زوجين من الكتل المتساوية Symmetric central configurations in the concave 4-body problem with two pairs of equal masses
2026 | المؤلف: Yangshanshan Liu وآخرون | المجلة: Discrete and Continuous Dynamical Systems | المجال: الهندسة والطوبولوجيا (Geometry and Topology)في هذه الدراسة، نوضح وجود عائلة ذات معلمة واحدة من التكوينات المركزية على شكل طائرة ورقية مقعرة ضمن سياق مشكلة الأجسام الأربعة، تتضمن بشكل خاص زوجين من الكتل المتساوية. تتميز هذه التكوينات بوجود زوج واحد من الكتل موضوعة في قاعدة مثلث متساوي الساقين، بينما الزوج الآخر مصفوف على طول محور التماثل للمثلث، مع وجود كتلة…