Computation of Tight Enclosures for Laplacian Eigenvalues

Recently, there has been interest in high precision approximations of the first eigenvalue of the Laplace--Beltrami operator on spherical triangles for combinatorial purposes. We compute improved a...