A Numerical Verification Method of Solutions for the Navier-Stokes Equations.

Yoshitaka Watanabe Nobito Yamamoto Mitsuhiro T. Nakao

Published in: SCAN (1998)

Keyphrases

verification method
navier stokes equations
model checking
computer vision
sensitivity analysis
temporal logic
information retrieval
multiscale
numerical algorithms
data mining
machine learning
image processing
artificial neural networks
special case
numerical methods
similar problems