Doron Zeilberger

activity

20092023

most citedHISTABRUT: A Maple Package for Symbol-Crunching in Probability theory

8 citations · 34 across the 26 of their papers we have counts for

collaborators

Showing math.NTShow all

2 papers · 1 filter

math.NT2016★ 1 cited

Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences

Shalosh B. Ekhad, N. J. A. Sloane, Doron Zeilberger

Pisot sequences (sequences $a_{n}$ with initial terms $a_{0} = x, a_{1} = y$ , and defined for $n > 1$ by $a_{n} = ⌊ a_{n - 1}^{2} / a_{n - 2} + \frac{1}{2} ⌋$ ) often satisfy linear recurrence…

math.NT2014

Searching for Apery-Style Miracles [Using, Inter-Alia, the Amazing Almkvist-Zeilberger Algorithm]

Shalosh B. Ekhad, Doron Zeilberger

Roger Apery's seminal method for proving irrationality is "turned on its head" and taught to computers, enabling a one second redux of the original proof of zeta(3), and many new i…