TY  - RPRT
TI  - Mechanizing Olver's Error Arithmetic
AU  - Max Fan
AU  - Ariel E. Kellison
AU  - Samuel D. Pollard
PY  - 2025
DO  - 10.4204/eptcs.432.6
UR  - https://arxiv.org/abs/2510.13414
ID  - 2510.13414
ER  -