Verification methods: Rigorous results using floating-point arithmetic Article in Acta Numerica (May 2010)