00811naa#a2200193#i#450# EN\\bibl\3682 20240506195722.1 20191120b2019####ek#y0engy0150####ca RU Implementing tools of the automatically verifying of the solutions of engineering geometry constructive problems to CAD Conference article/thesis Bryansk Bryansk State Technical University 2019 3 с. Conference article/thesis local Вычислительная техника. 3297 bbk Общие вопросы информатики. 20.01 grnti Теоретические основы вычислительной техники. 50.07 grnti Boykov A. A. Fedotov A. M. bstu.editorum.ru