2022. A Computer Assisted Proof of the Symmetries of Least Energy Nodal Solutions on Squares. Minimax Theory and its Applications. 7, 2 (Jan. 2022), 365–380.