Automating Zipei Nie's Human-Generated Proof of a Conjecture of Svante Janson
By George Spahn and Doron Zeilberger
.pdf
.tex
YET TO BE WRITTEN
Written: Jan. 2023
Maple package
-
ZipeiNie.txt,
a Maple package to automatically handle quadratic convolution functional equations
Sample Input and Output for ZipeiNie.txt
-
If you want to see the four solutions to see empirical confirmation of all of Zipei Nie's paper
the input gives the
output.
Doron Zeilberger's Home Page