Symbolic Calculation Behind Floating-Point Arithmetic: Didactic Examples and Experiment Using CAS.

Wlodzimierz Wojas, Jan Krupa

Browse the full ICCS paper archive.