Computerized deconstruction.

DOI10.1016/S0196-8858(02)00508-0MaRDI QIDQ1408271zbMATH OpenOpenAlexFDO

Authors 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) Symbolic computation of special functions (Gosper and Zeilberger algorithms, etc.) (33F10) Irrationality; linear independence over a field (11J72)

Recommendations

• scientific article; zbMATH DE number 733568
• Computer-assisted discovery and proof
• Mathematical proofs in the computer age
• Exploratory experimentation and computation
• Mathematical proof

Cites work

• scientific article; zbMATH DE number 434841 (Why is no real title available?)
• scientific article; zbMATH DE number 3677940 (Why is no real title available?)
• scientific article; zbMATH DE number 3724550 (Why is no real title available?)
• scientific article; zbMATH DE number 1503606 (Why is no real title available?)
• A Note on the Irrationality of ζ(2) and ζ(3)
• A new irrationality measure for ζ(3)
• A proof that Euler missed. Apéry's proof of the irrationality of \(\zeta(3)\). An informal report
• An Apéry-like difference equation for Catalan's constant
• MATHEMATICS IN THE 20TH CENTURY
• Theorems for a price: Tomorrow's semi-rigorous mathematical culture

Cited in

(3)

• 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

Describes a project that uses

Uses Software

• PADE
• AperyWZ
• AperyRecurrence
• AperyAcc
• AperyAppx

This page was built for publication: Computerized deconstruction.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1408271)