At the present stage of the development of education of persons with disabilities ways of enhancing the effectiveness of training students with intellectual disabilities undergo active research. One means of improving the efficiency and further upgrading of teaching methods is information technology. The article gives an example of improvement of…

Geometry theorem proving involves skills that are difficult to learn. Instead of working with abstract and complicated representations, students might start with concrete, graphical representations. A proof tree is a graphical representation of a formal proof, with each node representing a proposition or given conditions. A computer-assisted…