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

Abstract

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.