Real quantifier elimination for the synthesis of optimal numerical algorithms (Case study: Square root computation).
Madalina ErascuHoon HongPublished in: J. Symb. Comput. (2016)
Keyphrases
- square root
- numerical algorithms
- quantifier elimination
- floating point
- kalman filtering
- arrival rate
- functional programming
- constraint propagation
- partial differential equations
- euclidean space
- dynamic programming
- first order logic
- probability density function
- image processing
- kalman filter
- higher order
- probabilistic model
- optimal solution
- image sequences
- database systems