Posted: Sept. 30, 2020.

Maple package

• GenBeukersZeta2.txt, a Maple package to suggest irrationality proofs of natural constants defined in terms of Generalized Beukers Zeta(2) integral that occurred in his elegant rendition of Apery's miraculous proofs that Zeta(2) and Zeta(3) are irrational

Sample Input and Output for GenBeukersZeta2.txt

• If you want to see 123 promising consants that probably have an irrationality proof similar to Beukers' irrationality proof of Zeta(2)
  The input file yields the output file

• If you want to see 35 sketeches of proof of irrationality similar to Beukers' irrationality proof of Zeta(2) for potentially constants not yet proved to be irrational (at least Maple can't identify them)
  The input file yields the output file

• If you want to see 88 sketeches of proof of irrationality similar to Beukers' irrationality proof of Zeta(2) for identified constants, all of whom already have classical and standard irrationality proof, but the novelty is that they were computer-generated,
  The input file yields the output file

Doron Zeilberger's Home Page

Robert Dougherty-Bliss 's Home Page