Abstract
A rigorous elementary proof of the Basel problem [6, 1] Sigma(infinity)(n=1) 1/n(2) = pi(2)/6 is formalized in the Mizar system [3]. This theorem is i......
小提示：本篇文献需要登录阅读全文，点击跳转登录
Full Text Link
