“A Computer Assisted Proof of the Symmetries of Least Energy Nodal Solutions on Squares” (2022) Minimax Theory and its Applications, 7(2), pp. 365–380. Available at: https://journalmta.com/index.php/jmta/article/view/172 (Accessed: 30 September 2026).