Неулучшаемость теоремы Дирихле в диофантовых приближениях в поле комплексных чиселТеорема Дирихле
о приближении действительных чисел рациональными обобщена на поля комплексных и р
О возможностях автоматизированного формирования и верификации описания и информационных процессовО возможностях автоматизированного формирования и верификации описания и информационных процессов