Primitive recursive ordered fields and some applications
type: Item
instance of: scholarly article
title: Primitive recursive ordered fields and some applications
DOI: 10.1007/978-3-030-85165-1_20
publication date: 2022-03-24T00:00:00Z
full work available at URL: https://arxiv.org/abs/2010.10189
Mathematics Subject Classification ID: 68W30
zbMATH DE Number: 7497964
zbMATH Keywords: ordered field
zbMATH Keywords: real closure
zbMATH Keywords: primitive recursion
zbMATH Keywords: polynomial
zbMATH Keywords: splitting
zbMATH Keywords: root-finding
zbMATH Keywords: solution operators of PDEs
author: Victor Selivanov
author: Svetlana V. Selivanova
MaRDI profile type: Publication
OpenAlex ID: W3197157512
cites work: Polynomial-time presentations of algebraic number fields
cites work: FOUNDATIONS OF ONLINE STRUCTURE THEORY
cites work: Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
cites work: Q4223058
cites work: Primitive recursive real numbers
cites work: Q4935938
cites work: Effective procedures in field theory
cites work: Recursive analysis
cites work: Lipschitz continuous ordinary differential equations are polynomial-space complete
cites work: Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
cites work: On the computational complexity of the Dirichlet Problem for Poisson's Equation
cites work: Bit-complexity of solving systems of linear evolutionary partial differential equations
cites work: Computational complexity of real powering and improved solving linear differential equations
cites work: Q3697106
cites work: A note on computable real fields
cites work: An inequality for the discriminant of a polynomial
cites work: The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
cites work: Degree spectra of real closed fields
cites work: Computable Algebra, General Theory and Theory of Computable Fields
cites work: Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
cites work: Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
cites work: Q4934287
cites work: Q5587075
cites work: Q4485693
cites work: Q4532000
description: scientific article; zbMATH DE number 7497964