#

regularity-theory

Here are 3 public repositories matching this topic...

HeliCorgi / ns-singularity-certificate-lab

Not a Clay solution. Spectral-front identities for periodic Navier-Stokes: a bandwidth-dissipation dichotomy, an exact action representation, and an obstruction to uniform pointwise Osgood closure. Exact-rational certificates; AI-agent review, not human peer review.

reproducible-research mathematical-analysis partial-differential-equations navier-stokes formal-verification fluid-dynamics regularity-theory computer-assisted-proofs lean4 exact-arithmetic

Updated Sep 1, 2026
Python

Brsanch / sqg-lean-proofs

Lean 4 + mathlib formalization of the SQG shear-vorticity identity (D14 Theorem 1)

theorem-proving partial-differential-equations formalization fluid-dynamics mathematical-physics mathlib harmonic-analysis regularity-theory sqg lean4 quasi-geostrophic sobolev-spaces

Updated Jul 5, 2026
Lean

juliusberner / regularity_relu_network

Towards a regularity theory for ReLU networks (construction of approximating networks, ReLU derivative at zero, theory)

deep-neural-networks research approximation sobolev-space-norm relu-derivative regularity-theory

Updated Oct 15, 2019
Jupyter Notebook

Add this topic to your repo

To associate your repository with the regularity-theory topic, visit your repo's landing page and select "manage topics."