Login / Signup
Efficient Simplification Techniques for Special Real Quantifier Elimination with Applications to the Synthesis of Optimal Numerical Algorithms.
Madalina Erascu
Published in:
CASC (2016)
Keyphrases
</>
quantifier elimination
numerical algorithms
multiresolution
general purpose
computer vision
image processing
optimal solution
image analysis
data model
dynamic programming
functional programming