{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T23:52:39Z","timestamp":1742946759166,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319200279"},{"type":"electronic","value":"9783319200286"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-20028-6_34","type":"book-chapter","created":{"date-parts":[[2015,6,19]],"date-time":"2015-06-19T10:07:37Z","timestamp":1434708457000},"page":"334-342","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["On Computability of Navier-Stokes\u2019 Equation"],"prefix":"10.1007","author":[{"given":"Shu Ming","family":"Sun","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Ziegler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,6,20]]},"reference":[{"key":"34_CR1","doi-asserted-by":"publisher","first-page":"3359","DOI":"10.1098\/rsta.2011.0427","volume":"370","author":"E Beggs","year":"2012","unstructured":"Beggs, E., Costa, J.F., Tucker, J.V.: Axiomatising physical experiments as Oracles to algorithms. Philos. Trans. R. Soc. Math. Phys. Eng. Sci. 370, 3359\u20133384 (2012)","journal-title":"Philos. Trans. R. Soc. Math. Phys. Eng. Sci."},{"key":"34_CR2","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1080\/03605308308820290","volume":"8","author":"Y Giga","year":"1983","unstructured":"Giga, Y.: Time and spatial analyticity of solutions of the Navier-Stokes equations. Comm. Partial Differ. Equ. 8, 929\u2013948 (1983)","journal-title":"Comm. Partial Differ. Equ."},{"key":"34_CR3","doi-asserted-by":"crossref","unstructured":"Giga, Y., Miyakawa, T.: Solutions in $$L^r$$ of the Navier-Stokes initial value problem. Arch. Ration. Mech. Anal. 89(3) 5.VIII, 267\u2013281 (1985)","DOI":"10.1007\/BF00276875"},{"key":"34_CR4","series-title":"Series in Computational Mathematics","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61623-5","volume-title":"Finite Element Methods for Navier-Stokes Equations","author":"V Girault","year":"1986","unstructured":"Girault, V., Raviart, P.-A.: Finite Element Methods for Navier-Stokes Equations. Series in Computational Mathematics, vol. 5. Springer, Heidelberg (1986)"},{"issue":"3","key":"34_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1002\/fld.1650050303","volume":"5","author":"MK Patel","year":"1985","unstructured":"Patel, M.K., Markatos, N.C., Cross, M.: A critical evaluation of seven discretization schemes for convection-diffusion equations. Int. J. Numer. Meth. Fluids 5(3), 225\u2013244 (1985)","journal-title":"Int. J. Numer. Meth. Fluids"},{"issue":"4","key":"34_CR6","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1016\/0001-8708(81)90001-3","volume":"39","author":"MB Pour-El","year":"1981","unstructured":"Pour-El, M.B., Richards, J.I.: The wave equation with computable initial data such that its unique solution is not computable. Adv. Math. 39(4), 215\u2013239 (1981)","journal-title":"Adv. Math."},{"key":"34_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-21717-7","volume-title":"Computability in Analysis and Physics","author":"MB Pour-El","year":"1989","unstructured":"Pour-El, M.B., Richards, J.I.: Computability in Analysis and Physics. Springer, Heidelberg (1989)"},{"issue":"4","key":"34_CR8","doi-asserted-by":"publisher","first-page":"499","DOI":"10.1002\/malq.19970430406","volume":"43","author":"MB Pour-El","year":"1997","unstructured":"Pour-El, M.B., Zhong, N.: The wave equation with computable initial data whose unique solution is nowhere computable. Math. Logic Q. 43(4), 499\u2013509 (1997)","journal-title":"Math. Logic Q."},{"key":"34_CR9","unstructured":"W.D. Smith: On the uncomputability of hydrodynamics, NEC preprint (2003)"},{"key":"34_CR10","doi-asserted-by":"publisher","first-page":"284","DOI":"10.2307\/420992","volume":"2","author":"RI Soare","year":"1996","unstructured":"Soare, R.I.: Computability and recursion. Bull. Symbolic Logic 2, 284\u2013321 (1996)","journal-title":"Bull. Symbolic Logic"},{"key":"34_CR11","unstructured":"Tao, T.: Finite time blowup for an averaged three-dimensional Navier-Stokes equation. arXiv:1402.0290 (submitted); http:\/\/terrytao.wordpress.com\/2014\/02\/04\/"},{"key":"34_CR12","series-title":"Texts in Theoretical Computer Science. An EATCS Series","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-56999-9","volume-title":"Computable Analysis: An Introduction","author":"K Weihrauch","year":"2000","unstructured":"Weihrauch, K.: Computable Analysis: An Introduction. Texts in Theoretical Computer Science. An EATCS Series. Springer, Heidelberg (2000)"},{"issue":"2","key":"34_CR13","doi-asserted-by":"publisher","first-page":"312","DOI":"10.1112\/S0024611502013643","volume":"85","author":"K Weihrauch","year":"2002","unstructured":"Weihrauch, K., Zhong, N.: Is wave propagation computable or can wave computers beat the turing machine? Proc. Lond. Math. Soc. 85(2), 312\u2013332 (2002)","journal-title":"Proc. Lond. Math. Soc."},{"key":"34_CR14","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/j.tcs.2004.11.005","volume":"332","author":"K Weihrauch","year":"2005","unstructured":"Weihrauch, K., Zhong, N.: Computing the solution of the Korteweg-de Vries equation with arbitrary precision on turing machines. Theor. Comput. Sci. 332, 337\u2013366 (2005)","journal-title":"Theor. Comput. Sci."},{"issue":"6","key":"34_CR15","doi-asserted-by":"publisher","first-page":"918","DOI":"10.1016\/j.jco.2006.06.001","volume":"22","author":"K Weihrauch","year":"2006","unstructured":"Weihrauch, K., Zhong, N.: Computing schr\u00f6dinger propagators on type-2 turing machines. J. Complex. 22(6), 918\u2013935 (2006)","journal-title":"J. Complex."},{"key":"34_CR16","doi-asserted-by":"publisher","first-page":"511","DOI":"10.1002\/malq.200710015","volume":"53","author":"K Weihrauch","year":"2007","unstructured":"Weihrauch, K., Zhong, N.: Computable analysis of the abstract Cauchy problem in Banach spaces and its applications I. Math. Logic Q. 53, 511\u2013531 (2007)","journal-title":"Math. Logic Q."},{"issue":"1","key":"34_CR17","first-page":"1","volume":"101","author":"M Wiegner","year":"1999","unstructured":"Wiegner, M.: The Navier-Stokes equations - a neverending challenge? Jahresbericht der Deutschen Mathematiker Vereinigung (DMV) 101(1), 1\u201325 (1999). http:\/\/dml.math.uni-bielefeld.de\/JB_DMV\/JB_DMV_101_1.pdf","journal-title":"Jahresbericht der Deutschen Mathematiker Vereinigung (DMV)"},{"issue":"4","key":"34_CR18","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1016\/j.amc.2009.04.062","volume":"215","author":"M Ziegler","year":"2009","unstructured":"Ziegler, M.: Physically-relativized church-turing hypotheses: physical foundations of computing and complexity theory of computational physics. Appl. Math. Comput. 215(4), 1431\u20131447 (2009)","journal-title":"Appl. Math. Comput."}],"container-title":["Lecture Notes in Computer Science","Evolving Computability"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-20028-6_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T01:36:33Z","timestamp":1676943393000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-20028-6_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319200279","9783319200286"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-20028-6_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"20 June 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}