Ramanujan 型级数的 WZ 证明（经由 $_2F_1$ 求值）
数论
2023-12-05 v3
摘要
我们利用 Zeilberger 算法，通过 求值来证明一些 Ramanujan 型恒等式。
引用
@article{arxiv.2001.08104,
title = {WZ proofs of Ramanujan-type series (via $_2F_1$ evaluations)},
author = {Jesús Guillera},
journal= {arXiv preprint arXiv:2001.08104},
year = {2023}
}
备注
8 pages + Appendix (new). In the Appendix we prove a rapid formula for the computation of the lemniscate constant