Real-rootedness of the Poincaré polynomials of : an AI-assisted proof
تقدم هذه الورقة برهاناً مدعوماً بالذكاء الاصطناعي يؤكد حقيقة الجذور الحقيقية لمتعددات حدود بوانكاريه لفضاءات تعديل المنحنيات العقلانية المستقرة وفضاءات فلتون-ماكفرسون، وذلك باستخدام تشويه ثنائي المتغير وحجة ستورم-رول مبتكرة لإثبات التداخل الصارم واللوغاريتمية الفائقة لأعداد بيتي الخاصة بها.