An Application of Computer Algebra to a Problem in Stratified Fluid Flow.

R. J. Yamartino Richard Pavelle

Published in: J. Symb. Comput. (1991)

Keyphrases

computer algebra
fluid flow
theorem prover
dynamical systems
velocity field
vector field
water flow
computer algebra systems
heat transfer
computational fluid dynamics
porous media
optical flow
automated theorem provers
image sequences
three dimensional
artificial intelligence
databases