Automated verification of expression transformation chains based on computational experiments

The solution of mathematical and logical problems is the imperative element of the educational process in the technical sciences. To solidify the assimilated skills, learner need to solve a large number of educational tasks, that leads to the need of checking of a large number of solutions. In lots of cases the solution of an educational task is the chain of expression transformations. Many systems allow to compare the learner's answer with the correct one, defined by the teacher. But in some cases, the teacher needs to set some additional information, besides the answer expression. Such additional information cannot be set for each possible pair of expressions in each possible solution chain of the task. We propose a method for verifying task solutions, based on the computational experiments between each pair of steps in solution chain. The proposed approach was tested and showed good results. Namely, in the experiments the efficiency of the teacher's work when checking solutions increased more than 4 times.