Numerica

Numerica: A modeling language for global optimization. Many science and engineering applications require the user to find solutions to systems of nonlinear constraints or to optimize a nonlinear function subject to nonlinear constraints. The field of global optimization is the study of methods to find all solutions to systems of nonlinear constraints and all global optima to optimization problems. Numerica is modeling language for global optimization that makes it possible to state nonlinear problems in a form close to the statements traditionally found in textbooks and scientific papers. The constraint-solving algorithm of Numerica is based on a combination of traditional numerical methods such as interval and local methods, and constraint satisfaction techniques.This comprehensive presentation of Numerica describes its design, functions, and implementation. It also discusses how to use Numerica effectively to solve practical problems and reports a number of experimental results.A commercial implementation of Numerica is available from ILOG under the name ILOG Numerica.


References in zbMATH (referenced in 43 articles , 1 standard article )

Showing results 1 to 20 of 43.
Sorted by year (citations)

1 2 3 next

  1. Desrochers, B.; Jaulin, L.: Thick set inversion (2017)
  2. Martin, Benjamin; Correia, Marco; Cruz, Jorge: A certified branch & bound approach for reliability-based optimization problems (2017)
  3. Martin, Benjamin; Goldsztejn, Alexandre; Granvilliers, Laurent; Jermann, Christophe: Constraint propagation using dominance in interval branch & bound for nonlinear biobjective optimization (2017)
  4. Michel, L.; Van Hentenryck, P.: A microkernel architecture for constraint programming (2017)
  5. Puranik, Yash; Sahinidis, Nikolaos V.: Domain reduction techniques for global NLP and MINLP optimization (2017)
  6. Araya, Ignacio; Reyes, Victor: Interval branch-and-bound algorithms for optimization and constraint satisfaction: a survey and prospects (2016)
  7. Jaulin, Luc: Range-only SLAM with indistinguishable landmarks; a constraint programming approach (2016)
  8. Neveu, Bertrand; Trombettoni, Gilles; Araya, Ignacio: Node selection strategies in interval branch and bound algorithms (2016)
  9. Kearfott, Ralph Baker: Some observations on exclusion regions in branch and bound algorithms (2015)
  10. Neveu, Bertrand; Trombettoni, Gilles; Araya, Ignacio: Adaptive constructive interval disjunction: algorithms and experiments (2015)
  11. Ninin, Jordan; Messine, Frédéric; Hansen, Pierre: A reliable affine relaxation method for global optimization (2015)
  12. Schichl, Hermann; Markót, Mihály Csaba; Neumaier, Arnold: Exclusion regions for optimization problems (2014)
  13. Ishii, Daisuke; Goldsztejn, Alexandre; Jermann, Christophe: Interval-based projection method for under-constrained numerical systems (2012)
  14. Le Bars, Fabrice; Sliwka, Jan; Jaulin, Luc; Reynet, Olivier: Set-membership state estimation with fleeting data (2012)
  15. Kearfott, Ralph Baker: Interval computations, rigour and non-rigour in deterministic continuous global optimization (2011)
  16. Pedamallu, Chandra Sekhar; Ozdamar, Linet: Solving kinematics problems by efficient interval partitioning (2011)
  17. Collavizza, Hélène; Rueher, Michel; Van Hentenryck, Pascal: CPBPV: a constraint-programming framework for bounded program verification (2010)
  18. Domes, Ferenc; Neumaier, Arnold: Constraint propagation on quadratic constraints (2010)
  19. Neveu, Bertrand; Trombettoni, Gilles; Chabert, Gilles: Improving inter-block backtracking with interval Newton (2010)
  20. Chabert, Gilles; Jaulin, Luc: Contractor programming (2009)

1 2 3 next