Integral global minimization: Algorithms, implementations and numerical tests. - Quan Zheng 003; Deming Zhuang (J. Glob. Optim., 1995)