Решение задачи по геометрии – сложный творческий процесс, который трудно поддаётся формализации в отличие, например, от заданий школьной алгебры. Ранее созданные модели и подходы имеют существенные недостатки, поэтому исследование новых механизмов автоматизации построения решений геометрических задач является актуальным.

На страницу проекта