00857naa#a2200205#i#450# EN\\bibl\3682 /en/manage/index 20251024003011.5 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. fht.editorum.ru /en/manage/index