A Computer Assisted Proof of the Symmetries of Least Energy Nodal Solutions on Squares. JMTA 2022, 7 (2), 365–380.