Fuzzy simplification of non-numeric expressions containing some intervals and/or floating point numbers.

David R. Stoutemyer

Browse the full ISSAC paper archive.