Explicit reasoning about accuracy for approximating physical systems (1990)

by M Shirley, B Falkenhainer
Venue:in: Working Notes of the Automatic Generation of Approximations and Abstractions Workshop