Computerized deconstruction.

DOI10.1016/S0196-8858(02)00508-0zbMATH Open1041.11052OpenAlexW2913027797MaRDI QIDQ1408271FDOQ1408271

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

Recommendations

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

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)

Cites Work

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

Cited In (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

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)