Primitive recursive ordered fields and some applications
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 3920595 (Why is no real title available?)
- scientific article; zbMATH DE number 1232130 (Why is no real title available?)
- scientific article; zbMATH DE number 1460545 (Why is no real title available?)
- scientific article; zbMATH DE number 1746051 (Why is no real title available?)
- scientific article; zbMATH DE number 1390022 (Why is no real title available?)
- scientific article; zbMATH DE number 1390542 (Why is no real title available?)
- scientific article; zbMATH DE number 3305793 (Why is no real title available?)
- A note on computable real fields
- An inequality for the discriminant of a polynomial
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
- Bit-complexity of solving systems of linear evolutionary partial differential equations
- Computable Algebra, General Theory and Theory of Computable Fields
- Computational complexity of real powering and improved solving linear differential equations
- Computing Solution Operators of Boundary-value Problems for Some Linear Hyperbolic Systems of PDEs
- Degree spectra of real closed fields
- Effective procedures in field theory
- FOUNDATIONS OF ONLINE STRUCTURE THEORY
- Lipschitz continuous ordinary differential equations are polynomial-space complete
- On the computational complexity of the Dirichlet problem for Poisson's equation
- Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
- Polynomial-time presentations of algebraic number fields
- Primitive recursive real numbers
- Recursive analysis
- Solving analytic differential equations in polynomial time over unbounded domains
- The metamathematics of algebraic systems. Collected papers: 1936-1967. Translated, edited, and provided with supplementary notes by Benjamin Franklin Wells III
Cited in
(8)- Punctually presented structures I: Closure theorems
- Primitive recursive equivalence relations and their primitive recursive complexity
- scientific article; zbMATH DE number 1139370 (Why is no real title available?)
- Computably and punctually universal spaces
- Primitive recursive ordered fields and some applications
- Computational complexity of classical solutions of partial differential equations
- COMPUTABLY COMPACT METRIC SPACES
- Primitive recursive reverse mathematics
This page was built for publication: Primitive recursive ordered fields and some applications
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q831997)
