Numerical Fuzz: A Type System for Rounding Error Analysis.

Ariel E. Kellison Justin Hsu

Published in: CoRR (2024)

Keyphrases

error analysis
least squares
cross ratio
error correction
upper bound
linear programming
sensitivity analysis
motion estimates