Системы автоматизированной проверки математических решений обычно состоят из нескольких компонентов: 1

1. База данных. 1 Содержит внутренние и внешние данные: набор задач, которые решают обучаемые, теоретический материал, справочные формулы, инструкции, примеры решения задач, тесты и т. д.. 1
2. База моделей решения задач. 1 Включает модели решения математических задач по разным разделам. 1 Решения в моделях могут быть сгенерированы автоматически алгоритмом или внесены в базу моделей пользователем, например преподавателем. 1
3. Интеллектуальный анализатор решений. 1 Определяет правильность решения задачи, анализирует, что конкретно неправильно или неполно в ответе, и, возможно, определяет, какие недостающие или неправильные знания могут быть ответственны за ошибку. 1
4. Программная подсистема. 1 Состоит из системы управления базой данных, системы управления базой моделей решения задач и системы управления интерфейсом между пользователями (преподавателем, обучаемым) и компьютером. 1

В описании любой задачи для автоматизированной проверки решения выделяют две основные части: 2

1. Часть для человека. 2 Например, словесное описание условия задачи. 2
2. Формализованное описание. 2 Понятное машине, вычислительной среде или интерпретатору, которые и осуществляют проверку решения. 2

Для проверки решения могут использоваться разные стратегии, например, сравнение с уже имеющимся в описании задачи ответом или автоматическое построение ответа по описанию задачи с последующим сравнением его с ответом пользователя. 2