{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,26]],"date-time":"2026-08-26T11:46:36Z","timestamp":1787744796832,"version":"build-2784847793"},"publisher-location":"Cham","reference-count":30,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030416713","type":"print"},{"value":"9783030416720","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-41672-0_7","type":"book-chapter","created":{"date-parts":[[2020,2,20]],"date-time":"2020-02-20T02:03:04Z","timestamp":1582164184000},"page":"80-112","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Computability of the Solutions to Navier-Stokes Equations via Effective Approximation"],"prefix":"10.1007","author":[{"given":"Shu-Ming","family":"Sun","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ning","family":"Zhong","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martin","family":"Ziegler","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,2,21]]},"reference":[{"key":"7_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. A: Math. Phys. Eng. Sci. 370, 3359\u20133384 (2012)","journal-title":"Philos. Trans. R. Soc. A: Math. Phys. Eng. Sci."},{"key":"7_CR2","series-title":"Spring Applied Mathematical Sciences","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-5975-0","volume-title":"Mathematical Tools for the Study of the Incompressible Navier-Stokes Equations and Related Models","author":"F Boyer","year":"2013","unstructured":"Boyer, F., Fabrie, P.: Mathematical Tools for the Study of the Incompressible Navier-Stokes Equations and Related Models. Spring Applied Mathematical Sciences. Springer, Heidelberg (2013). \nhttps:\/\/doi.org\/10.1007\/978-1-4614-5975-0"},{"key":"7_CR3","doi-asserted-by":"publisher","first-page":"887","DOI":"10.2977\/prims\/1195182014","volume":"19","author":"Y Giga","year":"1983","unstructured":"Giga, Y.: Weak and strong solutions of the Navier-Stokes initial value problem. Publ. RIMS Kyoto Univ. 19, 887\u2013910 (1983)","journal-title":"Publ. RIMS Kyoto Univ."},{"key":"7_CR4","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. Commun. Partial Differ. Equ. 8, 929\u2013948 (1983)","journal-title":"Commun. Partial Differ. Equ."},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/BF00276875","volume":"89","author":"Y Giga","year":"1985","unstructured":"Giga, Y., Miyakawa, T.: Solutions in $$L^r$$ of the Navier-Stokes initial value problem. Arch. Ration. Mech. Anal. 89(3), 267\u2013281 (1985)","journal-title":"Arch. Ration. Mech. Anal."},{"key":"7_CR6","series-title":"Springer Series in Computational Mathematics","doi-asserted-by":"publisher","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. Springer Series in Computational Mathematics, vol. 5. Springer, New York (1986). \nhttps:\/\/doi.org\/10.1007\/978-3-642-61623-5"},{"issue":"2","key":"7_CR7","first-page":"231","volume":"20","author":"A Kawamura","year":"2014","unstructured":"Kawamura, A., Steinberg, F., Ziegler, M.: Complexity of Laplace\u2019s and Poisson\u2019s equation. Bull. Symb. Logic 20(2), 231 (2014). Full version to appear in Mathem. Structures in Computer Science (2016)","journal-title":"Bull. Symb. Logic"},{"key":"7_CR8","doi-asserted-by":"publisher","first-page":"103","DOI":"10.2307\/2008656","volume":"52","author":"GS Landriani","year":"1989","unstructured":"Landriani, G.S., Vandeven, H.: Polynomial approximation of divergence-free functions. Math. Comput. 52, 103\u2013130 (1989)","journal-title":"Math. Comput."},{"key":"7_CR9","volume-title":"Strongly Elliptic Systems and Boundary Integral Equations","author":"W Mclean","year":"2000","unstructured":"Mclean, W.: Strongly Elliptic Systems and Boundary Integral Equations. Cambridge University Press, London (2000)"},{"key":"7_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-5561-1","volume-title":"Semigroups of Linear Operators and Applications to Partial Differential Equations","author":"A Pazy","year":"1983","unstructured":"Pazy, A.: Semigroups of Linear Operators and Applications to Partial Differential Equations. Springer, New York (1983). \nhttps:\/\/doi.org\/10.1007\/978-1-4612-5561-1"},{"issue":"4","key":"7_CR11","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":"7_CR12","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, New York (1989)"},{"issue":"4","key":"7_CR13","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."},{"issue":"3","key":"7_CR14","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"},{"key":"7_CR15","doi-asserted-by":"publisher","first-page":"43","DOI":"10.1016\/S0304-3975(02)00693-X","volume":"305","author":"V Brattka","year":"2003","unstructured":"Brattka, V., Presser, G.: Computability on subsets of metric spaces. Theor. Comput. Sci. 305, 43\u201376 (2003)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR16","unstructured":"Smith, W.D.: On the uncomputability of hydrodynamics. NEC preprint (2003)"},{"key":"7_CR17","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. Symb. Logic 2, 284\u2013321 (1996)","journal-title":"Bull. Symb. Logic"},{"key":"7_CR18","series-title":"Birkh\u00e4user Advanced Texts","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8255-2","volume-title":"The Navier-Stokes Equations: An Elementary Functional Analytic Approach","author":"H Sohr","year":"2001","unstructured":"Sohr, H.: The Navier-Stokes Equations: An Elementary Functional Analytic Approach. Birkh\u00e4user Advanced Texts. Birkh\u00e4user, New York (2001)"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"334","DOI":"10.1007\/978-3-319-20028-6_34","volume-title":"Evolving Computability","author":"SM Sun","year":"2015","unstructured":"Sun, S.M., Zhong, N., Ziegler, M.: On computability of Navier-Stokes\u2019 equation. In: Beckmann, A., Mitrana, V., Soskova, M. (eds.) CiE 2015. LNCS, vol. 9136, pp. 334\u2013342. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-20028-6_34"},{"key":"7_CR20","doi-asserted-by":"publisher","first-page":"601","DOI":"10.1090\/jams\/838","volume":"29","author":"T Tao","year":"2016","unstructured":"Tao, T.: Finite time blowup for an averaged three-dimensional Navier-Stokes equation. J. Am. Math. Soc. 29, 601\u2013674 (2016)","journal-title":"J. Am. Math. Soc."},{"key":"7_CR21","volume-title":"Navier-Stokes Equations: Theory and Numerical Analysis","author":"R Temam","year":"1977","unstructured":"Temam, R.: Navier-Stokes Equations: Theory and Numerical Analysis. North-Holland Publishing Company, New York (1977)"},{"key":"7_CR22","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. Springer, New York (2000). \nhttps:\/\/doi.org\/10.1007\/978-3-642-56999-9"},{"issue":"2","key":"7_CR23","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":"7_CR24","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":"7_CR25","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":"7_CR26","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":"7_CR27","first-page":"1","volume":"101","author":"M Wiegner","year":"1999","unstructured":"Wiegner, M.: The Navier-Stokes equations \u2013 a never-ending challenge? Jahresbericht der Deutschen Mathematiker Vereinigung (DMV) 101(1), 1\u201325 (1999)","journal-title":"Jahresbericht der Deutschen Mathematiker Vereinigung (DMV)"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"487","DOI":"10.1016\/S0304-3975(98)00302-8","volume":"219","author":"N Zhong","year":"1999","unstructured":"Zhong, N.: Computability structure of the Sobolev spaces and its applications. Theor. Comput. Sci. 219, 487\u2013510 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"7_CR29","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.tcs.2004.06.022","volume":"326","author":"M Ziegler","year":"2004","unstructured":"Ziegler, M., Brattka, V.: Computability in linear algebra. Theor. Comput. Sci. 326, 187\u2013211 (2004)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"7_CR30","first-page":"1431","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","Complexity and Approximation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-41672-0_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,2,20]],"date-time":"2020-02-20T02:05:46Z","timestamp":1582164346000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-41672-0_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030416713","9783030416720"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-41672-0_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"21 February 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}