(1)
Кублановский, С.; Матиясевич, Ю. ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ В МАТЕМАТИКЕ - УНИВЕРСАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ РЕШАТЕЛЬ. CTE 2014.