Computer Assisted Proof

concepts · 1 notes linked

Related: Caltech · Clay Mathematics Institute · Fluid Dynamics · Mathematical Singularity

Notes

• A New Computer Proof 'Blows Up' Centuries-Old Fluid Equations — Computer-assisted proof confirms Euler equation singularity formation for first time