Кублановский, С., и Ю. Матиясевич. «ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ В МАТЕМАТИКЕ - УНИВЕРСАЛЬНЫЙ МАТЕМАТИЧЕСКИЙ РЕШАТЕЛЬ». Компьютерные инструменты в образовании, вып. 2, январь 2014 г., http://cte.eltech.ru/ojs/index.php/kio/article/view/784.