DOI

We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals and apply them to several problems of algebra and analysis. In particular, we find a primitive recursive analogue of Ershov-Madison’s theorem about the computable real closure, relate primitive recursive fields of reals to the field of primitive recursive reals, give sufficient conditions for primitive recursive root-finding and for computing solution operators of symmetric hyperbolic systems of partial differential equations.
Переведенное названиеПримитивно рекурсивно упорядоченные поля и некоторые применения
Язык оригиналаанглийский
Название основной публикацииProceedings of Computer Algebra in Scientific Computing (CASC 2021).
ИздательSpringer Nature
Страницы353-369
Число страниц17
DOI
СостояниеОпубликовано - 2021
СобытиеComputer algebra in scientific computing-2021 -
Продолжительность: 13 сен 2021 → …

Серия публикаций

НазваниеLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
ИздательSpringer Nature
Том12865
ISSN (печатное издание)0302-9743

конференция

конференцияComputer algebra in scientific computing-2021
Период13/09/21 → …

ID: 126985168