Computability of Differential Equations
From MaRDI portal
Publication:5024569
DOI10.1007/978-3-030-59234-9_3OpenAlexW3171533739MaRDI QIDQ5024569
Ning Zhong, Daniel Silva Graça
Publication date: 26 January 2022
Published in: Theory and Applications of Computability (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10400.1/15378
Related Items
Computing the exact number of periodic orbits for planar flows ⋮ Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations ⋮ Computational complexity of classical solutions of partial differential equations
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computational complexity of solving polynomial differential equations over unbounded domains
- Breaking the limits: The Taylor series method
- Lipschitz continuous ordinary differential equations are polynomial-space complete
- Recursive analysis of singular ordinary differential equations
- The connection between computability of a nonlinear problem and its linearization: the Hartman-Grobman theorem revisited
- Towards computability of elliptic boundary value problems in variational formulation
- Computing Schrödinger propagators on type-2 Turing machines
- An analytic system with a computable hyperbolic sink whose basin of attraction is non-computable
- Nonlinear oscillations, dynamical systems, and bifurcations of vector fields
- Solutions in \(L_ r\) of the Navier-Stokes initial value problem
- Computing power series in polynomial time
- Structural stability of Lorenz attractors
- The wave equation with computable initial data such that its unique solution is not computable
- Recursive function theory and numerical analysis
- Computability structure of the Sobolev spaces and its applications
- Analog computers and recursive functions over the reals.
- A rigorous ODE solver and Smale's 14th problem
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs (extended abstract)
- Mathematical tools for the study of the incompressible Navier-Stokes equations and related models
- Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
- Parameterized complexity for uniform operators on multidimensional analytic functions and ODE solving
- Computability, noncomputability, and hyperbolic systems
- Computability aspects for 1st-order partial differential equations via characteristics
- Computability with polynomial differential equations
- Church's thesis meets the \(N\)-body problem
- The primitive recursive analysis of ordinary differential equations and the complexity of their solutions
- Continuity and computability of reachable sets
- Computability of Solutions of the Korteweg-de Vries Equation
- Computational Complexity of Smooth Differential Equations
- Polynomial-Time Solution of Initial Value Problems Using Polynomial Enclosures
- On Effective Convergence of Numerical Solutions for Differential Equations
- Complexity Theory for Operators in Analysis
- Solving Analytic Differential Equations in Polynomial Time over Unbounded Domains
- Computing geometric Lorenz attractors with arbitrary precision
- IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
- Index sets for computable differential equations
- On Computability of Navier-Stokes’ Equation
- On the computational complexity of ordinary differential equations
- A Software Package for the Numerical Integration of ODEs by Means of High-Order Taylor Methods
- A Domain-Theoretic Account of Picard's Theorem
- Computability theory of generalized functions
- Three-Dimensional Flows
- Computability, noncomputability and undecidability of maximal intervals of IVPs
- Computability and Incomputability of Differential Equations
- A critical evaluation of seven discretization schemes for convection-diffusion equations
- A computable ordinary differential equation which possesses no computable solution
- Solving Ordinary Differential Equations Using Taylor Series
- Constructive Weak Solutions of the Dirichlet Problem
- The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
- 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
- AN EFFECTIVE CAUCHY-PEANO EXISTENCE THEOREM FOR UNIQUE SOLUTIONS
- The Solution Operator of the Korteweg-de Vries Equation is Computable
- Effective Computability of Solutions of Ordinary Differential Equations The Thousand Monkeys Approach
- Computing Solutions of Symmetric Hyperbolic Systems of PDE's
- Boundedness of the Domain of Definition is Undecidable for Polynomial ODEs
- Computable Analysis of the Abstract Cauchy Problem in a Banach Space and Its Applications (I)
- Bit complexity of computing solutions for symmetric hyperbolic systems of PDEs with guaranteed precision
- Average-case polynomial-time computability of hamiltonian dynamics
- Generalized shifts: unpredictability and undecidability in dynamical systems
- On the complexity of solving initial value problems
- Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
- Computational unsolvability of domains of attraction of nonlinear systems
- An Algorithm for Computing Fundamental Solutions
- Differentiable dynamical systems
- The Failure in Computable Analysis of a Classical Existence Theorem for Differential Equations
- New Computational Paradigms
- Mathematical Theory of the Differential Analyzer
