Аннотация:
Доказано, что поле комплексных алгебраических чисел и упорядоченное поле вещественных алгебраических чисел обладают изоморфными представлениями, вычислимыми за полиномиальное время. Для этих представлений найдены новые алгоритмы вычисления полиномов и решения уравнений с одной неизвестной. Доказано, что все наиболее известные представления для указанных полей порождают полиномиально вычислимые структуры или фактор–структуры, между которыми есть изоморфизм, полиномиально вычислимый в обе стороны.
А. В. Нечёсов, “Семантическое программирование и полиномиально вычислимые представления”, Матем. тр., 25:2 (2022), 174–202; A. V. Nechesov, “Semantic programming and polynomially computable representations”, Siberian Adv. Math., 33:1 (2023), 66–85
Nikolay Bazhenov, Manat Mustafa, “Computable embeddability for algebraic structures”, Asian-European J. Math., 15:07 (2022)
П. Е. Алаев, В. Л. Селиванов, “Поля алгебраических чисел, вычислимые за полиномиальное время. II”, Алгебра и логика, 60:6 (2021), 533–548
Sergey Goncharov, Andrey Nechesov, “Polynomial Analogue of Gandy's Fixed Point Theorem”, Mathematics, 9:17 (2021), 2102
Nikolay Bazhenov, Lecture Notes in Computer Science, 12159, Computer Science – Theory and Applications, 2020, 142