Holonomic alchemy and series for $1/\pi$

Abstract

We adopt the "translation" as well as other techniques to express several identities conjectured by Z.-W. Sun in arXiv:1102.5649v47 by means of known formulas for $1/\pi$ involving Domb and other Apéry-like sequences.

23 pages

References in corpus (2)

• A generating function of the squares of Legendre polynomials
• A solution of Sun's $520 challenge concerning 520/pi