Абунегм А.., Кудасов Н.Д. Реализация языкового сервера для интерактивного доказателя теорем Rzk // № 22, 2023
