Computing Qualitatively Correct Approximations of