Computerized deconstruction.

DOI10.1016/S0196-8858(02)00508-0zbMath1041.11052OpenAlexW2913027797MaRDI QIDQ1408271

Doron Zeilberger

Publication date: 15 September 2003

Published in: Advances in Applied Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0196-8858(02)00508-0

Mathematics Subject Classification ID

Symbolic computation and algebraic computation (68W30) Methodology of mathematics (00A35) Irrationality; linear independence over a field (11J72) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10)

Related Items (3)

Exploring general Apéry limits via the Zudilin–Straub t-transform ⋮ Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry ⋮ A \(q\)-analogue of the Bailey-Borwein-Bradley identity

Uses Software

• PADE
• AperyWZ
• AperyRecurrence
• AperyAcc
• AperyAppx

Cites Work

• A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
• Theorems for a price: Tomorrow's semi-rigorous mathematical culture
• An Apéry-like difference equation for Catalan's constant
• MATHEMATICS IN THE 20TH CENTURY
• A Note on the Irrationality of ζ(2) and ζ(3)
• A new irrationality measure for ζ(3)
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Computerized deconstruction.