activity
20102023
most citedComputing the exact number of periodic orbits for planar flows

4 citations · 9 across the 10 of their papers we have counts for

collaborators
Showing math.APShow all

1 paper · 1 filter

math.AP2019

Computability of the Solutions to Navier-Stokes Equations via Recursive Approximation

Shu-Ming Sun, Ning Zhong, Martin Ziegler

As one of the seven open problems in the addendum to their 1989 book "Computability in Analysis and Physics", Pour-El and Richards proposed ``... the recursion theoretic study of p…