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

Wlodzimierz Wojas Jan Krupa

Published in: ICCS (5) (2023)

Keyphrases

floating point
interval arithmetic
floating point arithmetic
symbolic data
database
data structure
sufficient conditions
fixed point
application specific
symbolic representation