Für seinen Beweis (1995) der „Alternating Sign Matrix Conjecture“ über die Anzahl von Matrizen mit alternierenden Vorzeichen[2] heuerte er 88 Freiwillige zur Überprüfung des Beweises an, der den massiven Einsatz von Computern erforderte. Einen kürzeren Beweis gab kurz danach Greg Kuperberg.
Mit Wilf und Marko Petkovsek veröffentlichte er 1996 das Buch . Es beschreibt für einen breiten Leserkreis die Forschungsergebnisse über Algorithmen zur Vereinfachung von Summen mit Binomialkoeffizienten und zum Finden und Beweisen von hypergeometrischen Identitäten. Das Buch ist online verfügbar, das Vorwort schrieb Donald Knuth.[4]
Zeilberger ist mit einer Physikerin verheiratet und hat drei Kinder.
Der Name des Koautors einiger seiner Aufsätze (Shalosh B. Ekhad) ist fiktiv (er bezeichnet seinen Computer, ein ATT 3B1, Shalosh steht für drei, Ekhad für eins).[5]
Literatur
1998 Steele Prizes (PDF-Datei, 342 kB), Notices of the AMS 45, April 1998, S. 504–508 (englisch; mit Bild und Kurzbiographie)