Автоматизация проверки решения геометрических задач по описанию их условий на предметно-ориентированном языке

Abstract

В статье предложен подход к разработке системы поддержки геометрических задач, в которой описание задачи строится на специально разработанном предметно-ориентированном языке, так что алгоритм решения задачи, подготовленный в какой-либо системе динамической геометрии, может быть верифицирован на формальном описании задачи. Приведено сравнение данного подхода с другими, рассмотрен формат хранения задач на геометрическом предметно-ориентированном языке. Описание проиллюстрировано примерами задач.