Editor's Pick

Doron Zeilberger

Deep Research Report

Executive Summary

Doron Zeilberger is a preeminent Israeli-American mathematician whose work has fundamentally transformed the fields of combinatorics, hypergeometric summation, and experimental mathematics. Best known for the Wilf-Zeilberger (WZ) theory, which automated the proof of combinatorial identities, Zeilberger has been a vocal advocate for the use of computers not merely as calculation tools but as discoverers and provers of mathematical theorems. His career is marked by prestigious awards, including the Leroy P. Steele Prize and the Euler Medal, as well as a distinctively provocative philosophical stance known as "ultrafinitism," which rejects the existence of the infinite. This report details his biography, academic trajectory, seminal contributions, and his unique, often humorous, approach to mathematical authorship, including his frequent "collaboration" with his computer, Shalosh B. Ekhad.

1. Biography

1.1 Birth and Family Background

Doron Zeilberger was born on July 2, 1950, in Haifa, Israel [1][2][3]. He is the son of Yehuda Heinz Zeilberger (1915–1994) and Ruth Alexander Zeilberger (1915–1979) [4][5]. His father, Yehuda, was born in Unsleben, Germany, and his mother, Ruth, was born in Berlin; both immigrated to British Mandate Palestine prior to the establishment of the State of Israel [6]. Zeilberger has a brother, Gil Haim Zeilberger, born in 1952 [6].

1.2 Education

Zeilberger’s higher education began in the United Kingdom, where he attended the University of London. He graduated with a Bachelor of Science (B.Sc.) with First Class Honours in 1972 [1][7].

He returned to Israel for his graduate studies, attending the Weizmann Institute of Science in Rehovot. He earned his Ph.D. in Mathematics in 1976 [1][7]. His doctoral dissertation was titled "New Approaches and Results in the Theory of Discrete Analytic Functions," and was completed under the supervision of Harry Dym [2][3][8].

1.3 Personal Life

Zeilberger is married to Jane Deborah Legrange, a physicist who holds a Ph.D. from the University of Illinois (1980) and has worked for LGS Innovations [1][9][10]. The couple married on June 3, 1979 [4]. They have three children:

  • Celia Legrange Zeilberger (born June 23, 1983) [5][9].
  • Tamar Legrange Zeilberger (born May 20, 1986) [5][9].
  • Hadas Legrange Zeilberger (born December 19, 1990) [5][9].

Zeilberger became a naturalized citizen of the United States in January 1988 [1].

2. Career

2.1 Academic Appointments

Zeilberger’s career spans several prestigious institutions across Israel and the United States. His employment history is as follows:

  • 1977–1978: Member, Institute for Advanced Study (IAS), Princeton, New Jersey [1][7].
  • 1978–1979: Visiting Assistant Professor, Georgia Institute of Technology [1][7].
  • 1979–1980: Visiting Lecturer, University of Illinois at Urbana-Champaign [1][7].
  • 1980–1982: Senior Scientist, Weizmann Institute of Science, Israel [1][7].
  • 1982–1983: Lecturer, University of Pennsylvania [1][7].
  • 1983–1990: Drexel University. He served as Associate Professor from 1983 to 1988 and as Professor from 1988 to 1990 [1][7].
  • 1990–2001: Temple University. He served as Professor (1990–1999) and held the title of Laura H. Carnell Professor from 1999 to 2001 [1][7].
  • 2001–Present: Rutgers University (New Brunswick). He currently holds the title of Board of Governors Professor of Mathematics [1][7][11].

2.2 Visiting Positions and Special Appointments

Zeilberger has held several visiting professorships and special appointments:

  • University of Strasbourg: Visiting Professor for one month in March 1983, May 1990, and July 1994 [1].
  • MIT: Invited speaker for the special year in Combinatorics (1984–1985) [1].
  • Mittag-Leffler Institute (Sweden): Invited speaker (1991–1992) [1].
  • Institute for Advanced Study: Returned as a Member in Fall 1993 [1].
  • Centre de Recherches Mathématiques (Montreal): Member of the Scientific Committee for the special year on "Combinatorics and Theory of Groups" (1996–1997) [12].

3. Contributions to Mathematics

Doron Zeilberger is a pioneer in Experimental Mathematics, a field that utilizes computation to investigate mathematical objects and identify patterns that can lead to formal conjectures and proofs.

3.1 Wilf-Zeilberger (WZ) Theory

Perhaps his most significant contribution is the development of WZ Theory (Wilf-Zeilberger Theory), developed in collaboration with Herbert S. Wilf. This theory revolutionized the field of hypergeometric summation [2][3][13].

  • The Core Concept: WZ theory provides a systematic, algorithmic method for proving combinatorial identities involving binomial coefficients and hypergeometric series. It demonstrates that many such identities can be certified by a pair of functions (F, G) that satisfy the relation F(n+1, k) - F(n, k) = G(n, k+1) - G(n, k) [13].
  • Impact: Before WZ theory, proving these identities often required ad-hoc, clever arguments. WZ theory reduced this to a routine check that can be performed by a computer, effectively "trivializing" a vast class of problems that were previously considered difficult [14][15].
  • Gosper's Algorithm: The theory builds upon Gosper's algorithm for indefinite summation, extending it to definite summation [13].

3.2 The Alternating Sign Matrix (ASM) Conjecture

Zeilberger provided the first proof of the Alternating Sign Matrix Conjecture [2][3].

  • The Problem: The conjecture concerns the number of n × n matrices with entries 0, 1, -1 such that the sum of each row and column is 1, and the non-zero entries in each row and column alternate in sign.
  • The Proof: Zeilberger's proof was notable not only for its mathematical depth but for its complexity and methodology. To ensure the correctness of the intricate argument, Zeilberger recruited nearly 100 volunteer checkers to "pre-referee" the paper before its final publication [2][3].

3.3 The q-TSPP Conjecture

In 2011, Zeilberger, alongside collaborators Manuel Kauers and Christoph Koutschan, proved the q-TSPP (Totally Symmetric Plane Partitions) Conjecture [2][3][10].

  • Significance: This conjecture had been open since roughly 1983, independently stated by George Andrews and David P. Robbins. It was considered a "holy grail" of enumerative combinatorics [16].
  • Methodology: The proof relied heavily on massive computer calculations to verify the necessary identities, further cementing Zeilberger's philosophy that computers are essential for modern mathematics [16].

3.4 Ultrafinitism

Zeilberger is a vocal proponent of Ultrafinitism (or strict finitism), a philosophy of mathematics that denies the existence of the actual infinite [2][17].

  • Core Beliefs: He argues that the natural numbers do not go on forever in a physical or meaningful sense. He has stated that "Real Analysis is a degenerate case of Discrete Analysis" and regards the concept of infinity as "abstract nonsense" [18][19][20].
  • Impact on Work: This philosophy underpins his preference for discrete mathematics, symbolic computation, and algorithmic proofs over classical analysis methods that rely on infinite sets [19][21].

4. Publications

Zeilberger is a prolific author with hundreds of papers and significant books.

4.1 Books

  • Title: A = B
    • Authors: Marko Petkovšek, Herbert S. Wilf, and Doron Zeilberger.
    • Publisher: A K Peters, Ltd.
    • Year: 1996.
    • Description: This book is the definitive text on WZ theory. It explains how computer algorithms can simplify complex summations and provides the underlying mathematical theory. The foreword was written by Donald Knuth [14][22][23][24].
    • Availability: The authors have made the book available for free download, consistent with Zeilberger's open approach to knowledge [25].

4.2 Selected Influential Papers

  • "A Holonomic systems approach to special functions identities" (1990): Published in the Journal of Computational and Applied Mathematics, this paper laid the groundwork for the algorithmic treatment of special functions [7].
  • "The method of creative telescoping" (1991): Published in the Journal of Symbolic Computation, this paper formalized the method used to compute definite sums by finding a recurrence for the sum [7].
  • "Proof of the Alternating Sign Matrix Conjecture" (1996): The paper establishing the first proof of the ASM conjecture [2][3].
  • "Proof of George Andrews' and David Robbins's q-TSPP conjecture" (2011): Published in the Proceedings of the National Academy of Sciences (PNAS) with Kauers and Koutschan [7][10].

4.3 "Shalosh B. Ekhad" Publications

Zeilberger frequently lists his computer, Shalosh B. Ekhad, as a co-author on his papers.

  • Nature of Co-author: "Shalosh B. Ekhad" refers to the AT&T 3B1 computer (Shalosh = Three, B = B, Ekhad = One in Hebrew) [2][26][27].
  • Volume: There are over 165 publications listed in "The Personal Journal of Shalosh B. Ekhad and Doron Zeilberger" [26].
  • Example: "Proof of Conway's lost cosmological theorem" (1998) [27].

5. Awards & Recognition

Zeilberger's work has been recognized with some of the highest honors in combinatorics and mathematics.

5.1 Major Prizes

  • Lester R. Ford Award (1990): Awarded by the Mathematical Association of America (MAA) for his paper "Kathy O'Hara's constructive proof of the unimodality of the Gaussian polynomials" [1][3][28].
  • Leroy P. Steele Prize for Seminal Contributions to Research (1998): Awarded by the American Mathematical Society (AMS) jointly with Herbert Wilf for the development of WZ Theory [1][3][15].
  • Euler Medal (2004): Awarded by the Institute of Combinatorics and its Applications (ICA) for "outstanding contributions to combinatorics." The citation described him as "a champion of using computers and algorithms to do mathematics quickly and efficiently" [1][2][3].
  • David P. Robbins Prize (2016): Awarded by the AMS, jointly with Manuel Kauers and Christoph Koutschan, for their proof of the q-TSPP conjecture [3][10][16].

5.2 Fellowships and Other Honors

  • AMS Fellow (2013): He was a member of the inaugural class of Fellows of the American Mathematical Society [3].
  • Named Lectures:
    • Joe Gillis Memorial Lecture, Weizmann Institute (1996) [28].
    • Frontiers of Mathematics Lecturer, Texas A&M (2001) [28].
    • Erdős Memorial Lecture, AMS (2010) [28].
  • Persi Diaconis' Favorite Mathematician: In 2006, Persi Diaconis named Zeilberger his "favorite (still living!) mathematician" [12][28].

6. Collaborations and Mentorship

6.1 Herbert S. Wilf

Herbert Wilf (University of Pennsylvania) was Zeilberger's most significant human collaborator. Their partnership resulted in WZ theory, the book A=B, and the Steele Prize. Wilf described working with Zeilberger as "working with a huge fountain of hormones - you might get stimulated to do your best or you might drown" [15].

6.2 "Shalosh B. Ekhad"

As noted, Zeilberger credits his computer as a co-author. This is not merely a joke but a philosophical statement about the role of computers in generating mathematical knowledge. Ekhad has its own "biography" (born in Bell Labs) and is credited with proving theorems that humans could not verify by hand [26][27].

6.3 Ph.D. Students

Zeilberger has mentored numerous students who have gone on to successful careers in mathematics and computer science. Notable students include:

  • Sheldon Parnes (1993, Temple) [29].
  • Ethan Lewis (1994, Penn) [29].
  • Tewodros Amdeberhan (1997, Temple): Now a Senior Professor of Practice at Tulane University [29].
  • Melkamu Zeleke (1998, Temple): Professor at William Patterson University [29].
  • Aaron Robertson (1999, Temple): Professor and Chair at Colgate University [29].
  • Akalu Tefera (2000, Temple): Professor at Grand Valley State University [29].
  • Vince Vatter (2005, Rutgers): Professor at the University of Florida [29].
  • Thotsaporn "Aek" Thanatipanonda (2008, Rutgers): Associate Professor at Mahidol University, Thailand [29].
  • Eric Rowland (2009, Rutgers): Associate Professor at Hofstra University; known for work in number theory and combinatorics [29][30].
  • Christoph Koutschan (Collaborator/Mentee): While not his direct Ph.D. student (student of Peter Paule), Koutschan worked closely with Zeilberger on the q-TSPP proof [16].

7. Legacy and Impact

7.1 Automating Mathematics

Zeilberger's most enduring legacy is the shift toward automated theorem proving in combinatorics. Before his work, "closed form" summation identities were viewed as individual puzzles requiring unique insights. Zeilberger showed that for a massive class of these problems (holonomic sequences), the proof process could be completely automated [14].

7.2 Experimental Mathematics

He is a founding figure in the modern movement of Experimental Mathematics. He advocates for a methodology where mathematicians use computers to generate data, form conjectures, and even produce proofs, fundamentally changing the workflow of the discipline [1][31].

7.3 Changing the Definition of "Proof"

Zeilberger challenges the traditional notion of mathematical rigor. He argues that if a computer can verify a result for a sufficiently large number of cases (beyond a theoretical bound), or if it can generate a certificate (like a WZ pair), this constitutes a proof, even if a human cannot check every step manually. This has sparked significant debate regarding the role of human understanding in mathematics [27][32].

8. Lesser-Known Facts

8.1 The "Shalosh B. Ekhad" Backstory

The name of his computer co-author, Shalosh B. Ekhad, is a Hebrew pun.

  • Origin: Zeilberger's first computer was an AT&T 3B1 model.
  • Translation: In Hebrew, "Shalosh" means Three, "B" remains B, and "Ekhad" means One. Thus, "3B1" became "Shalosh B. Ekhad" [2][26][27].
  • Persona: Zeilberger treats Ekhad as a distinct entity, referring to it as a "beloved computer companion" and listing it in his "extended family" [33][34].

8.2 Mathematical Wagers

Zeilberger has a history of making (and winning) wagers regarding mathematical proofs:

  • The q-Dyson Conjecture: In 1983, he won $50 from Richard Askey and George Andrews for proving the q-Dyson conjecture (with David Bressoud) [1][28].
  • The Wine Bet: In 1985, he won 10 bottles of wine from Xavier Viennot for finding a specific bijection between binary trees and ordered trees [1][28].
  • The Macdonald Conjecture: In 1986 and 1987, he won two separate $50 prizes from Richard Askey for proofs related to the Macdonald root system conjectures [1][28].
  • Schur Triples: In 1998, he won $100 from Ron Graham for a proof regarding Schur triples [1][28].

8.3 T-Shirts

Zeilberger is known for wearing T-shirts displaying mathematical identities. A famous photograph shows him wearing a shirt with a hypergeometric identity, which has become an iconic image in the combinatorics community [3][27].

8.4 Provocative Opinions

Zeilberger maintains an "Opinions" page on his website where he publishes controversial and humorous essays.

  • On Pi: He has argued that calculating digits of Pi is a waste of time and that "Pi is not a number, but rather... a game!" [35].
  • On Rigor: He famously stated, "You should evaluate these integrals non-rigorously if you can, and rigorously if you must" [35][36].
  • On God: "Regardless of whether or not God exists, God has no place in mathematics" [36].

8.5 Volunteer Referees

For his proof of the Alternating Sign Matrix conjecture, the proof was so long and complex that he organized a "pre-refereeing" process involving nearly 100 volunteers to check different parts of the paper, a crowdsourcing approach to peer review that was highly unusual for the time [2][3].

References

  1. Curriculum Vitae of Doron Zeilberger
  2. Doron Zeilberger - Biography
  3. Wikipedia: Doron Zeilberger
  4. Welcome to Doron Zeilberger's (Biological) Family
  5. Welcome to Doron Zeilberger's Family (2010)
  6. Ruth Alexander Zeilberger
  7. Biographical Sketch-Doron Zeilberger, P.I. (NSF CV)
  8. Wikipedia (PT): Doron Zeilberger
  9. Jane Deborah Legrange
  10. 2016 David P. Robbins Prize
  11. Rutgers University: Doron Zeilberger Profile
  12. Curriculum Vitae of Doron Zeilberger (2007)
  13. Wikipedia: Wilf–Zeilberger pair
  14. Review of "A=B"
  15. The Steele Prize - Herbert Wilf
  16. JMM 2016 Prize Booklet
  17. Ultrafinitism – Doron Zeilberger
  18. WZ Theory, Chapter II (PDF)
  19. Doron Zeilberger's Opinion 108
  20. Banishing Infinity - Medium
  21. The Ultrafinitists
  22. Goodreads: Doron Zeilberger publications
  23. A = B by Petkovsek, Wilf, and Zeilberger
  24. FreeTechBooks: A=B
  25. Wikipedia (DE): Doron Zeilberger
  26. The Personal Journal of Shalosh B. Ekhad and Doron Zeilberger
  27. The Computer: A Mysterious Co-Author
  28. Doron Zeilberger's Awards
  29. The Mathematical Descendants of Doron Zeilberger
  30. Eric Rowland Homepage
  31. Good math books to discover stuff by programming
  32. Feedback on Opinion 36
  33. Doron Zeilberger's Homepage
  34. Ekhad and the Master (Poem)
  35. Doron Zeilberger Quotes (Rutgers)
  36. AZ Quotes: Doron Zeilberger
  37. zbMATH Open: Zeilberger, Doron
  38. Alchetron: Doron Zeilberger
  39. arXiv: WZ Theory, Chapter II
  40. ResearchGate: Contributions of Doron Zeilberger
  41. Doron Zeilberger's Academic Descendants
  42. Talk Video of ICECA 2025
  43. Jane LeGrange's DMTS Certificate
  44. MAA Lester R. Ford Awards
  45. Reddit: Doron Zeilberger's 111th Opinion
  46. Shalosh B. Ekhad: a computer credit for mathematicians
  47. ResearchGate: Shalosh B. Ekhad
  48. Enumerative Combinatorics and Applications
  49. American Scientist: Third Base
  50. Modern Computer Algebra References
  51. Stack Exchange: What is ultrafinitism?
  52. MathOverflow: Formal foundation to ultrafinitism
  53. EurekAlert: 2016 AMS Robbins Prize
  54. Medium: The Computer Co-Author
  55. Ultrafinitism views
  56. Reddit: Question about ultrafinitism
  57. Henry McKean's Genealogy
  58. Ancestors of Doron Zeilberger
  59. Dr. Z's Opinions
  60. QuoteFancy: Doron Zeilberger Quotes
  61. Reddit: Doron Zeilberger is an interesting guy
  62. Mathematical Numbers of Doron Zeilberger
  63. Google Scholar: Doron Zeilberger
  64. Interview with Joe Gallian
  65. Doron Zeilberger Papers
  66. Hacker News Discussion on Zeilberger
  67. Reddit: Opinion 126
  68. Eric Rowland CV
  69. ResearchGate: Eric Rowland Profile
  70. Photo by Eric Rowland
  71. Brede Wiki co-author graph
  72. List of people by Erdős number
Research completed: January 4, 2026
Model: deep-research-pro-preview-12-2025
Prompt version: v2.0-deep-research