TY - JOUR AU - Ariel Salort AU - Christophe Troestler TI - A computer assisted proof of the symmetries of least energy nodal solutions on squares JO - Minimax theory and its applications PY - 2022 VL - 7 IS - 2 UR - http://geodesic.mathdoc.fr/item/MTA_2022_7_2_a8/ ID - MTA_2022_7_2_a8 ER -