Return to Article Details A Computer Assisted Proof of the Symmetries of Least Energy Nodal Solutions on Squares Download Download PDF