References
- Berkelaar , M. , Dirks , J. , Eikland , K. and Notebaert , P. LpSolve . 1991 – 1999 . Available at http://lpsolve.sourceforge.net/5.5/
- Brooke , A. , Kendrick , D. and Meeraus , A. 1992 . GAMS: A user's guide . Available at http://citeseer.ist.psu.edu/brooke92 gams.html
- Czyzyk , J. , Mesnier , M. and Moré , J. 1998 . The NEOS Server . IEEE J. Comput. Sci. Eng , 5 : 68 – 75 . Available at http://www-neos.mcs.anl.gov/
- Domes , F. and Neumaier , A. 2008 . Constraint propagation on quadratic constraints . Available at http://www.mat.univie.ac.at/~dferi/publ/Propag.pdf, submitted for publication
- Domes , F. and Neumaier , A. 2008 . Directed Cholesky factorizations and applications . Available at http://www.mat.univie.ac.at/~dferi/publ/Cholesky.pdf, submitted for publication
- Domes , F. and Neumaier , A. 2008 . Linear methods for quadratic constraint satisfaction problems . preparation
- Domes , F. and Neumaier , A. 2008 . A scaling algorithm for polynomial constraint satisfaction problems . J. Global Optim , 43 : 327 – 345 . Available at http://www.mat.univie.ac.at/~dferi/publ/Scaling.pdf.
- Domes , F. and Neumaier , A. 2008 . Using conic programs to solve quadratic constraint satisfaction problems . in preparation
- Domes , F. and Neumaier , A. 2009 . Finding and verifying feasible points of polynomial constraint satisfaction problems . in preparation
- Domes , F. , Fuchs , M. and Schichl , H. 2009 . Test Environment . Available at http://www.mat.univie.ac.at/~dferi/testenv.html
- Fourer , R. , Gay , D. M. and Kernighan , B. W. 2002 . AMPL – a modeling language for mathematical programming . Available at http://www.ampl.com/,software
- Hentenryck , P. V. , Michel , L. and Deville , Y. 1997 . Numerica. A Modeling Language for Global Optimization. MIT Press .
- Jansson , C. VSDP: A MATLAB software package for Verified Semidefinite Programming, in . Conference paper of NOLTA 2006 . pp. 327 – 330 . Available at http://www.ti3.tu-harburg.de/paper/jansson/Nolta06.pdf
- Jussien , N. and Barichard , V. The PaLM system: explanation-based constraint programming . Proceedings of TRICS: Techniques for Implementing Constraint programming Systems, a post-conference workshop of CP 2000 . September . pp. 118 – 133 . Available at http://www.emn.fr/jussien/publications/jussien-WCP00.pdf
- Keil , C. 2005 . Lurupa – Rigorous Error Bounds in Linear Programming, Algebraic and Numerical Algorithms and Computer-assisted Proofs . Available at http://www.ti3.tu-harburg.de/~keil/pub/LREBiLP-S.pdf
- Kelley , C. T. 1999 . Iterative methods for optimization – Matlab codes . Available at http://www4.ncsu.edu/~ctk/matlab_darts.html, software
- Lebbah , Y. 2003 . iCOs – Interval COnstraints Solver . Available at http://ylebbah.googlepages.com/icos
- Lebbah , Y. , Michel , C. , Rueher , M. , Daney , D. and Merlet , J. P. 2005 . Efficient and safe global constraints for handling numerical constraint systems . SIAM J. Numer. Anal , 42 : 2076 – 2097 . Available at http://ylebbah.googlepages.com/research
- Markót , M. C. 2008 . “ SMPL - A Simplified Modeling Language for Mathematical Programming ” . In Tech. Rep , University of Vienna . Available at http://www.mat.univie.ac.at/~dferi/Gloptlab/index.html
- Merlet , J. P. 2004 . Solving the forward kinematics of a Gough-type parallel manipulator with interval analysis . Int. J. Robot. Res , 23 : 221 – 236 . citeseer.ist.psu.edu/merlet04solving.html
- Morgan , A. 1987 . Solving Polynomial Systems Using Continuation for Engineering and Scientific Problems, Prentice-Hall .
- Neumaier , A. 1990 . “ Encyclopedia of Mathematics and its Applications ” . Vol. 37 , Cambridge : Cambridge Univ. Press .
- Neumaier , A. , Shcherbina , O. , Huyer , W. and Vinko , T. 2005 . A comparison of complete global optimization solvers . Math. Programming B , 103 : 335 – 356 .
- Rump , S. M. 2008 . INTLAB – INTerval LABoratory . : 1998– Available at http://www.ti3.tu-harburg.de/~rump/intlab/
- Sahinidis , N. V. and Tawarmalani , M. 2005 . Available at http://www.gams.com/dd/docs/solvers/baron.pdf
- Shcherbina , O. , Neumaier , A. , Sam-Haroud , D. , Vu , X. H. and Nguyen , T. V. 2003 . “ Benchmarking global optimization and constraint satisfaction codes, Global Optimization and Constraint Satisfaction ” . Edited by: Bliek , C. , Jermann , C. and Neumaier , A. 211 – 222 . Springer . Available at http://www.mat.univie.ac.at/~neum/ms/bench.pdf
- Schichl , H. 2003 . Mathematical modeling and global optimization, habilitation thesis . Available at http://www.mat.univie.ac.at/~herman/papers/habil.pdf, to appear
- Schichl , H. and Neumaier , A. 2005 . Interval Analysis on Directed Acyclic Graphs for Global Optimization . J. Global Optim , 33 : 541 – 562 .
- Schichl , H. and Neumaier , A. 2006 . Transposition theorems and qualification-free optimality conditions . SIAM J. Optim , 17 : 1035 – 1055 . Available at http://www.mat.univie.ac.at/~neum/ms/trans.pdf
- Schichl , H. 2008 . The COCONUT Environment . : 2000– Available at http://www.mat.univie.ac.at/coconut-environment, software
- Sturm , J. F. , Romanko , O. and Pólik , I. 2008 . SeDuMi . : 1997– Available at http://sedumi.mcmaster.ca/
- Toh , K. , Todd , M. and Tutuncu , R. 1999 . SDPT3 – a Matlab software package for semidefinite programming . Available at http://www.math.nus.edu.sg/~mattohkc/sdpt3.html
- Watson , L. T. and Terry , L. 1985 . HOMPACK: a suite of codes for globally convergent homotopy algorithms . Available at http://deepblue.lib.umich.edu/dspace/bitstream/2027.42/8204/5/ban6930.0001.001.pdf
- Zhu , C. , Byrd , R. H. and Nocedal , J. 1997 . L-BFGS-B: Algorithm 778: L-BFGS-B, FORTRAN routines for large scale bound constrained optimization . Available at http://www.ece.northwestern.edu/~nocedal/lbfgsb.html