Where Numerics Can Benefit from Computer Algebra in Finite Difference Modelling of Fluid Flows.
Richard LiskaBurton WendroffPublished in: CASC (1999)
Keyphrases
- computer algebra
- finite difference
- finite element
- numerical analysis
- partial differential equations
- numerical solution
- theorem prover
- hamilton jacobi
- numerical scheme
- level set
- diffusion equation
- automated theorem provers
- semi implicit
- first order logic
- probability distribution
- knowledge base
- artificial intelligence
- machine learning