TY CONF TI Внедрение средств автоматической проверки решений конструктивных задач инженерной геометрии в CAD-систему KW CAD-системы KW автоматизированная проверка чертежей KW автоматизированная проверка электронных моделей KW конструктивные задачи инженерной геометрии KW CAD-системы в образовании JO 29-я Международная конференция по компьютерной графике, обработке изображений, машинному зрению, системам визуализации и виртуального окружения ГрафиКон-2019 AU Бойков, А.А. AU Федотов, А.М. PY 2024 PB Брянский государственный технический университет