GlobSol: history, composition, and advice on use The GlobSol software package combines various ideas from interval analysis, automatic differentiation, and constraint propagation to provide verified solutions to unconstrained and constrained global optimization problems. After briefly reviewing some of these techniques and GlobSol’s development history, we provide the first overall description of GlobSol’s algorithm. Giving advice on use, we point out strengths and weaknesses in GlobSol’s approaches. Through examples, we show how to configure and use GlobSol.

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

Showing results 21 to 37 of 37.
Sorted by year (citations)
  1. Beelitz, Thomas; Frommer, Andreas; Lang, Bruno; Willems, Paul: A framework for existence tests based on the topological degree and homotopy (2009)
  2. Kearfott, R. Baker: GlobSol user guide (2009)
  3. Nataraj, P. S. V.; Arounassalame, M.: An algorithm for constrained global optimization of multivariate polynomials using the Bernstein form and John optimality conditions (2009)
  4. Sahinidis, Nikolaos V.: Global optimization (2009)
  5. Pedamallu, Chandra Sekhar; Özdamar, Linet; Csendes, Tibor; Vinkó, Tamás: Efficient interval partitioning for constrained global optimization (2008)
  6. Beelitz, Thomas; Lang, Bruno; Bischof, Christian H.: Efficient task scheduling in the parallel result-verifying solution of nonlinear systems (2006)
  7. Kearfott, R. Baker: Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization (2006)
  8. Kirchner, Reinhard; Kulisch, Ulrich W.: Hardware support for interval arithmetic (2006)
  9. Kearfott, R. Baker: Validated constraints solving --- practicalities, pitfalls, and new developments (2005)
  10. Neumaier, Arnold; Shcherbina, Oleg; Huyer, Waltraud; Vinkó, Tamás: A comparison of complete global optimization solvers (2005)
  11. Verdonk, B.; Vervloet, J.; Cuyt, A.: Blending set and interval arithmetic for maximal reliability (2005)
  12. Borovac, Stefan; Heindl, Gerhard: Result verification for computational problems in geodesy (2004)
  13. Kearfott, R. Baker; Neher, Markus; Oishi, Shin’ichi; Rico, Fabien: Libraries, tools, and interactive systems for verified computations four case studies (2004)
  14. Neumaier, Arnold: Complete search in continuous global optimization and constraint satisfaction (2004) ioport
  15. Neumaier, Arnold: Complete search in continuous global optimization and constraint satisfaction (2004)
  16. Kearfott, R. Baker: GlobSol: history, composition, and advice on use (2003)
  17. Corliss, George F.; Kearfott, R. Baker: Rigorous global search: Industrial applications (1999)