Rigorous Global Search: Continuous Problems