Глазунов М. М. Розробка методів обґрунтування гіпотез теорії алгебраїчних кривих та геометрії чисел,

English version

Дисертація на здобуття ступеня доктора наук

Державний реєстраційний номер

0505U000280

Здобувач

Спеціальність

  • 01.05.01 - Теоретичні основи інформатики та кібернетики

29-04-2005

Спеціалізована вчена рада

Д 26.194.02

Інститут кібернетики імені В.М. Глушкова Національної академії наук України

Анотація

Розроблено й досліджено теоретичні основи, комп'ютерно-алгебраїчні, інтервально-аналітичні та на просторах модулів методи обґрунтування гіпотез теорії алгебраїчних кривих і геометрії чисел. На основі цих методів побудовано ефективні алгоритми та комп'ютерні системи розв'язування обчислювальних задач і обґрунтування гіпотез теорії алгебраїчних кривих та геометрії чисел на просторах модулів. Доведено гіпотезу Мінковського про критичний визначник області |x|^p + |y|^p < 1, p > 1 в околі p = 2.

Файли

Схожі дисертації