Analysis and applications of Priest's distillation
Correcting an infinite loop in Douglas M. Priest's renormalization algorithm, the theory proved here supports streamlined algorithms to resolve the tablemaker's dilemma for the floating-point computation of real and complex sums and dot-products, properly rounded to the ultimate digit. Applications include computations of areas, volumes, and intersections.
algorithms theory design languages standardization floating-point arithmetic fused multiply-add instruction complex arithmetic matrix arithmetic interval arithmetic provable accuracy rounding error