@article{Boykov2024implementing,
author={Boykov, A.A. and Fedotov, A.M.},
title={Implementing tools of the automatically verifying of the solutions of engineering geometry constructive problems to CAD},
conference={29th International Conference on Computer Graphics, Image Processing and Computer Vision, Visualization Systems and the Virtual Environment GraphiCon'2019},
publisher={Bryansk State Technical University},
year={2024},
pages={172-175},
}