regularity

Lecture notes of Professor Stéphane Mallat - Collège de France - Paris

A MATLAB implementation of the Boundary Element Method (BEM) for solving the Laplace equation on generic 2D meshes. The code supports both linear and quadratic elements with a structured and modular approach for simplicity and precision.

For working with regular triangulations of integral vector configurations

Navier-Stokes and Euler singularity formation, measured: a zero-numerical-dissipation spectral solver, an adversarial searcher, a clock that says when to stop believing a number, and 24 registered claims scored in public. The seam, the twist wave, the V.

A new regularity criterion for the 3D Navier–Stokes equations based on alignment between pressure gradient and vorticity

Reference implementation and experiment harness for RHUSPM-Par: parallel regular high-utility sequential pattern mining with recursive dynamic load balancing on shared-memory multi-core machines.

lean theorems

Small programs relating to the construction of triangulations

Generate donations to projects you want to support according to a distribution you control

A TSD rally racing software.

From-scratch structural program for 3D Navier-Stokes regularity: Transfer, Dissipation, Selection, Composition.

Machine-verified research program toward a global H³ bound for 3D Navier–Stokes