Shu-Ming Sun, Ning Zhong 0002, Martin Ziegler 0001. Computability of the Solutions to Navier-Stokes Equations via Effective Approximation. In Ding-Zhu Du, Jie Wang, editors, Complexity and Approximation - In Memory of Ker-I Ko. Volume 12000 of Lecture Notes in Computer Science, pages 80-112, Springer, 2020. [doi]
Abstract is missing.