Formal Proofs for Nonlinear Optimization.

Victor Magron Xavier Allamigeon Stéphane Gaubert Benjamin Werner

Published in: J. Formaliz. Reason. (2015)

Keyphrases

nonlinear optimization
formal proofs
optimization method
starting points
bundle adjustment
global search
closed form solutions
genetic algorithm
objective function
optimal solution
linear programming
convergence speed
initial solution
nonlinear optimization problems