25 мая (пятница) в 17 часов в 610 аудитории состоится семинар кафедры алгебры и математической логики.

Селиванов В.Л. “О сложности представления числовых полей”

В докладе обсуждаются вопросы сложности представления числовых полей, в основном полей вещественных чисел.

Совместно с С.В. Селивановой установлена тесная связь вычислимо представимых полей вещественных чисел с полем всех вычислимых вещественных чисел; в частности, любое конечное множество вычислимых действительных чисел можно вложить в вычислимо представимое вещественно замкнутое поле вещественных чисел.

Совместно с П.Е. Алаевым показано, что известные из компьютерной алгебры представления поля алгебраических вещественных чисел вычислимы в полиномиальное время и полиномиально эквивалентны между собой; изучена также сложность решения некоторых алгоритмических проблем в этом поле.