By Andrew V. Sills and Doron Zeilberger
Written: Aug. 23, 2004.
Drew Sills and I took ideas of one of Drew's greatest heroes,
Freeman Dyson, and of one of my greatest heroes, Jack Good,
and taught them to our computers. Once mastered,
they [our computers]
can conjecture identities that not even Dyson can conjecture,
and not even Good can prove.
.pdf
.ps
.tex
[Appeared in Experimental Mathematics 15(2006), 187-191.]
Important: This article is accompanied by Maple packages
GoodDyson that automatically writes papers that
conjecture, and then
automatically (rigorously, of course!) prove
expressions for any coefficient in the Dyson product,
and
GuessRat, that is an all-purpose program that guesses
Rational Functions, from empirically derived data,
of any number of variables.
Doron Zeilberger's List of Papers