Synthesis of optimal numerical algorithms using real quantifier elimination (case study: square root computation).
Madalina ErascuHoon HongPublished in: ISSAC (2014)
Keyphrases
- square root
- numerical algorithms
- quantifier elimination
- kalman filtering
- floating point
- constraint propagation
- euclidean space
- probability density function
- arrival rate
- functional programming
- dynamic programming
- partial differential equations
- optimal solution
- kalman filter
- image segmentation
- dynamical systems
- programming language
- probabilistic model
- computational complexity