-
AdvectionDiffusion
End-to-end formally verified solvers for the linear advection, isotropic advection-diffusion, and full (anisotropic) advection-diffusion equations in 1D, 2D, and 3D.
C ★ 66 6d agoExplain → -
MaxwellEquations
End-to-end formally verified solvers for the Maxwell and perfectly hyperbolic Maxwell equations in 1D, 2D, and 3D.
Lean ★ 33 3d agoExplain → -
ElectrostaticVlasov
End-to-end formally verified solvers for the electrostatic Vlasov equation in 1x1v, 1x2v, 1x3v, 2x2v, 2x3v, and 3x3v (i.e. 2D to 6D) phase space.
Lean ★ 10 2d agoExplain → -
BurgersEquation
End-to-end formally verified solvers for the inviscid Burgers', isotropic viscous Burgers', and full (anisotropic) viscous Burgers' equations in 1D, 2D, and 3D.
★ 0 6h agoExplain →
No repos match these filters.