• BARON

  • Referenced in 354 articles [sw00066]
  • problems to global optimality. Purely continuous, purely integer, and mixed-integer nonlinear problems ... with the software. The Branch And Reduce Optimization Navigator derives its name from its combining ... valleys of complex optimization problems in search of global solutions...
  • COCONUT

  • Referenced in 40 articles [sw04760]
  • modular solver environment for nonlinear continuous global optimization problems with an open-source kernel, which...
  • INTOPT_90

  • Referenced in 306 articles [sw04705]
  • Rigorous global search: continuous problems The monograph gives a survey of interval arithmetic based methods ... solving systems of equations and global optimization problems. The connection between these two themes ... finding is an almost unavoidable part of optimization. The interval arithmetic philosophy of selfvalidation ... tighter solution intervals. The chapter about solving nonlinear systems of equations (23 pages) features...
  • RealPaver

  • Referenced in 51 articles [sw04401]
  • global optimization. Problems: Realpaver allows modeling and solving nonlinear and nonconvex constraint satisfaction and optimization ... over the real numbers. The decision variables, continuous or discrete, have to be bounded. Functions ... Moreover, it is able to enclose the global optimum of an optimization problem with certainty...
  • SSPMO

  • Referenced in 18 articles [sw07449]
  • efficient frontier of nonlinear multiobjective optimization problems with continuous variables. Recent applications of scatter search ... have shown its merit as a global optimization technique for single-objective problems. However...
  • alphaBB

  • Referenced in 49 articles [sw06249]
  • global optimization method, ffBB, for general continuous optimization problems involving nonconvexities in the objective function ... algorithm attains finite ffl--convergence to the global minimum through the successive subdivision ... subsequent solution of a series of nonlinear convex minimization problems. The global optimization method, ffBB...
  • PSOPT

  • Referenced in 8 articles [sw20700]
  • methods solve optimal control problems by approximating the time-dependent variables using global polynomials, such ... Kutta integrators. With both global and local methods, differential equations, continuous constraints and integrals associated ... nodes. Sparse nonlinear programming is then used to find local optimal solutions. PSOPT is able...
  • DFLGEN

  • Referenced in 9 articles [sw36986]
  • solving continuously differentiable Mixed Integer NonLinear Programming problems with general nonlinear constraints and explicit handling ... exterior penalty approach to handle the general nonlinear constraints and a local search approach ... proposed algorithms globally converge to points satisfying different necessary optimality conditions. We report a computational...
  • MEIGO

  • Referenced in 6 articles [sw08492]
  • solve many problems in computational biology. Global optimization methods provide a robust methodology, and metaheuristics ... present MEIGO, an R and Matlab optimization toolbox (also available in Python via a wrapper ... enhanced scatter search method (eSS) for continuous nonlinear programming (cNLP) and mixed-integer programming (MINLP...
  • libEnsemble

  • Referenced in 1 article [sw26556]
  • finding multiple, high-quality minima of nonlinear optimization problems. Our multistart algorithm considers all previously ... determining where to start or continue a local optimization run. Theoretical results show that when ... local optimization runs and identifies every minimum. The algorithm is applicable to general optimization settings ... good approximations of many minima (including a global minimum), and this ability is shown...
  • GOPS

  • Referenced in 1 article [sw41018]
  • with Surrogate (GOPS) for the minimization of continuous black-box objective functions that might have ... dimensional problems in comparison to other global optimization algorithms, especially with a larger number ... parallel on 14 synthetic black-box optimization benchmarking test problems ... estimation problem for an expensive real-world nonlinear lake water quality model with partial differential...
  • ADOL-C

  • Referenced in 249 articles [sw00019]
  • ADOL-C: Automatic Differentiation of C/C++. We present...
  • ANSYS

  • Referenced in 704 articles [sw00044]
  • ANSYS offers a comprehensive software suite that spans...
  • ATLAS

  • Referenced in 199 articles [sw00056]
  • This paper describes the Automatically Tuned Linear Algebra...
  • BBVSCG

  • Referenced in 6 articles [sw00069]
  • BBVSCG - A variable-storage algorithm for function minimization...
  • cdd

  • Referenced in 115 articles [sw00114]
  • The program cdd+ (cdd, respectively) is a C...
  • CGAL

  • Referenced in 394 articles [sw00118]
  • The goal of the CGAL Open Source Project...
  • complib

  • Referenced in 34 articles [sw00149]
  • COMPlib: COnstraint matrix-optimization problem library–a collection...
  • Coq

  • Referenced in 1890 articles [sw00161]
  • Coq is a formal proof management system. It...