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