A case study in the qualitative verification and debugging of numerical uncertainty
scientific article; zbMATH DE number 1381918