TY CONF TI Implementing tools of the automatically verifying of the solutions of engineering geometry constructive problems to CAD KW CAD KW computer aided verifying of drawings KW computer aided verifying of 3D models KW constructive problems of engineering geometry KW CAD-systems in education JO 29th International Conference on Computer Graphics, Image Processing and Computer Vision, Visualization Systems and the Virtual Environment GraphiCon'2019 AU Boykov, A.A. AU Fedotov, A.M. PY 2024 PB Bryansk State Technical University