System of verification for parametric classes of tasks in mathematics

Mathematical Modelling: Methods, algorithms, technologies
Authors:
Mantserov Dmitry I.
Abstract:

In clause system for creation tasks in mathematics and verification of knowledge by using parametric classes of tasks. Also in clause is expounded the base of parametric classes of tasks and structure of verification system.