С. Кублановский and Ю. Матиясевич, “ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ В МАТЕМАТИКЕ - УНИВЕРСАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ РЕШАТЕЛЬ”, CTE, no. 2, Jan. 2014.