title: ÐÐ¾Ð´ÐµÐ»Ð¸ Ð¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°ÑÐµÐ»ÑÑÐºÐ¾Ð³Ð¾ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ° ÑÐ¸ÑÑÐµÐ¼ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ ÑÐµÑÐµÐ½Ð¸Ð¹ Ð·Ð°Ð´Ð°Ñ Ð½Ð° Ð¿ÑÐµÐ¾Ð±ÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ðµ ÑÐ¾ÑÐ¼ÑÐ»
title: Ð²ÑÐ¿ÑÑÐºÐ½Ð°Ñ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð±Ð°ÐºÐ°Ð»Ð°Ð²ÑÐ°
titleType: Subtitle
title: User Interface Models of systems for automatic verification of solutions for formula conversion.
Creators: name: ÐÐ¾Ð¹Ð½Ð¸ÐºÐ¾Ð², ÐÐ»ÑÑ
Publisher: name: Ð¡Ð°Ð½ÐºÑ-ÐÐµÑÐµÑÐ±ÑÑÐ³ÑÐºÐ¸Ð¹ Ð¿Ð¾Ð»Ð¸ÑÐµÑÐ½Ð¸ÑÐµÑÐºÐ¸Ð¹ ÑÐ½Ð¸Ð²ÐµÑÑÐ¸ÑÐµÑ ÐÐµÑÑÐ° ÐÐµÐ»Ð¸ÐºÐ¾Ð³Ð¾
Year: 2022
Subjects: Ð¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°ÑÐµÐ»ÑÑÐºÐ¸Ð¹ Ð¸Ð½ÑÐµÑÑÐµÐ¹Ñ
ÑÐ¸ÑÑÐµÐ¼Ð° Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ Ð·Ð°Ð´Ð°Ñ
mathquill
ÐºÐ¾Ð½ÑÐµÐºÑÑÐ½Ð¾ ÑÐ²Ð¾Ð±Ð¾Ð´Ð½Ð°Ñ Ð³ÑÐ°Ð¼Ð¼Ð°ÑÐ¸ÐºÐ°
user interface
context free grammar

description: Ð¢ÐµÐ¼Ð° Ð²ÑÐ¿ÑÑÐºÐ½Ð¾Ð¹ ÐºÐ²Ð°Ð»Ð¸ÑÐ¸ÐºÐ°ÑÐ¸Ð¾Ð½Ð½Ð¾Ð¹ ÑÐ°Ð±Ð¾ÑÑ: Â«ÐÐ¾Ð´ÐµÐ»Ð¸ Ð¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°ÑÐµÐ»ÑÑÐºÐ¾Ð³Ð¾ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ° ÑÐ¸ÑÑÐµÐ¼ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ ÑÐµÑÐµÐ½Ð¸Ð¹ Ð·Ð°Ð´Ð°Ñ Ð½Ð° Ð¿ÑÐµÐ¾Ð±ÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ðµ ÑÐ¾ÑÐ¼ÑÐ»Â». ÐÐ°Ð½Ð½Ð°Ñ ÑÐ°Ð±Ð¾ÑÐ° Ð¿Ð¾ÑÐ²ÑÑÐµÐ½Ð° ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐºÐµ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ Ð¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°ÑÐµÐ»ÑÑÐºÐ¾Ð³Ð¾ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ°, Ð¸ÑÐ¿Ð¾Ð»ÑÐ·ÑÐµÐ¼ÑÐµ Ð² ÑÐ¸ÑÑÐµÐ¼Ðµ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ Ð·Ð°Ð´Ð°Ñ Ð´Ð»Ñ Ð²Ð²Ð¾Ð´Ð° ÑÐµÑÐµÐ½Ð¸Ð¹ Ð·Ð°Ð´Ð°Ñ Ð² Ð²Ð¸Ð´Ðµ ÑÐ¾ÑÐ¼ÑÐ» Ð¸ Ð¸Ñ Ð¿ÑÐµÐ¾Ð±ÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ð¹, Ð° ÑÐ°ÐºÐ¶Ðµ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ ÑÑÑÐµÐºÑÐ¸Ð²Ð½Ð¾ÑÑÐ¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½ÑÑ Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹. ÐÐ°Ð´Ð°ÑÐ¸, ÐºÐ¾ÑÐ¾ÑÑÐµ ÑÐµÑÐ°Ð»Ð¸ÑÑ Ð² ÑÐ¾Ð´Ðµ ÑÐ°Ð±Ð¾ÑÑ: Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐºÐ° Ð¼Ð¾Ð´ÐµÐ»ÐµÐ¹ Ð¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°ÑÐµÐ»ÑÑÐºÐ¾Ð³Ð¾ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ°, Ð¸ÑÐ¿Ð¾Ð»ÑÐ·ÑÐµÐ¼ÑÐµ Ð² ÑÐ¸ÑÑÐµÐ¼Ðµ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ Ð·Ð°Ð´Ð°Ñ Ð´Ð»Ñ Ð²Ð²Ð¾Ð´Ð° ÑÐµÑÐµÐ½Ð¸Ð¹ Ð·Ð°Ð´Ð°Ñ Ð² Ð²Ð¸Ð´Ðµ ÑÐ¾ÑÐ¼ÑÐ» Ð¸ Ð¸Ñ Ð¿ÑÐµÐ¾Ð±ÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ð¹, Ð° ÑÐ°ÐºÐ¶Ðµ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ Ð¿ÑÐ°Ð²Ð¸Ð»ÑÐ½Ð¾ÑÑÐ¸ ÑÐµÑÐµÐ½Ð¸Ñ Ð¸ Ð²Ð¸Ð·ÑÐ°Ð»Ð¸Ð·Ð°ÑÐ¸Ð¸ Ð¾ÑÐ¸Ð±Ð¾Ðº. Ð¡ÑÐ°Ð²Ð½ÐµÐ½Ð¸Ðµ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½Ð¾Ð³Ð¾ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ° Ñ ÑÑÑÐµÑÑÐ²ÑÑÑÐ¸Ð¼Ð¸ ÑÐµÑÐµÐ½Ð¸ÑÐ¼Ð¸. ÐÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ðµ ÑÑÑÐµÐºÑÐ¸Ð²Ð½Ð¾ÑÑÐ¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½ÑÑ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ¾Ð² Ð¿Ð¾ ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ñ Ñ Ð¿ÑÐµÐ´ÑÐ´ÑÑÐ¸Ð¼Ð¸ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ°Ð¼Ð¸. Ð Ð°Ð±Ð¾ÑÐ° Ð²ÑÐ¿Ð¾Ð»Ð½ÑÐ»Ð°ÑÑ Ð½Ð° Ð±Ð°Ð·Ðµ ÑÐ¸ÑÑÐµÐ¼Ñ Ð°Ð²ÑÐ¾Ð¼Ð°ÑÐ¸ÑÐµÑÐºÐ¾Ð¹ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ Ð·Ð°Ð´Ð°Ñ, ÐºÐ¾ÑÐ¾ÑÐ°Ñ Ð²ÑÐ¿Ð¾Ð»Ð½ÑÐµÑ Ð¿ÑÐ¾Ð²ÐµÑÐºÑ ÑÐµÑÐµÐ½Ð¸Ð¹ Ð½Ð° Ð¿ÑÐµÐ¾Ð±ÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ñ ÑÐ¾ÑÐ¼ÑÐ», Ð²Ð²ÐµÐ´ÐµÐ½Ð½ÑÑ Ð¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°ÑÐµÐ»ÐµÐ¼. ÐÑÐ»Ð¸ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ñ ÐºÐ¾Ð½ÑÐµÐºÑÑÐ½Ð¾ ÑÐ²Ð¾Ð±Ð¾Ð´Ð½ÑÐµ Ð³ÑÐ°Ð¼Ð¼Ð°ÑÐ¸ÐºÐ¸ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ¾Ð² Ð¼Ð½Ð¾Ð³Ð¾ÑÑÑÐ¾ÑÐ½Ð¾Ð³Ð¾ Ð²Ð²Ð¾Ð´Ð° Ð¸ Ð¾Ð±ÑÐ°Ð±Ð¾ÑÐºÐ¸ Ð¾ÑÐ¸Ð±Ð¾Ðº. ÐÑÐ»Ð¸ Ð¿ÑÐ¾Ð²ÐµÐ´ÐµÐ½Ñ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ñ Ð¿Ð¾ Ð¸Ð·Ð¼ÐµÑÐµÐ½Ð¸Ñ ÑÑÐµÐ´Ð½ÐµÐ¹ ÑÐºÐ¾ÑÐ¾ÑÑÐ¸ Ð²Ð²Ð¾Ð´Ð° ÑÐ¸Ð¼Ð²Ð¾Ð»Ð¾Ð², ÑÑÐµÐ´Ð½ÐµÐ³Ð¾ Ð²ÑÐµÐ¼ÐµÐ½Ð¸ ÑÐµÑÐµÐ½Ð¸Ñ Ð¸ ÑÑÐµÐ´Ð½ÐµÐ³Ð¾ ÐºÐ¾Ð»Ð¸ÑÐµÑÑÐ²Ñ Ð¿ÐµÑÐµÑÐ¾Ð´Ð¾Ð² Ð² ÑÐµÑÐµÐ½Ð¸Ð¸ Ð¸ ÑÑÐ°Ð²Ð½ÐµÐ½Ð¸Ð¸ Ð´Ð°Ð½Ð½ÑÑ, Ð¿Ð¾Ð»ÑÑÐµÐ½Ð½ÑÑ Ñ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸ÐµÐ¼ ÑÐ°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½Ð¾Ð³Ð¾ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ° Ñ Ð´Ð°Ð½Ð½ÑÐ¼Ð¸, Ð¿Ð¾Ð»ÑÑÐµÐ½Ð½ÑÑ Ñ Ð¸ÑÐ¿Ð¾Ð»ÑÐ·Ð¾Ð²Ð°Ð½Ð¸ÐµÐ¼ Ð¿ÑÐµÐ´ÑÐ´ÑÑÐµÐ³Ð¾ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ°. Ð ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ ÑÐ°Ð±Ð¾ÑÑ Ð±ÑÐ»Ð¸ Ð¿Ð¾Ð»ÑÑÐµÐ½Ñ Ð¼Ð¾Ð´ÐµÐ»Ð¸ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÐ¾Ð² Ð´Ð»Ñ Ð²Ð²Ð¾Ð´Ð° Ð¸ Ð¿ÑÐ¾Ð²ÐµÑÐºÐ¸ ÑÐµÑÐµÐ½Ð¸Ð¹ Ð·Ð°Ð´Ð°Ñ Ð½Ð° Ð¿ÑÐµÐ¾Ð±ÑÐ°Ð·Ð¾Ð²Ð°Ð½Ð¸Ðµ ÑÐ¾ÑÐ¼ÑÐ». Ð Ð°Ð·ÑÐ°Ð±Ð¾ÑÐ°Ð½Ð½ÑÐµ Ð¸Ð½ÑÐµÑÑÐµÐ¹ÑÑ Ð² ÑÐµÐ·ÑÐ»ÑÑÐ°ÑÐµ Ð¸ÑÑÐ»ÐµÐ´Ð¾Ð²Ð°Ð½Ð¸Ð¹ Ð¿Ð¾ÐºÐ°Ð·Ð°Ð»Ð¸ ÑÐ²Ð¾Ñ ÑÑÑÐµÐºÑÐ¸Ð²Ð½Ð¾ÑÑÑ, ÑÐ»ÑÑÑÐ¸Ð² ÑÑÐµÐ´Ð½ÐµÐµ Ð²ÑÐµÐ¼Ñ ÑÐµÑÐµÐ½Ð¸Ñ Ð·Ð°Ð´Ð°Ñ.Â 
description: The subject of the graduate qualification work is Â« User Interface Models of systems for automatic verification of solutions for formula conversionÂ». This work is devoted to the development of user interface models used in the system of automatic task checking for entering solutions to problems in the form of formulas and their transformations, as well as to the study of the effectiveness of the developed models. Tasks that were solved during the work: Development of user interface models used in the automatic problem checking system for entering problem solutions in the form of formulas and their transformations, as well as checking the correctness of the solution and visualizing errors. Comparison of the developed interface with existing solutions. Study of the effectiveness of the developed interfaces in comparison with previous interfaces. The work was carried out on the basis of an automatic task check system, which checks solutions for transformations of formulas entered by the user. Context-free grammars for multiline input and error handling interfaces have been developed. Studies were carried out to measure the average character input rate, the average solution time and the average number of transitions in the solution and compare the data obtained using the developed interface with the data obtained using the previous interface.As a result of the work, interface models were obtained for entering and verifying solutions to problems for transforming formulas. The developed interfaces as a result of research have shown their effectiveness by improving the average time to solve problems.