TY - RPRT TI - A computer assisted proof of the symmetries of least energy nodal solutions on squares AU - Ariel Salort AU - Christophe Troestler PY - 2022 UR - https://arxiv.org/abs/2102.07596 ID - 2102.07596 ER -