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