16 мая 2018
Кафедральный семинар

 

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

 

Селиванов В.Л. (Институт систем информатики им. А.П. Ершова СО РАН, г. Новосибирск) “О сложности представления числовых полей”

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

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

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

 

 

Планируемая дата события: 25.05.2018