activity
19922026
most citedProof of the Refined Alternating Sign Matrix Conjecture

91 citations · 520 across the 230 of their papers we have counts for

collaborators
Showing 2019Show all

15 papers · 1 filter

math.NT2019★ 9 cited

Automatic Discovery of Irrationality Proofs and Irrationality Measures

Doron Zeilberger, Wadim Zudilin

We illustrate the power of Experimental Mathematics and Symbolic Computation to suggest irrationality proofs of natural constants, and the determination of their irrationality meas…

math.CA2019★ 2 cited

Two Definite Integrals That Are Definitely (and Surprisingly!) Equal

Shalosh B. Ekhad, Doron Zeilberger, Wadim Zudilin

We find this identity, that looks like an exercise in Calculus 1, surprising, and beautiful. We hope that you would too.

math.CO2019

Systematic Counting of Restricted Partitions

Mingjia Yang, Doron Zeilberger

Integer partitions are one of the most fundamental objects of combinatorics (and number theory), and so is enumerating objects avoiding patterns. In the present paper we describe t…

math.CO2019

A Multi-Computational Exploration of Some Games of Pure Chance

Thotsaporn "Aek" Thanatipanonda, Doron Zeilberger

In the spirit of "multi-culturalism", we use four kinds of computations: simulation, numeric, symbolic, and "conceptual" to explore some "games of pure chance" inspired by children…

math.HO2019

Using Symbolic Computation to analyze some Children's Board Games

Shalosh B. Ekhad, Doron Zeilberger

In a delightful article that recently appeared in Mathematics Magazine, David and Lori Mccune analyze the board game "Count Your Chickens!", recommended to children three and up. A…

math.CO2019

Polynomial Reduction and Super Congruences

Qing-Hu Hou, Yan-Ping Mu, Doron Zeilberger

Based on a reduction processing, we rewrite a hypergeometric term as the sum of the difference of a hypergeometric term and a reduced hypergeometric term (the reduced part, in shor…