Login / Signup

Verification of a fluid-dynamics solver using correlations with linear stability results.

Georgios MatheouCarlos PantanoPaul E. Dimotakis
Published in: J. Comput. Phys. (2008)
Keyphrases
  • fluid dynamics
  • navier stokes
  • numerical simulations
  • closed form
  • real time
  • model checking
  • semidefinite
  • asynchronous circuits
  • strongly correlated