Leram - Deterministic Global Optimization: Geometric Branch-and-bound Methods and their Applications: 63