Кафедральный семинар
25 мая (пятница) в 17 часов в 610 аудитории состоится семинар кафедры алгебры и математической логики.
Селиванов В.Л. (Институт систем информатики им. А.П. Ершова СО РАН, г. Новосибирск) “О сложности представления числовых полей”
Аннотация: В докладе обсуждаются вопросы сложности представления числовых полей, в основном полей вещественных чисел.
Совместно с С.В. Селивановой установлена тесная связь вычислимо представимых полей вещественных чисел с полем всех вычислимых вещественных чисел; в частности, любое конечное множество вычислимых действительных чисел можно вложить в вычислимо представимое вещественно замкнутое поле вещественных чисел.
Совместно с П.Е. Алаевым показано, что известные из компьютерной алгебры представления поля алгебраических вещественных чисел вычислимы в полиномиальное время и полиномиально эквивалентны между собой; изучена также сложность решения некоторых алгоритмических проблем в этом поле.
