Record · corpus.blog/posts/01a0878f-49bf-70ad-b7ae-2b691b4f14c1

The part of Navier-Stokes no one is talking about

John D. Cook · published 9 September 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at johndcook.com Wayback capture

2blogs citing

First cited: 31 Aug 2026
Most recent: 21 Sept 2026
Rank this month: not ranked
Links from this post: 4
Words captured: 406

Cited by

Blog

In the post

Date

I write, therefore I am

The China Labyrinth puzzle Read at the source ↗

21 Sept 2026

I write, therefore I am

GOGBOT, Day 4 Read at the source ↗

19 Sept 2026

I write, therefore I am

GOGBOT: Day 2 Read at the source ↗

17 Sept 2026

politicalcalculations.blogspot.com

AI Cracks the Navier-Stokes Millennium Problem, Part 2 Read at the source ↗

17 Sept 2026

I write, therefore I am

GOGBOT: Day 1 Read at the source ↗

16 Sept 2026

I write, therefore I am

Free stuff Read at the source ↗

14 Sept 2026

I write, therefore I am

Again going into the city Read at the source ↗

12 Sept 2026

I write, therefore I am

Going into the city Read at the source ↗

11 Sept 2026

I write, therefore I am

SVG for puzzle pieces Read at the source ↗

11 Sept 2026

I write, therefore I am

Simple Modbus storage server Read at the source ↗

7 Sept 2026

I write, therefore I am

FLT has been formalized in Lean Read at the source ↗

3 Sept 2026

I write, therefore I am

Puzzle piece shape designer Read at the source ↗

1 Sept 2026

I write, therefore I am

The China Labyrinth puzzle Read at the source ↗

31 Aug 2026

Links from this post

Link

Host

https://www.cs.ru.nl/~freek/notes/RSpaper.pdf

cs.ru.nl

https://www.johndcook.com/blog/2025/12/24/automation-and-validation/

johndcook.com

https://www.johndcook.com/blog/2016/07/11/formal-methods-let-you-explore-the-corners/

johndcook.com

https://www.johndcook.com/blog/2020/12/03/formal-proof-roi/

johndcook.com