TY - RPRT TI - Polygonal Faber-Krahn inequality: Local minimality via validated computing AU - Beniamin Bogosel AU - Dorin Bucur PY - 2024 UR - https://arxiv.org/abs/2406.11575 ID - 2406.11575 ER -