Primitive recursive ordered fields and some applications
From MaRDI portal
Publication:831997
DOI10.1007/978-3-030-85165-1_20OpenAlexW3197157512MaRDI QIDQ831997
Svetlana V. Selivanova, Victor L. Selivanov
Publication date: 24 March 2022
Full work available at URL: https://arxiv.org/abs/2010.10189
splittingpolynomialprimitive recursionroot-findingreal closureordered fieldsolution operators of PDEs
Related Items (6)
Primitive recursive equivalence relations and their primitive recursive complexity ⋮ Primitive recursive reverse mathematics ⋮ Punctually presented structures I: Closure theorems ⋮ COMPUTABLY COMPACT METRIC SPACES ⋮ Primitive recursive ordered fields and some applications ⋮ Computational complexity of classical solutions of partial differential equations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Lipschitz continuous ordinary differential equations are polynomial-space complete
- Polynomial-time presentations of algebraic number fields
- Degree spectra of real closed fields
- Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
- Bit-complexity of solving systems of linear evolutionary partial differential equations
- Computational complexity of real powering and improved solving linear differential equations
- An inequality for the discriminant of a polynomial
- Recursive analysis
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
- Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
- Effective procedures in field theory
- A note on computable real fields
- On the computational complexity of the Dirichlet Problem for Poisson's Equation
- Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- Primitive recursive real numbers
- Computable Algebra, General Theory and Theory of Computable Fields
This page was built for publication: Primitive recursive ordered fields and some applications