Quantifier Elimination for Approximate Factorization of Linear Partial Differential Operators.
Elena KartashovaScott McCallumPublished in: Calculemus/MKM (2007)
Keyphrases
- differential operators
- quantifier elimination
- constraint query languages
- vector field
- constraint databases
- multiscale
- cardinality constraints
- constraint propagation
- functional programming
- partial differential equations
- first order logic
- multiple scales
- scale space
- zero crossing
- pairwise
- feature detectors
- linear constraints