Formal Proofs for Nonlinear Optimization.

Xavier Allamigeon Stéphane Gaubert Victor Magron Benjamin Werner

Published in: CoRR (2014)

Keyphrases

formal proofs
nonlinear optimization
optimization method
starting points
bundle adjustment
global search
optimization algorithm
closed form solutions
search algorithm
multi objective
least squares
low cost
particle swarm optimization
video sequences
global optimization
hybrid algorithm
evolutionary algorithm