Numerical Fuzz: A Type System for Rounding Error Analysis.

Ariel E. Kellison Justin Hsu

Published in: Proc. ACM Program. Lang. (2024)

Keyphrases

error analysis
cross ratio
least squares
error correction
sensitivity analysis
linear programming
approximation algorithms
error estimates