1 paper
Ryoki Endo, Xuefeng Liu
A computer-assisted proof is proposed for the Laplacian eigenvalue minimization problems over triangular domains under diameter constraints. The proof utilizes recently developed g…