علیخانی,سعید و ابراهیمی مود,سپهر . (1404). اثبات به کمک ماشین. خبرنامه انجمن ریاضی ایران, 46(2), 20-29.

علیخانی,سعید , و ابراهیمی مود,سپهر . "اثبات به کمک ماشین", خبرنامه انجمن ریاضی ایران, 46, 2, 1404, 20-29.

علیخانی سعید, ابراهیمی مود سپهر. (1404). 'اثبات به کمک ماشین', خبرنامه انجمن ریاضی ایران, 46(2), pp. 20-29.

سعید علیخانی و سپهر ابراهیمی مود, "اثبات به کمک ماشین," خبرنامه انجمن ریاضی ایران, 46 2 (1404): 20-29,

علیخانی سعید, ابراهیمی مود سپهر. اثبات به کمک ماشین. خبرنامه انجمن ریاضی ایران, 1404; 46(2): 20-29.