Tagged error: tracing numerical error through computations. - Nestor Demeure; Cédric Chevalier; Christophe Denis; Pierre Dossantos-Uzarralde (ARITH, 2021)

Algorithm 1029: Encapsulated Error, a Direct Approach to Evaluate Floating-Point Accuracy. - Nestor Demeure; Cédric Chevalier; Christophe Denis; Pierre Dossantos-Uzarralde (ACM Trans. Math. Softw., 2022)