Computational Complexity of Smooth Differential Equations

DOI10.1007/978-3-642-32589-2_51zbMath1326.68151arXiv1311.5414OpenAlexW1835642604MaRDI QIDQ2912757

Akitoshi Kawamura, Martin Ziegler, Hiroyuki Ota, Carsten Rösnick

Publication date: 25 September 2012

Published in: Logical Methods in Computer Science, Mathematical Foundations of Computer Science 2012 (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1311.5414

zbMATH Keywords

differential equationscomputable analysiscounting hierarchy

Mathematics Subject Classification ID

Initial value problems, existence, uniqueness, continuous dependence and continuation of solutions to ordinary differential equations (34A12) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Computation over the reals, computable analysis (03D78)

Related Items (16)

Towards Using Exact Real Arithmetic for Initial Value Problems ⋮ Towards Computational Complexity Theory on Advanced Function Spaces in Analysis ⋮ The computational complexity of the initial value problem for the three body problem ⋮ Slutsky matrix norms: the size, classification, and comparative statics of bounded rationality ⋮ On Effective Convergence of Numerical Solutions for Differential Equations ⋮ Computing the exact number of periodic orbits for planar flows ⋮ Analytic one-dimensional maps and two-dimensional ordinary differential equations can robustly simulate Turing machines ⋮ On the computational complexity of the Dirichlet Problem for Poisson's Equation ⋮ A continuous characterization of PSPACE using polynomial ordinary differential equations ⋮ Computability on measurable functions ⋮ Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations ⋮ Computational benefit of smoothness: parameterized bit-complexity of numerical operators on analytic functions and Gevrey's hierarchy ⋮ Analytical properties of resource-bounded real functionals ⋮ Computational complexity of classical solutions of partial differential equations ⋮ Computability of Differential Equations ⋮ Bit-complexity of solving systems of linear evolutionary partial differential equations

This page was built for publication: Computational Complexity of Smooth Differential Equations