1 An Introduction to the Quality of Computed Solutions Sven Hammarling NAG Ltd, Oxford [email protected].