Login / Signup

Navier-Stokes Equations (Peter Constantin and Ciprian Foias).

J. Thomas Beale
Published in: SIAM Rev. (1990)
Keyphrases
  • navier stokes equations
  • boundary conditions
  • john mccarthy
  • machine learning
  • sufficient conditions
  • temporal logic
  • model checking