Disturbing the Dyson Conjecture (in a GOOD Way)

By Andrew V. Sills and Doron Zeilberger

.pdf   .ps   .tex  
[Appeared in Experimental Mathematics 15(2006), 187-191.]

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.

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

Doron Zeilberger's Home Page