Formalizing Potential Flows Using the HOL Light Theorem Prover.

Elif Deniz, Sofine Tahar

Browse the full ICFEM paper archive.