خبرنامه انجمن ریاضی ایران

خبرنامه انجمن ریاضی ایران

دوره و شماره: دوره 46، شماره 2، پاییز 1404، صفحه 1-74 
تعداد مقالات: 23

اثبات به کمک ماشین

صفحه 20-29

سعید علیخانی، سپهر ابراهیمی مود