Holonomic alchemy and series for $1/\pi$

Shaun Cooper, James G. Wan, Wadim Zudilin

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 D…