Keyphrases
- navier stokes
- data model
- numerical simulations
- relational algebra
- mathematical model
- boolean algebra
- differential equations
- numerical solution
- query language
- orders of magnitude
- relational databases
- quantified boolean formulas
- learning algorithm
- nonlinear equations
- algebraic structure
- algebraic operations
- satisfiability modulo theories
- algebraic expressions
- information systems