Inversion in P-Computable Fields | Sciact - Система учета научной деятельности ИМ СО РАН

Inversion in P-Computable Fields Научная публикация

Конференция

Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe
08-12 июл. 2024 , Amsterdam

Сборник

Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024: Proceedings
Сборник, Springer Cham. 2024. 462 c. ISBN 978-3-031-64309-5.

Журнал

Lecture Notes in Computer Science
ISSN: 0302-9743 , E-ISSN: 1611-3349

Вых. Данные

Год: 2024, Том: 14773, Страницы: 100-109 Страниц : 10 DOI: 10.1007/978-3-031-64309-5_9

Ключевые слова

computability · polynomial computability · computable structure · field

Авторы

Alaev Pavel ^1,2

Организации

1	Novosibirsk State University
2	Sobolev Institute of Mathematics SB RAS

Информация о финансировании (1)

Российский научный фонд

23-11-00170

We consider fields computable in polynomial time (P-computable). We prove that under some assumptions about a P-computable field (A,+,·) of characteristic 0, there exists a P-computable field (formula presented) is not a primitive recursive function. In particular, this holds for the field Q of rational numbers.

Alaev P.
Inversion in P-Computable Fields
В сборнике Twenty Years of Theoretical and Practical Synergies : 20th Conference on Computability in Europe, CiE 2024, Amsterdam, The Netherlands, July 8–12, 2024: Proceedings. – Springer Cham., 2024. – C.100-109. – ISBN 978-3-031-64309-5. DOI: 10.1007/978-3-031-64309-5_9 WOS Scopus OpenAlex

Опубликована в печати:	2 июл. 2024 г.
Опубликована online:	2 июл. 2024 г.

Web of science:	WOS:001315672500019
Scopus:	2-s2.0-85200372746
OpenAlex:	W4400179168

Пока нет цитирований