Author
CHAOCHAO MA
Recent research
- AI & ComputingOpen access
A Mechanically Verified Census of the Standard Route to the Navier–Stokes Millennium Problem
This report presents a mechanical verification census of the Clay Millennium Problem concerning global regularity (or finite-time blowup) of the three-dimensionalincompressible Navier–Stokes equations. Within a proof-checker architecture driven by a symbolic computation kernel (S...
- AI & ComputingOpen access
A Mechanically Verified Census of the Standard Route to the Navier–Stokes Millennium Problem
This report presents a mechanical verification census of the Clay Millennium Problem concerning global regularity (or finite-time blowup) of the three-dimensionalincompressible Navier–Stokes equations. Within a proof-checker architecture driven by a symbolic computation kernel (S...