Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке. Comput. Tools Educ. [Internet]. 2012 Feb. 29 [cited 2026 Oct. 26];(1). Available from: http://cte.eltech.ru/ojs/index.php/kio/article/view/1293