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

The article presents an approach to the development of the system that supports geometric problems with the formal verification of their solution. This is achieved by the description of problems' statements with the specially developed domain-specific language that specifies a set of predicates that should hold for the construction made by a student. The system has two modules: teacher’s module and student’s module. Several examples of problems are presented.