Title: "Optimum" upwind advection on a triangular mesh
Subjects: Advection, Computational grids, Nonlinearity, Theorem proving, Truncation errors