lanyonai/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 · GitHub 星标：79 · Fork：11

在 GitHub 上查看原仓库