Quabiccu/nsresearch
I tried to solve Navier-Stokes existence and smoothness problem. That's just a slight possible advancement. I'm not certain of the novel character.
Lean
1 contributors
MIT License
Social mentions
Recent discussions about this repository across the web
Repository activities
repository's daily and monthly activities across stars, forks, merged PRs, issues, and closed issues