3 citations · 3 across the 1 of their papers we have counts for
7 papers
A Proof of the Loehr-Warrington Amazing TEN to the Power n Conjecture
Shalosh B. Ekhad, Vince Vatter, Doron Zeilberger
We prove, via 30 seconds of Maple computation, that there are 10^n words in the alphabet {3,-2} of length 5n, sum 0, and such that every factor that sums to 0 and that starts with…
The Number of Permutations With A Prescribed Number of 132 and 123 Patterns
Shalosh B. Ekhad, Aaron Robertson, Doron Zeilberger
Here we present the reasoning behind, and program to find, the generating functions for the number of permutations in the title. The article duals as the "accompanying" Maple packa…
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.