Матиясевич, Ю.В. 2014. Математическое доказательство: вчера, сегодня, завтра. Computer Tools in Education. 6 (Jan. 2014).