TY  - RPRT
TI  - Automatic Discovery of Irrationality Proofs and Irrationality Measures
AU  - Doron Zeilberger
AU  - Wadim Zudilin
PY  - 2019
DO  - 10.1142/s1793042120400230
UR  - https://arxiv.org/abs/1912.10381
ID  - 1912.10381
ER  -