A Computer Assisted Proof of the Symmetries of Least Energy Nodal Solutions on Squares. (2022). Minimax Theory and Its Applications, 7(2), 365–380. https://journalmta.com/index.php/jmta/article/view/172