Automatic discovery of irrationality proofs and irrationality measures

Zeilberger, D; Zudilin, W

Zudilin, W (corresponding author), Radboud Univ Nijmegen, Dept Math, IMAPP, POB 9010, NL-6500 GL Nijmegen, Netherlands.

INTERNATIONAL JOURNAL OF NUMBER THEORY, 2021; 17 (03): 815

Abstract

We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determinati......

Full Text Link