Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library
ACM Transactions on Mathematical Software (TOMS)
Algorithm 763: INTERVAL_ARITHMETIC: a Fortran 90 module for an interval data type
ACM Transactions on Mathematical Software (TOMS)
On stopping criteria in verified nonlinear systems or optimization algorithms
ACM Transactions on Mathematical Software (TOMS)
Taylor models in deterministic global optimization
Automatic differentiation of algorithms
Validated Linear Relaxations and Preprocessing: Some Experiments
SIAM Journal on Optimization
Interval Analysis on Directed Acyclic Graphs for Global Optimization
Journal of Global Optimization
Optimization Methods & Software - GLOBAL OPTIMIZATION
Standardized interval arithmetic and interval arithmetic used in libraries
ICMS'10 Proceedings of the Third international congress conference on Mathematical software
Rigorous Enclosures of Ellipsoids and Directed Cholesky Factorizations
SIAM Journal on Matrix Analysis and Applications
On smooth reformulations and direct non-smooth computations for minimax problems
Journal of Global Optimization
| Hi-index | 0.00 |
We explain the installation and use of the GlobSol package for mathematically rigorous bounds on all solutions to constrained and unconstrained global optimization problems, as well as non-linear systems of equations. This document should be of use both to people with optimization problems to solve and to people incorporating GlobSol's components into other systems or providing interfaces to GlobSol.