"Компьютерная поддержка курса высшей математики в среде ''Verifier''" - читать интересную книгу автора (Агафонова И., Дмитриева О.)