WZ proofs of Ramanujan-type series (via $_2F_1$ evaluations)
Number Theory
2023-12-05 v3
Abstract
We use Zeilberger's algorithm for proving some identities of Ramanujan-type via evaluations.
Cite
@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}
}
Comments
8 pages + Appendix (new). In the Appendix we prove a rapid formula for the computation of the lemniscate constant