Credible Autocoding of Convex Optimization Algorithms.

Timothy Wang Romain Jobredeaux Marc Pantel Pierre-Loïc Garoche Eric Feron Didier Henrion

Published in: CoRR (2014)

Keyphrases

convex optimization
convex optimization problems
interior point
primal dual
interior point methods
computer vision
image processing
computational complexity
object recognition
evolutionary algorithm
np hard
worst case
optimization problems
total variation
norm minimization
operator splitting