TY - RPRT TI - Symbolic and Numerical Tools for $L_{\infty}$-Norm Calculation AU - Grace Younes AU - Alban Quadrat AU - Fabrice Rouillier PY - 2025 UR - https://arxiv.org/abs/2505.13980 ID - 2505.13980 ER -