Loading paper
Lower bounds of principal eigenvalue in dimension one | Tomesphere