On Computability of Navier-Stokes’ Equation

DOI10.1007/978-3-319-20028-6_34zbMath1461.03046MaRDI 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

03F60: Constructive and recursive analysis

35Q30: Navier-Stokes equations

03D78: Computation over the reals, computable analysis