3 citations · 3 across the 1 of their papers we have counts for
5 papers · 1 filter
Proof of Conway's Lost Cosmological Theorem
Shalosh B. Ekhad, Doron Zeilberger
John Horton Conway's Cosmological Theorem, about Audioactive sequences, for which no extant proof existed, is given a computer-generated proof, hopefully for good.
A binomial coefficient identity associated to a conjecture of Beukers
Scott Ahlgren, Shalosh B. Ekhad, Ken Ono +1
A combinatorial identity that was needed in Ahlgren and Ono's proof of a certain congruence conjecture of Frits Beukers is stated, and a pointer to its WZ proof is given.
Curing the Andrews syndrom
Shalosh B. Ekhad, Doron Zeilberger
George Andrews's recent challenge to automated identity-proving and the WZ method is dealt with. It is argued that the rivalry between the classical and automated approaches to hyp…
Plane Geometry: An Elementary School Textbook (ca. 2050)
Shalosh B. Ekhad, Doron Zeilberger
In this reverse archeological find, we see how mathematics will be written in fifty years.
A Condensed Condensation Proof of a Determinant Evaluation Conjectured by Greg Kuperberg and Jim Propp
Tewodros Amdeberhan, Shalosh B. Ekhad
We give a generalization and a short mechanized proof of determinant conjectured by G. Kuperberg and J. Propp. Further generalizations and applications of the method to some q-anal…