On Computability of Navier-Stokes’ Equation

DOI10.1007/978-3-319-20028-6_34zbMath1461.03046OpenAlexW2255795236MaRDI QIDQ3195712

Martin Ziegler, Ning Zhong, Shu Ming Sun

Publication date: 20 October 2015

Published in: Evolving Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-20028-6_34

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Navier-Stokes equations (35Q30) Computation over the reals, computable analysis (03D78)

Related Items (4)

Towards Computational Complexity Theory on Advanced Function Spaces in Analysis ⋮ On the computational complexity of the Dirichlet Problem for Poisson's Equation ⋮ Computability of the Solutions to Navier-Stokes Equations via Effective Approximation ⋮ Computability of Differential Equations

Cites Work

• Unnamed Item
• Unnamed Item
• Computing Schrödinger propagators on type-2 Turing machines
• Physically-relativized Church-Turing hypotheses: physical foundations of computing and complexity theory of computational physics
• 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?
• 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?
• 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: On Computability of Navier-Stokes’ Equation