On computability of Navier-Stokes' equation

DOI10.1007/978-3-319-20028-6_34MaRDI QIDQ3195712zbMATH OpenOpenAlexFDO

Authors Ning Zhong, Martin Ziegler, 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

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

Recommendations

• Computability of the Solutions to Navier-Stokes Equations via Effective Approximation
• Solving the Dirichlet problem constructively
• scientific article; zbMATH DE number 732184
• scientific article; zbMATH DE number 775155
• scientific article; zbMATH DE number 1159519

Cites work

• A critical evaluation of seven discretization schemes for convection-diffusion equations
• Axiomatizing physical experiments as oracles to algorithms
• Computability and Recursion
• Computable analysis of the abstract Cauchy problem in a Banach space and its applications I
• Computing Schrödinger propagators on type-2 Turing machines
• Computing the solution of the Korteweg-de Vries equation with arbitrary precision on Turing machines
• Finite Element Methods for Navier-Stokes Equations
• Finite time blowup for an averaged three-dimensional Navier-Stokes equation
• scientific article; zbMATH DE number 42077 (Why is no real title available?)
• scientific article; zbMATH DE number 1460545 (Why is no real title available?)
• IS WAVE PROPAGATION COMPUTABLE OR CAN WAVE COMPUTERS BEAT THE TURING MACHINE?
• 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 Navier-Stokes equations -- a neverending challenge?
• The wave equation with computable initial data such that its unique solution is not computable
• The Wave Equation with Computable Initial Data Whose Unique Solution Is Nowhere Computable
• Time and spartial analyticity of solutions of the navier-stokes equations

Cited in

(4)

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

This page was built for publication: On computability of Navier-Stokes' equation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3195712)