Doron Zeilberger

From MaRDI portal
Person:180279

Available identifiers

zbMath Open zeilberger.doronWikidataQ909202 ScholiaQ909202MaRDI QIDQ180279

List of research outcomes

PublicationDate of PublicationType
Implementing and Experimenting with the Calabi-Wilf algorithm for random selection of a subspace over a finite field2023-10-27Paper
Human and automated approaches for finite trigonometric sums2023-09-18Paper
Explicit Expressions for Moments of the Duration of a 3-Player Gambler's Ruin2023-09-15Paper
A Guide to the Risk-Averse Gambler and Resolving the St. Petersburg Paradox Once and For All2023-07-31Paper
Yay for Determinants!2023-07-04Paper
Experimenting with Discrete Dynamical Systems2023-06-20Paper
Automatic counting of generalized Latin rectangles and trapezoids2023-06-09Paper
Counting condorcet2023-06-09Paper
Automatic conjecturing and proving of exact values of some infinite families of infinite continued fractions2023-05-31Paper
https://portal.mardi4nfdi.de/entity/Q60446432023-05-22Paper
Using Symbolic Computation to Explore Generalized Dyck Paths and Their Areas2023-05-15Paper
Variations on the Missionaries and Cannibals Problem2023-04-28Paper
Counting Clean Words According to the Number of Their Clean Neighbors2023-04-21Paper
Experimenting with Standard Young Tableaux2023-03-29Paper
Exploring general Apéry limits via the Zudilin–Straub t-transform2023-03-17Paper
On the Statistics of the Number of Fixed-Dimensional Subcubes in a Random Subset of the n-Dimensional Discrete Unit Cube2023-02-17Paper
How many Dice Rolls Would It Take to Reach Your Favorite Kind of Number?2023-01-31Paper
Experimenting with the Dym-Luks Ball and Cell Game (almost) Sixty Years Later2023-01-13Paper
There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (Ignoring Suits) [and Many Other Such Useful Facts]2022-12-12Paper
Counting Permutations Where The Difference Between Entries Located $r$ Places Apart Can never be $s$ (For any given positive integers $r$ and $s$)2022-11-04Paper
On Invariance Properties of Entries of Matrix Powers2022-06-23Paper
Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry2022-06-13Paper
Exploring General Ap\'ery Limits via the Zudilin-Straub t-transform2022-05-26Paper
Numerical and Symbolic Studies of the Peaceable Queens Problem2022-04-14Paper
Linear-Time and Constant-Space Algorithms to compute Multi-Sequences that arise in Enumerative Combinatorics (and Elsewhere)2022-03-09Paper
A Linear Time, and Constant Space, Algorithm to Compute the Mixed Moments of the Multivariate Normal Distributions2022-02-20Paper
Automated Counting and Statistical Analysis of Labeled Trees with Degree Restrictions2022-01-18Paper
Automating John P. D'Angelo's method to study Complete Polynomial Sequences2021-11-04Paper
An Experimental (yet fully rigorous!) Study of a certain "Measure Of Disarray" that 12-year Noga Alon Proved was always Even2021-09-28Paper
Experimenting with Apery Limits and WZ pairs2021-09-11Paper
Automatic Generation of Convolution Identities for C-finite sequences2021-08-05Paper
Automatic discovery of irrationality proofs and irrationality measures2021-06-03Paper
Two definite integrals that are definitely (and surprisingly!) equal2021-04-20Paper
Some Deep and Original Questions about the "critical exponents" of Generalized Ballot Sequences2021-04-04Paper
A Bijective Proof of Richard Stanley's Observation that the sum of the cubes of the n-th row of Stern's Diatomic array equals 3 times 7 to the power n-12021-03-23Paper
Automated Generation of Generating Functions Related to Generalized Stern's Diatomic Arrays in the footsteps of Richard Stanley2021-03-23Paper
A multi-computational exploration of some games of pure chance2021-02-18Paper
Systematic Counting of Restricted Partitions2021-02-05Paper
Untying the Gordian Knot via Experimental Mathematics2021-01-12Paper
Two Quick Proofs of a Catalan Lemma Needed by Lisa Sauermann and Yuval Wigderson2020-11-15Paper
Polynomial reduction and supercongruences2020-11-13Paper
The irrationality measure of \(\pi\) is at most 7.103205334137\dots2020-11-10Paper
Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan2020-07-30Paper
Counting Standard Young Tableaux With Restricted Runs2020-06-17Paper
Automatic Counting of Restricted Dyck Paths via (Numeric and Symbolic) Dynamic Programming2020-06-02Paper
Boolean Function Analogs of Covering Systems2020-05-04Paper
Increasing consecutive patterns in words2020-03-06Paper
D.H. Lehmer's tridiagonal determinant: an étude in (Andrews-inspired) experimental mathematics2020-02-20Paper
On the maximal minimal cube lengths in distinct DNF tautologies2020-01-21Paper
The Absent-Minded Passengers Problem via Computer Algebra2020-01-19Paper
An experimental mathematics approach to the area statistic of parking functions2019-07-26Paper
Using Symbolic Computation to analyze some Children's Board Games2019-07-18Paper
Polynomial Reduction and Super Congruences2019-07-16Paper
On The Limiting Distributions of the Total Height On Families of Trees2019-06-21Paper
On the Average Maximal Number of Balls in a Bin Resulting from Throwing r Balls into n Bins T times2019-05-19Paper
Some Remarks on a recent article by J. -P. Allouche2019-03-22Paper
A simple rederivation of Onsager's solution of the 2D Ising model using experimental mathematics2019-03-12Paper
A Detailed Analysis of Quicksort Running Time2019-03-08Paper
Answers to Some Questions about Explicit Sinkhorn Limits posed by Mel Nathanson2019-02-27Paper
A combinatorial-probabilistic analysis of bitcoin attacks2019-02-26Paper
Factorization of $C$-finite sequences2019-01-29Paper
In How many ways can I carry a total of n coins in my two pockets, and have the same amount in both pockets?2019-01-23Paper
The "Monkey Typing Shakespeare" Problem for Compositions2019-01-13Paper
Untying The Gordian Knot via Experimental Mathematics2018-12-18Paper
Two Questions about the Fractional Counting of Partitions2018-10-30Paper
Using the “Freshman′s Dream” to Prove Combinatorial Congruences2018-07-13Paper
Integrals involving Rudin-Shapiro polynomials and sketch of a proof of Saffari's conjecture2018-06-21Paper
How Many Rounds Should You Expect in Urn Solitaire?2018-01-04Paper
On the Intriguing Problem of Counting (n+1,n+2)-Core Partitions into Odd Parts2017-12-28Paper
Explicit expressions for the expectation, variance and higher moments of the size of a (2n + 1, 2n + 3)-core partition with distinct parts2017-12-01Paper
A Treatise on Sucker's Bets2017-10-27Paper
Analysis of the gift exchange problem2017-07-26Paper
Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar2017-07-14Paper
https://portal.mardi4nfdi.de/entity/Q29880942017-05-18Paper
Counting Permutations that Avoid Many Patterns2017-03-07Paper
Explicit (Polynomial!) Expressions for the Expectation, Variance and Higher Moments of the Size of a (2n + 1, 2n + 3)-core partition with Distinct Parts2016-11-17Paper
Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences2016-09-18Paper
Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences2016-08-25Paper
Going Back to Neil Sloane's FIRST LOVE (OEIS Sequence A435): On the Total Heights in Rooted Labeled Trees2016-07-19Paper
Surprising relations between sums-of-squares of characters of the symmetric group over two-rowed shapes and over hook shapes2016-07-11Paper
A Motivated Rendition of the Ellenberg-Gijswijt Gorgeous proof that the Largest Subset of $F_3^n$ with No Three-Term Arithmetic Progression is $O(c^n)$, with $c=\root 3 \of {(5589+891\,\sqrt {33})}/8=2.75510461302363300022127...$2016-07-06Paper
Herbert S. Wilf (1931–2012)2016-06-15Paper
The (ordinary) generating functions enumerating \(123\)-avoiding words with \(r\) occurrences of each of \(1, 2, \dots, n\) are always algebraic2016-06-13Paper
On the number of Singular Vector Tuples of Hyper-Cubical Tensors2016-04-30Paper
Identities in character tables ofSn2016-04-29Paper
Doron Gepner's Statistics on Words in {1,2,3} is (most probably) Asymptotically Logistic2016-04-03Paper
The C-finite Ansatz Meets the Holonomic Ansatz2015-12-21Paper
Computerizing the Andrews-Fraenkel-Sellers Proofs on the Number of m-ary partitions mod m (and doing MUCH more!)2015-11-20Paper
Searching for Disjoint Covering Systems with Precisely One Repeated Modulus2015-11-13Paper
The Reciprocal of ∑_{𝑛≥0}𝑎ⁿ𝑏ⁿ for non-commuting 𝑎 and 𝑏, Catalan numbers and non-commutative quadratic equations2015-09-24Paper
Explicit Expressions for the Variance and Higher Moments of the Size of a Simultaneous Core Partition and its Limiting Distribution2015-08-30Paper
Wilf's "Snake Oil" Method Proves an Identity in The Motzkin Triangle2015-07-28Paper
Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics2015-07-08Paper
On the asymptotic statistics of the number of occurrences of multiple permutation patterns2015-05-20Paper
The number of 1...d-avoiding permutations of length d+r for SYMBOLIC d but numeric r2015-04-09Paper
Odd-Rule Cellular Automata on the Square Grid2015-03-13Paper
A Very Short (Bijective!) Proof of Touchard's Catalan Identity2015-03-13Paper
A Meta-Algorithm for Creating Fast Algorithms for Counting ON Cells in Odd-Rule Cellular Automata2015-03-05Paper
Farewell to "W" (Herbert Saul Wilf), a true VISIONARY for whom EVERYTHING was INTERTWINED2015-02-26Paper
The Method(!) of "Guess and Check"2015-02-15Paper
An Empirical Method for Solving (rigorously!) Algebraic Functional Equations Of the Form F(P(x,t), P(x,1),x,t)=02014-12-29Paper
The Generating Functions Enumerating 12..d-Avoiding Words with r occurrences of each of 1,2, ... , n are D-finite for all d and all r2014-12-05Paper
A Short Proof of McDougall’s Circle Theorem2014-11-10Paper
A Quick Empirical Reproof of the Asymptotic Normality of the Hirsch Citation Index (First proved by Canfield, Corteel, and Savage)2014-10-31Paper
Automatic enumeration of generalized Ménage numbers2014-08-28Paper
Automatic counting of tilings of skinny plane regions2014-08-12Paper
A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences2014-07-18Paper
Sketch of a Proof of an Intriguing Conjecture of Karola Meszaros and Alejandro Morales Regarding the Volume of the $D_n$ Analog of the Chan-Robbins-Yuen Polytope (Or: The Morris-Selberg Constant Term Identity Strikes Again!)2014-07-10Paper
There are $(r+1)(r+2)(2r+3)(r^2+3r+5)$ Ways For the Four Teams of a World Cup Group to Each Have $r$ Goals For and $r$ Goals Against [Thanks to the Soccer Analog of Prop. 4.6.19 of Richard Stanley's (Classic!) EC1]2014-07-07Paper
How to generate as many Somos-like miracles as you wish2014-06-19Paper
Enumerative Geometrical Genealogy (Or: The Sex Life of Points and Lines)2014-06-19Paper
Searching for Apery-Style Miracles [Using, Inter-Alia, the Amazing Almkvist-Zeilberger Algorithm]2014-05-17Paper
Automatic Proofs of Asymptotic ABNORMALITY (and much more!) of Natural Statistics Defined on Catalan-Counted Combinatorial Families2014-03-22Paper
An Explicit Conjectured Determinant Evaluation Whose Proof Would Make Me Happy (and the OEIS richer)2014-01-07Paper
Zeroless arithmetic: representing integers ONLY using ONE2013-12-27Paper
Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf Classes2013-09-04Paper
Balls in Boxes: Variations on a Theme of Warren Ewens and Herbert Wilf2013-09-04Paper
How to Extend Karolyi and Nagy's BRILLIANT Proof of the Zeilberger-Bressoud q-Dyson Theorem in order to Evaluate ANY Coefficient of the q-Dyson Product2013-08-13Paper
Generalizing and Implementing Michael Hirschhorn's Amazing Algorithm for Proving Ramanujan-Type Congruences2013-06-27Paper
The \(C\)-finite ansatz2013-06-26Paper
How to gamble if you're in a hurry2013-04-22Paper
Rademacher's infinite partial fraction conjecture is (almost certainly) false2013-04-22Paper
A Short Proof of a Ptolemy-Like Relation for an Even number of Points on a Circle Discovered by Jane McDougall2013-04-16Paper
The Discrete Analog of the Malgrange–Ehrenpreis Theorem2013-04-04Paper
On Euler's "Misleading Induction", Andrews' "Fix", and How to Fully Automate them2013-04-03Paper
Using Noonan-Zeilberger functional equations to enumerate (in polynomial time!) generalized Wilf classes2013-03-06Paper
Proof of George Andrews’s and David Robbins’s q -TSPP conjecture2013-02-02Paper
A new algorithm for proving global asymptotic stability of rational difference equations2013-01-04Paper
Automated Counting of Towers (\`A La Bordelaise) [Or: Footnote to p. 81 of the Flajolet-Sedgewick Chef-d'{\oe}vre]2012-12-17Paper
Pick Up Sticks2012-10-20Paper
Some Nice Sums are Almost as Nice if you turn them Upside Down2012-08-26Paper
The Amazing $3^n$ Theorem and its even more Amazing Proof [Discovered by Xavier G. Viennot and his \'Ecole Bordelaise gang]2012-08-10Paper
Corrigendum to ``The Mahonian probability distribution on words is asymptotically normal2012-07-04Paper
Formulæ for the number of partitions of \(n\) into at most \(m\) parts (using the quasi-polynomial ansatz)2012-06-01Paper
https://portal.mardi4nfdi.de/entity/Q28834172012-05-10Paper
Toward a language theoretic proof of the four color theorem2012-03-29Paper
Computational and Theoretical Challenges on Counting Solid Standard Young Tableaux2012-02-28Paper
A translation method for finding combinatorial bijections2012-01-24Paper
Using GENERATINGFUNCTIONOLOGY to Enumerate Distinct-Multiplicity Partitions2012-01-19Paper
Automatic Solution of Richard Stanley's Amer. Math. Monthly Problem #11610 and ANY Problem of That Type2011-12-28Paper
The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux)2011-10-25Paper
Alexander Burstein's Lovely Combinatorial Proof of John Noonan's Beautiful Formula that the number of n-permutations that contain the Pattern 321 Exactly Once Equals (3/n)(2n)!/((n-3)!(n+3)!)2011-10-19Paper
The computational challenge of enumerating high-dimensional rook walks2011-10-11Paper
The Mahonian probability distribution on words is asymptotically normal2011-05-17Paper
Teaching the computer how to discover(!) and then prove(!!) (all by itself(!!!)) analogues of Collatz's notorious 3x + 1 conjecture2011-05-06Paper
Automatic Generation of Generating Functions for Chromatic Polynomials for Grid Graphs (and more general creatures) of Fixed (but arbitrary!) Width2011-03-31Paper
Proof of Ira Gessel's lattice path conjecture2011-01-24Paper
An Experimental Mathematics Perspective on the Old, and still Open, Question of When To Stop?2011-01-03Paper
Finite Analogs of Szemer\'edi's Theorem2011-01-03Paper
https://portal.mardi4nfdi.de/entity/Q35881352010-09-10Paper
HISTABRUT: A Maple Package for Symbol-Crunching in Probability theory2010-08-24Paper
The Number of Inversions and the Major Index of Permutations are Asymptotically Joint-Independently Normal2010-04-07Paper
A symbolic computation approach to a problem involving multivariate Poisson distributions2010-04-01Paper
${5\choose 2}$ Proofs that ${n\choose k} \leq {n\choose {k+1}}$ if $k<n/2$2010-03-05Paper
Bijections for an identity of Young Tableaux2010-02-22Paper
The Automatic Central Limit Theorems Generator (and Much More!)2010-01-13Paper
A Eulogy for Jack Good2009-12-02Paper
In How Many Ways Can You Reassemble Several Russian Dolls?2009-09-18Paper
A Multi-Set Identity for Partitions2009-09-18Paper
Commutation relations and Vandermonde determinants2009-06-17Paper
Searching for Strange Hypergeometric Identities By Sheer Brute Force2009-05-26Paper
Efficient counting and asymptotics of \(k\)-noncrossing tangled diagrams2009-04-07Paper
On the number of walks on a regular Cayley tree2009-03-10Paper
Two Dimensional Directed Lattice Walks with Boundaries2009-02-12Paper
https://portal.mardi4nfdi.de/entity/Q36025812009-02-12Paper
A symbolic finite-state approach for automated proving of theorems in combinatorial game theory2009-02-05Paper
Experiments with a Positivity-Preserving Operator2009-01-29Paper
A bijectional attack on the Razumov-Stroganov conjecture2008-12-02Paper
The quasi-holonomic ansatz and restricted lattice walks2008-11-05Paper
A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations)2008-08-05Paper
Using Rota's Umbral calculus to enumerate Stanley's \(P\)-partitions2008-06-26Paper
https://portal.mardi4nfdi.de/entity/Q53876972008-05-27Paper
The quantum MacMahon Master Theorem2008-05-07Paper
https://portal.mardi4nfdi.de/entity/Q54483162008-03-20Paper
Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms2007-10-19Paper
The holonomic ansatz. I: Foundations and applications to lattice path counting2007-10-11Paper
The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations2007-10-11Paper
https://portal.mardi4nfdi.de/entity/Q57545122007-08-22Paper
Disturbing the Dyson Conjecture (in a GOOD Way)2007-03-27Paper
The number of [old-time basketball games with final score \(n\):\(n\) where the home team was never losing but also never ahead by more than \(w\) points]2007-03-12Paper
Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory2007-01-26Paper
A proof of Andrews' \(q\)-Dyson conjecture. (Reprint)2006-08-04Paper
A fast algorithm for proving terminating hypergeometric identities. (Reprint)2006-08-04Paper
The collector's brotherhood problem using the Newman-Shepp symbolic method2006-07-12Paper
https://portal.mardi4nfdi.de/entity/Q33774962006-03-23Paper
Deconstructing the Zeilberger algorithm2005-09-21Paper
A Proof of the Loehr-Warrington Amazing TEN to the Power n Conjecture2005-09-15Paper
Dave Robbins' art of guessing2005-08-01Paper
https://portal.mardi4nfdi.de/entity/Q46644112005-04-05Paper
Chomp, Recurrences and Chaos(?)2005-03-18Paper
Symbolic moment calculus. I: Foundations and permutation pattern statistics2005-01-03Paper
The Markov-WZ method2004-10-13Paper
On Frankel's \(N\)-heap Wythoff's conjectures2004-09-27Paper
Liebe Opa Paul, ich bin auch ein experimental scientist!2003-12-03Paper
Theorems for a price: Tomorrow's semi-rigorous mathematical culture2003-09-15Paper
Computerized deconstruction.2003-09-15Paper
Refined restricted permutations2003-08-14Paper
Babson-Steingrímsson statistics are indeed Mahonian (and sometimes even Euler-Mahonian)2002-10-10Paper
Determinants through the looking glass2002-06-16Paper
Classical combinatorics: Special issue in honor of Dominique Foata2002-06-06Paper
https://portal.mardi4nfdi.de/entity/Q27784692002-04-02Paper
Three-rowed CHOMP2002-01-29Paper
Linearization coefficients for the Jacobi polynomials2002-01-07Paper
The umbral transfer-matrix method. III: Counting animals2001-12-10Paper
On elementary methods in positivity theory2001-11-08Paper
Three recitations on holonomic systems and hypergeometric series2001-11-08Paper
Combinatorial proofs of Capelli's and Turnbull's identities from classical invariant theory2001-11-07Paper
A combinatorial interpretation of the integral of the product of Legendre polynomials2001-11-05Paper
How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic2001-10-16Paper
The umbral transfer-matrix method. IV: Counting self-avoiding polygons and walks2001-08-29Paper
The umbral transfer-matrix method. I: Foundations2001-05-28Paper
The Goulden-Jackson cluster method for cyclic words2000-11-16Paper
https://portal.mardi4nfdi.de/entity/Q45009682000-09-25Paper
Proof of a conjecture of Chan, Robbins, and Yuen2000-07-24Paper
Towards a WZ Evolution of the Mehta Integral2000-04-10Paper
Automated counting of lego towers2000-02-23Paper
Permutation patterns and continued fractions2000-01-16Paper
The Goulden—Jackson cluster method: extensions, applications and implementations1999-12-02Paper
Proof of a conjecture on multisets of hook numbers1999-12-01Paper
Enumeration schemes and, more importantly, their automatic generation1999-09-30Paper
Weighted derangements and Laguerre polynomials1999-06-24Paper
A Combinatorial Proof of Bass’s Evaluations of the Ihara-Selberg Zeta Function for Graphs1999-05-19Paper
A pentagonal number sieve1999-04-09Paper
https://portal.mardi4nfdi.de/entity/Q42334771999-03-18Paper
\(q\)-Apéry irrationality proofs by \(q\)-WZ pairs1999-01-21Paper
Curing the andrews syndrome1998-12-15Paper
How much should a 19th-century French Bastard inherit1998-09-27Paper
https://portal.mardi4nfdi.de/entity/Q43208111998-09-13Paper
Proof of a determinant evaluation conjectured by Bombieri, Hunt and van Poorten1998-04-16Paper
A 2-coloring of \([1, N\) can have \((1/22) N^2+O(N)\) monochromatic Schur triples, but not less]1998-04-14Paper
https://portal.mardi4nfdi.de/entity/Q43531571998-04-01Paper
A binomial coefficient identity associated to a conjecture of Beukers1998-02-18Paper
Hypergeometric series acceleration via the WZ method1998-02-15Paper
Dodgon's determinant-evaluation rule proved by TWO-TIMING MEN and WOMEN1998-02-15Paper
Proof of Conway’s lost cosmological theorem1998-01-22Paper
How To Do Monthly Problems With Your Computer1997-12-16Paper
A classic proof of a recurrence for a very classical sequence1997-12-02Paper
The abstract lace expansion1997-11-19Paper
Proof of the refined alternating sign matrix conjecture1997-11-11Paper
The enumeration of permutations with a prescribed number of ``forbidden patterns1997-05-06Paper
The Method of Undetermined Generalization and Specialization1997-04-07Paper
Self-avoiding walks, the language of science, and Fibonacci numbers1997-03-11Paper
Reverend Charles to the Aid of Major Percy and Fields Medalist Enrico1997-02-04Paper
https://portal.mardi4nfdi.de/entity/Q48735771996-11-07Paper
Graphical major indices1996-10-13Paper
The number of solutions of \(X^ 2 = 0\) in triangular matrices over \(GF(q)\)1996-07-21Paper
Proof of the alternating sign matrix conjecture1996-07-21Paper
How Joe Gillis discovered combinatorial special function theory1996-06-19Paper
The J.C.P. miller recurrence for exponentiating a polynomial, and its q- analog1996-05-30Paper
https://portal.mardi4nfdi.de/entity/Q48753641996-04-29Paper
A computer algebra approach to the discrete Dirichlet problem1996-03-11Paper
Chu's 1303 Identity Implies Bombieri's 1990 Norm-Inequality (Via an Identity of Beauzamy and Degot)1995-07-12Paper
Proof of a \(q\)-analog of a constant term identity conjectured by Forrester1995-03-20Paper
https://portal.mardi4nfdi.de/entity/Q31396801995-03-05Paper
Talmudic lattice path counting1994-11-22Paper
A constant term identity featuring the ubiquitous (and mysterious) Andrews-Mills-Robbins-Rumsey numbers \(1, 2, 7, 42, 429, \dots\)1994-07-04Paper
https://portal.mardi4nfdi.de/entity/Q31396811994-06-28Paper
On an Identity of Daubechies1994-05-05Paper
Identities in search of identity1994-03-10Paper
A Generalization of Odlyzko's Conjecture: the Coefficients of (1 - q) j / ((1 - q 2n ) ⋯(1 - q 2n+2j )) Alternate in Sign1993-09-01Paper
A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares1993-06-29Paper
Rational function certification of multisum/integral/“𝑞” identities1993-01-16Paper
Gauss's \(_ 2F_ 1(1)\) cannot be generalized to \(_ 2F_ 1(x)\)1993-01-16Paper
Random Walk in a Weyl Chamber1992-09-27Paper
A proof of Julian West's conjecture that the number of two-stack-sortable permutations of length \(n\) is \(2(3n)\)!/(\((n+1)\)!\((2n+1)\)!)1992-09-27Paper
Multibasic Eulerian Polynomials1992-06-27Paper
Denert's Permutation Statistic Is Indeed Euler‐Mahonian1992-06-25Paper
A holonomic systems approach to special functions identities1992-06-25Paper
The method of creative telescoping1992-06-25Paper
An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities1992-01-01Paper
Necessary conditions for distinct covering systems with square-free moduli1991-01-01Paper
Rational Functions Certify Combinatorial Identities1990-01-01Paper
A Stembridge-Stanton style elementary proof of the Habsieger-Kadell q- Morris identity1990-01-01Paper
A 21st century proof of Dougall's hypergeometric sum identity1990-01-01Paper
The method of differentiating under the integral sign1990-01-01Paper
A fast algorithm for proving terminating hypergeometric identities1990-01-01Paper
A bijection from ordered trees to binary trees that sends the pruning order to the Strahler number1990-01-01Paper
Towards computerized proofs of identities1990-01-01Paper
The Odlyzko Conjecture and O'Hara's Unimodality Proof1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q33489131989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q34800421989-01-01Paper
On a Conjecture of R. J. Simpson About Exact Covering Congruences1989-01-01Paper
https://portal.mardi4nfdi.de/entity/Q38354561989-01-01Paper
Six etudes in generating functions1989-01-01Paper
How likely is Polya's drunkard to stay in \(x\geq y\geq z\)?1989-01-01Paper
Generalized Rogers-Ramanujan bijections1989-01-01Paper
Kathy O'Hara's Constructive Proof of the Unimodality of the Gaussian Polynomials1989-01-01Paper
A Unified Approach to Macdonald’s Root-System Conjectures1988-01-01Paper
A Combinatorial Interpretation of the Integral of the Product of Legendre Polynomials1988-01-01Paper
Laguerre Polynomials, Weighted Derangements, and Positivity1988-01-01Paper
A Proof of the $G_2 $ Case of Macdonald’s Root System-Dyson Conjecture1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37880141987-01-01Paper
A \(q\)-Foata proof of the \(q\)-Saalschütz identity1987-01-01Paper
Enumerating totally clean words1987-01-01Paper
https://portal.mardi4nfdi.de/entity/Q37588311986-01-01Paper
A bijective proof of Cassini's Fibonacci identity1986-01-01Paper
Bijecting Euler's Partitions-Recurrence1985-01-01Paper
Some asymptotic bijections1985-01-01Paper
A proof of Andrews' \(q\)-Dyson conjecture1985-01-01Paper
Resurrecting the asymptotics of linear recurrences1985-01-01Paper
A combinatorial approach to matrix algebra1985-01-01Paper
A combinatorial proof of Newton's identities1984-01-01Paper
Garsia and Milne's bijective proof of the inclusion-exclusion principle1984-01-01Paper
A short Hook-lengths bijection inspired by the Greene-Nijenhuis-Wilf proof1984-01-01Paper
On Elementary Methods in Positivity Theory1983-01-01Paper
A direct combinatorial proof of a positivity result1983-01-01Paper
Andre's reflection proof generalized to the many-candidate ballot problem1983-01-01Paper
A bijective proof of the hook-length formula1982-01-01Paper
A short Rogers-Ramanujan bijection1982-01-01Paper
Sister Celine's technique and its generalizations1982-01-01Paper
A combinatorial proof of Dyson's conjecture1982-01-01Paper
A Markov chain occurring in enzyme kinetics1982-01-01Paper
T. L. Hill's graphical method for solving linear equations1982-01-01Paper
All binomial identities are verifiable1981-01-01Paper
Enumeration of words by their number of mistakes1981-01-01Paper
The Algebra of Linear Partial Difference Operators and Its Applications1980-01-01Paper
A lattice walk approach to the inv and maj q-counting of multiset permutations1980-01-01Paper
Partial difference equations in \(m_1\geq m_2\geq \dots \geq m_n\geq 0\) and their applications to combinatorics1980-01-01Paper
Some comments on Rota's umbral calculus1980-01-01Paper
Solutions of exponential growth to systems of partial differential equations1979-01-01Paper
A New Proof to Ehrenpreis's Semilocal Quotient Structure Theorem1978-01-01Paper
Pompeiu's problem on discrete space1978-01-01Paper
Discrete Analytic Functions of Exponential Growth1977-01-01Paper
Uniqueness Theorems for Harmonic Functions of Exponential Growth1977-01-01Paper
Binary Operations in the Set of Solutions of a Partial Difference Equation1977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41356381977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41574051977-01-01Paper
https://portal.mardi4nfdi.de/entity/Q41829921977-01-01Paper
A new approach to the theory of discrete analytic functions1977-01-01Paper
Further properties of discrete analytic functions1977-01-01Paper
Combinatorial proofs of Capelli's and Turnbull's identities from classical invariant theory0001-01-03Paper
Three recitations on holonomic systems and hypergeometric series0001-01-03Paper

Research outcomes over time


Doctoral students

No records found.


Known relations from the MaRDI Knowledge Graph

PropertyValue
MaRDI profile typeMaRDI person profile
instance ofhuman


This page was built for person: Doron Zeilberger