Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry

DOI10.1007/s11139-021-00523-7zbMath1496.11097arXiv2101.08308OpenAlexW4220964415WikidataQ113900561 ScholiaQ113900561MaRDI QIDQ2673054

Robert Dougherty-Bliss, Doron Zeilberger, Christoph Koutschan

Publication date: 13 June 2022

Published in: The Ramanujan Journal (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2101.08308

zbMATH Keywords

difference operatorsirrationalitymeasures of irrationality and of transcendence

Mathematics Subject Classification ID

Difference operators (39A70) Irrationality; linear independence over a field (11J72)

Related Items (3)

Exploring general Apéry limits via the Zudilin–Straub t-transform ⋮ On irrationality criteria for the Ramanujan summation of certain series ⋮ APÉRY LIMITS FOR ELLIPTIC -VALUES

Uses Software

• MultiZeilberger
• PADE
• AperyWZ
• AperyRecurrence
• AperyAcc
• AperyAppx
• DEtools

Cites Work

• Unnamed Item
• Unnamed Item
• Arithmetic of linear forms involving odd zeta values
• The method of differentiating under the integral sign
• Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory
• A holonomic systems approach to special functions identities
• A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
• Computerized deconstruction.
• An Apéry-like difference equation for Catalan's constant
• The irrationality measure of \(\pi\) is at most 7.103205334137\dots
• On Catalan's constant
• The group structure for ζ(3)
• A Note on the Irrationality of ζ(2) and ζ(3)
• Automatic discovery of irrationality proofs and irrationality measures
• Apéry Limits: Experiments and Proofs
• Advanced applications of the holonomic systems approach

This page was built for publication: Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry