Re: Computer as Author continued

There are mathematical authors who are computers. The best known is Shalosh B. Ekhad, the computer of Doron Zeilberger of Temple University. I reproduce below a list of this author's papers covered in Mathematical Reviews. Apparently the name is Hebrew for 3B1, the model type of the AT&T Unix PC Zeilberger had at the time he started some work on automatic theorem proving in connection with hypergeometric identites. It may be interesting to note that the coauthor of the fifth paper listed is also a computer, apparently a Sun 3 in Stockholm. It is not clear to me what sort of copyright questions these authors pose. It has of course been suggested that Doron Zeilberger is a machine too, but that is very far from the case.

Shalosh B. Ekhad's Publication List:

  94k:33036 Ekhad, Shalosh B. A short, elementary, and easy, WZ proof of the Askey-Gasper inequality that was used by de Branges in his proof of the Bieberbach conjecture. (English) Conference on Formal Power Series and Algebraic Combinatorics (Bordeaux, 1991). Theoret. Comput. Sci. 117 (1993), no. 1-2, 199--202. (Agrawal, B. M.) 33C99

94b:11015 Andrews, George E. (with Ekhad, Shalosh B.; Zeilberger, Doron) A short proof of Jacobi's formula for the number of representations of an integer as a sum of four squares. (English) Amer. Math. Monthly 100
(1993), no. 3, 274--276. (Lewis, Richard P.) 11B65 (05A30, 11P05)

92f:33010 Ekhad, Shalosh B. A short proof of a ``strange'' combinatorial identity conjectured by Gosper. (English) Discrete Math. 90 (1991), no. 3, 319--320. (Krattenthaler, Christian) 33C20 (05A19)

92f:05097 Ekhad, Shalosh B. A one-line proof of the Habsieger-Zeilberger $G\sb 2$ constant term identity. (English) J. Comput. Appl. Math. 34
(1991), no. 1, 133--134. (Bressoud, David M.) 05E15 (11P81, 17B10)

91m:11011 Ekhad, Shalosh B. (with Tre, Sol) A purely verification proof of the first Rogers-Ramanujan identity. (English) J. Combin. Theory Ser. A 54 (1990), no. 2, 309--311. (Paule, Peter) 11B65 (05A19, 05A30, 11P81, 68Q40)

91g:33004 Ekhad, Shalosh B. (with Zeilberger, Doron) A 21st century proof of Dougall's hypergeometric sum identity. (English) J. Math. Anal. Appl. 147 (1990), no. 2, 610--611. (Askey, R. A.) 33C20

91b:05021 Ekhad, Shalosh B. A very short proof of Dixon's theorem.
(English) J. Combin. Theory Ser. A 54 (1990), no. 1, 141--142. (Olive,
Gloria) 05A19 (05A10)

90j:33005 Ekhad, Shalosh B. Short proofs of two hypergeometric summation formulas of Karlsson. (English) Proc. Amer. Math. Soc. 107 (1989), no. 4, 1143--1144. 33A30 (05A19)

1 197 460 Parnes, Sheldon (with Ekhad, Shalosh B.) A WZ-style proof of Jacobi polynomials' generating function. (English) Discrete Math. 110
(1992), no. 1-3, 263--264. 05A15 (33C45)
                

Dr. P. D. F. Ion          Internet: ion[_at_]math.ams.org
Associate Editor                 TEL: (313)-996-5273
                                 FAX: (313)-996-2916
Mathematical Reviews            
P. O. Box 8604             OR      416 Fourth Street
Ann Arbor, MI 48107-8604         Ann Arbor, MI 48104

UM Campus ZIP: 4816