TY - RPRT TI - Computer-assisted estimates for Birkhoff normal forms AU - Chiara Caracciolo AU - Ugo Locatelli PY - 2021 DO - 10.3934/jcd.2020017 UR - https://arxiv.org/abs/2102.05959 ID - 2102.05959 ER -