Keyphrases
- algebraic geometry
- piecewise polynomial
- theorem prover
- set theory
- boolean algebra
- image interpolation
- query language
- relational algebra
- series expansion
- interpolation methods
- linear interpolation
- algebraic expressions
- theorem proving
- interpolation method
- higher order logic
- algebraic operations
- low order
- formal methods
- first order logic
- algebraic curves
- hermite transform
- neural network
- databases
- polynomial equations
- edge direction
- genetic algorithm
- natural deduction
- real time
- data model
- software engineering