TY - RPRT TI - Verification of some functional inequalities via polynomial optimization AU - Giovanni Fantuzzi PY - 2022 UR - https://arxiv.org/abs/2201.00362 ID - 2201.00362 ER -