author = {P. Paule}, title = {{A Computerized Proof of $\zeta(2)=\pi^2/6$}}, language = {english}, year = {2005}, note = {in preparation}, translation = {0}, refereed = {no}, length = {0}