GlobSol user guide

References

• Baker Kearfott , R. 2006 . Discussion and empirical comparisons of linear relaxations and alternate techniques in validated deterministic global optimization . Optim. Meth. Software , 21 : 715 – 731 .
   Web of Science ®Google Scholar
• Berz , M. , Makino , K. , Shamseddine , K. , Hoffstätter , G. H. and Wan , W. 1996 . “ COSY INFINITY and its applications to nonlinear dynamics ” . In Computational Differentiation: Techniques, Applications, and Tools , Edited by: Berz , M. , Bischof , C. , Corliss , G. and Griewank , A. 363 – 365 . Philadelphia, PA : SIAM .
   Google Scholar
• Dawes , B. , Frey , D. and Abrahams , D. 2004 . Information about the boost software . World-Wide Web document , Available at http://www.boost.org/more/license_info.html
   Google Scholar
• Dongarra , J. J. , Bunch , J. , Moler , C. and Stewart , G. W. 1979 . LINPACK Users’ Guide , Philadelphia : SIAM .
   Google Scholar
• Fourer , R. , Gay , D. and Kernighan , B. 1993 . AMPL A Modeling Language for Mathematical Programming , Danvers, MA : Boyd and Frazer .
   Google Scholar
• Kearfott , R. B. 1996 . Algorithm 763: INTERVAL_ARITHMETIC: A Fortran 90 module for an interval data type . ACM Transac. Math. Software , 22 : 385 – 392 .
   Google Scholar
• Kearfott , R. B. 1996 . Rigorous Global Search: Continuous Problems, no. 13 in Nonconvex optimization and its applications , Norwell, , MA, USA : Kluwer Academic Publishers . and Dordrecht, The Netherlands
   Google Scholar
• Kearfott , R. B. 2007 . Verified branch and bound for singular linear and nonlinear programs . preprint
   Google Scholar
• Kearfott , R. B. and Arazyan , A. 2001 . “ Taylor series models in deterministic global optimization ” . In Automatic Differentiation: From Simulation to Optimization , Edited by: Corliss , G. 365 – 372 . New York, NY : Springer-Verlag . Chapter 44, Computer and Information Science
   Google Scholar
• Kearfott , R. B. and Hongthong , S. 2005 . Validated linear relaxations and preprocessing: Some experiments . SIAM J. Optim. , 16 : 418 – 433 .
   Google Scholar
• Kearfott , R. B. and Walster , G. W. 2000 . On stopping criteria in verified nonlinear systems or optimization algorithms . ACM Trans. Math. Software , 26 : 373 – 389 .
   Google Scholar
• Kearfott , R. B. , Dawande , M. , Du , K. and Hu , C. 1994 . Algorithm 737: INTLIB: A portable Fortran-77 elementary function library . ACM Trans. Math. Software , 20 : 447 – 459 .
   Google Scholar
• Kearfott , R. B. , Neher , M. , Shin'ichi , O. and Rico , F. 2004 . “ Libraries, tools, and interactive systems for verified computations: Four case studies ” . In Numerical Software with Result Verification, Lecture Notes in Computer Science no. 2991 , Edited by: Alt , R. 36 – 63 . New York : Springer-Verlag .
   Google Scholar
• Moré , J. J. , Garbow , B. S. and Hillstrom , K. E. 1980 . User guide for MINPACK-1 , Argonne National Laboratories . Tech. Rep. ANL-80-74
   Google Scholar
• Neumaier , A. 2004 . “ Complete search in continuous global optimization and constraint satisfaction ” . In Acta Numerica 2004 , Edited by: Iserles , A. 271 – 369 . Cambridge University Press .
   Google Scholar
• Rosenthal , R. E. 2008 . GAMS – A User's Guide , Available at http://www.mat.univie.ac.at/neum/glopt/coconut
   Google Scholar
• Rump , S. M. 1999–2008 . INTLAB – INTerval LABoratory , Available at http://www.ti3.tu-harburg.de/rump/intlab/
   Google Scholar
• Sahinidis , N. V. 1996 . BARON: A general purpose global optimization software package . J. Global Optim. , 8 : 201 – 205 .
   Web of Science ®Google Scholar
• Schichl , H. and Neumaier , A. 2005 . Interval analysis on directed acyclic graphs for global optimization . J. Global Optim. , 33 : 541 – 562 .
   Web of Science ®Google Scholar
• Shcherbina , O. , Neumaier , A. , Sam-Haroud , D. , Vu , X.-H. and Nguyen , T.-V. 2003 . “ Benchmarking global optimization and constraint satisfaction codes, COCOS ” . In Lecture Notes in Computer Science , Edited by: Bliek , C. , Jermann , C. and Neumaier , A. Vol. 2861 , 211 – 222 . Springer-Verlag .
   Google Scholar
• Wächter , A. 2002 . Homepage of IPOPT , Available at https://projects.coin-or.org/Ipopt
   Google Scholar