A Computer Assisted Proof of the Symmetries of Least Energy Nodal Solutions on Squares. Minimax Theory and its Applications, [S. l.], v. 7, n. 2, p. 365–380, 2022. Disponível em: https://journalmta.com/index.php/jmta/article/view/172. Acesso em: 30 jun. 2026.