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