Godunov's Theorem: Computational Fluid Dynamics, High Resolution Scheme, Theorem

Kelvin's Circulation Theorem: Fluid Mechanics, (fluid dynamics)

Flux Limiter: High Resolution Scheme, Fluid Dynamics, Partial Differential Equations

Gandalf (theorem prover): Automated Theorem Prover, Semantic Web, Scheme (programming language)

Godunov's Scheme: Numerical Analysis, Computational Fluid Dynamics, Conservation Law