lanyonai/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.

语言：C · GitHub 星标：17 · Fork：1

在 GitHub 上查看原仓库