00811naa#a2200193#i#4500001001400000005001700014100004100031102000700072200015100079210005400230215001000284608003700294686005900331686006700390686010200457700001800559700001900577856002100596EN\\bibl\368220240506202217.1##a20191120b2019####ek#y0engy0150####ca##aRU1#aImplementing tools of the automatically verifying of the solutions of engineering geometry constructive problems to CADeConference article/thesis1#aBryanskcBryansk State Technical Universityd2019##a3 с.##aConference article/thesis2local##aВычислительная техника. 32972bbk##aОбщие вопросы информатики. 20.012grnti##aТеоретические основы вычислительной техники. 50.072grnti#1aBoykovgA. A.#1aFedotovgA. M.4#abstu.editorum.ru