Login / Signup
NLCertify: A Tool for Formal Nonlinear Optimization.
Victor Magron
Published in:
CoRR (2014)
Keyphrases
</>
nonlinear optimization
optimization method
starting points
bundle adjustment
global search
closed form solutions