Marian Mrozek
-
Semantics of roundoff error propagation in finite precision calculations
Higher-Order and Symbolic Computation