Computerized deconstruction.
From MaRDI portal
Publication:1408271
DOI10.1016/S0196-8858(02)00508-0zbMath1041.11052MaRDI QIDQ1408271
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
68W30: Symbolic computation and algebraic computation
00A35: Methodology of mathematics
11J72: Irrationality; linear independence over a field
33F10: Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.)
Related Items
Exploring general Apéry limits via the Zudilin–Straub t-transform, A \(q\)-analogue of the Bailey-Borwein-Bradley identity, Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry
Uses Software
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