TY - RPRT TI - Proof of some conjectured formulas for 1/pi by Z.-W. Sun AU - Gert Almkvist AU - Alexander Aycock AU - appendix by Arne Meurman PY - 2011 UR - https://arxiv.org/abs/1112.3259 ID - 1112.3259 ER -