Из статьи читатель узнает, как компьютер может преподавать математику, как может вести с учеником творческий диалог. Программа ''Verifier'' ориентирована на преподавание алгебры в рамках школьного курса и позволяет переложить на язык компьютера практически все задачи из курса алгебры.