Описывает среду KD-Verifier, которая позволяет по другому взглянуть на технологию решения задач, являясь помощником в получении и усовершенствовании знаний в математике. На диске к журналу размещен интерактивный задачник в среде. KD-Verifier для верификации решений задач по математике. (С. 36-41)