TY  - RPRT
TI  - Low-Memory Numerical Certification
AU  - Paul Breiding
AU  - Taylor Brysiewicz
AU  - David K. Johnson
PY  - 2026
UR  - https://arxiv.org/abs/2604.16623
ID  - 2604.16623
ER  -