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.
Translated title of the contributionПримитивно рекурсивно упорядоченные поля и некоторые применения
Original languageEnglish
Title of host publicationProceedings of Computer Algebra in Scientific Computing (CASC 2021).
PublisherSpringer Nature
Pages353-369
Number of pages17
DOIs
StatePublished - 2021
EventComputer algebra in scientific computing-2021 -
Duration: 13 Sep 2021 → …

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
PublisherSpringer Nature
Volume12865
ISSN (Print)0302-9743

Conference

ConferenceComputer algebra in scientific computing-2021
Period13/09/21 → …

    Research areas

  • Ordered field, Polynomial, Primitive recursion, Real closure, Root-finding, Solution operators of PDEs, Splitting

ID: 126985168