Принцип работы систем автоматического решения математических задач заключается в том, что на вход решателю поступают краткие описания задач в определённом формате, а на выходе получаются решения (ответы). 5

Некоторые особенности работы таких систем:

• Интерактивное взаимодействие человека и компьютера. 1 Человек выступает в роли объекта обучения, система поддержки решения задач — как управляющее звено, задающее входные данные. 1
• Интеллектуальный анализ решений. 1 Система определяет правильность решения задачи, анализирует, что конкретно неправильно или неполно в ответе, и, возможно, определяет, какие недостающие или неправильные знания могут быть ответственны за ошибку. 1
• Параметризация условий задач. 24 По одному описанию среда генерирует разные «клоны» исходной задачи. 2
• Сравнение ответов. 2 Один раз ответ генерируется автоматически программой по формальному описанию задачи, второй раз ответ вводится пользователем посредством специального интерфейса. 2 Проверка осуществляется сравнением этих ответов. 2