Statistics of A computer assisted proof of the symmetries of least energy nodal solutions on squares

Contact ORBi UMONS