Computability of the Solutions to Navier-Stokes Equations via Effective Approximation
From MaRDI portal
Publication:3297826
DOI10.1007/978-3-030-41672-0_7zbMath1496.03177arXiv1908.01226OpenAlexW2964458055MaRDI QIDQ3297826
Martin Ziegler, Ning Zhong, Shu Ming Sun
Publication date: 20 July 2020
Published in: Complexity and Approximation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1908.01226
Related Items (max. 100)
Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations ⋮ Computational complexity of classical solutions of partial differential equations ⋮ Bit-complexity of solving systems of linear evolutionary partial differential equations
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Computability in linear algebra
- Weak and strong solutions of the Navier-Stokes initial value problem
- Computing Schrödinger propagators on type-2 Turing machines
- Semigroups of linear operators and applications to partial differential equations
- Solutions in \(L_ r\) of the Navier-Stokes initial value problem
- The wave equation with computable initial data such that its unique solution is not computable
- The Navier-Stokes equations -- a neverending challenge?
- Computability structure of the Sobolev spaces and its applications
- Computability on subsets of metric spaces.
- 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
- Finite time blowup for an averaged three-dimensional Navier-Stokes equation
- Axiomatizing physical experiments as oracles to algorithms
- IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
- On Computability of Navier-Stokes’ Equation
- Polynomial Approximation of Divergence-Free Functions
- Time and spartial analyticity of solutions of the navier-stokes equations
- A critical evaluation of seven discretization schemes for convection-diffusion equations
- Finite Element Methods for Navier-Stokes Equations
- The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
- Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
- Computability and Recursion
This page was built for publication: Computability of the Solutions to Navier-Stokes Equations via Effective Approximation