论文部分内容阅读
For compact, connected Riemannian manifolds with Ricci curvature bounded below by a constant, what is the linear approximation of the first eigenvalue of Laplacian? The answer is presented with computer assisted proof and the result is optimal in certain sense.