2014. Математическое доказательство: вчера, сегодня, завтра. Компьютерные инструменты в образовании. 6 (янв. 2014).