• Introduction
• Mathematical Statement of the Root-Finding Problem
• Mathematical Statement of the Global Optimization Problem
• The General Branch and Bound Algorithm
• On Interval Arithmetic
  • Interval Arithmetic Basics
  • Interval Arithmetic in Global Optimization
  • Interval Arithmetic in GlobSol
• On Interval Newton Methods
  • An Example of Interval Newton iteration
• The Fritz-John Equations
• Verifying Feasibility
• Bound Constraints in GlobSol
• The Approximate Feasible Point Finder
• Substitution-Iteration
  • The Basic Idea; An Example
  • Substitution-Iteration in GlobSol
  • Other References
• References
• About this document ...