A Computer Assisted Proof of the Symmetries of Least Energy Nodal Solutions on Squares. JMTA. 2022;7(2):365–380. Accessed June 30, 2026. https://journalmta.com/index.php/jmta/article/view/172