Обозная, А. Математическая строгость в определениях и доказательствах / А. Обозная ; науч. рук. Н. В. Михайлова // Материалы 78-й студенческой научно-технической конференции [Электронный ресурс] : апрель - май 2022 г. / Белорусский национальный технический университет, Факультет информационных технологий и робототехники ; сост.: А. М. Авсиевич, В. А. Мартинович, С. А. Павлюковец. – Минск : БНТУ, 2022. – С. 207-209.