Automatic Discovery of Irrationality Proofs and Irrationality Measures

By Doron Zeilberger and Wadim Zudilin


.pdf   .ps   .tex

Written: Dec. 20, 2019.


    A late 80-th birthday present to Bruce Berndt (b. March 13, 1939)



Maple packages


Sample Input and Output for ALLADI.txt

Sample Input and Output for GAT.txt

Input and Output file for BEUKERS.txt

Input and Output file for CatC.txt

Sample Input and Output for SALIKHOV.txt

Sample Input and Output for RUKHADZE.txt


Wadim Zudilin's Home Page

Articles of Doron Zeilberger

Doron Zeilberger's Home Page