2005 Annual Meeting

Session: Validated Computing and Deterministic Global Optimization