Constructing the Numerical Method for Navier - Stokes Equations Using Computer Algebra System.
Leonid SeminVasily P. ShapeevPublished in: CASC (2005)
Keyphrases
- computer algebra
- numerical methods
- navier stokes equations
- theorem prover
- differential equations
- partial differential equations
- boundary element method
- finite element method
- numerical solution
- boundary conditions
- finite difference method
- level set method
- artificial intelligence
- search space
- pairwise
- pattern recognition
- image segmentation
- automated theorem provers
- computer vision