“Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке” (2014) Computer Tools in Education [Preprint], (1). Available at: http://cte.eltech.ru/ojs/index.php/kio/article/view/1293 (Accessed: 25 July 2026).