| Publication | Date of Publication | Type |
|---|
| Implementing and Experimenting with the Calabi-Wilf algorithm for random selection of a subspace over a finite field | 2023-10-27 | Paper |
| Human and automated approaches for finite trigonometric sums | 2023-09-18 | Paper |
| Explicit Expressions for Moments of the Duration of a 3-Player Gambler's Ruin | 2023-09-15 | Paper |
| A Guide to the Risk-Averse Gambler and Resolving the St. Petersburg Paradox Once and For All | 2023-07-31 | Paper |
| Yay for Determinants! | 2023-07-04 | Paper |
| Experimenting with Discrete Dynamical Systems | 2023-06-20 | Paper |
| Automatic counting of generalized Latin rectangles and trapezoids | 2023-06-09 | Paper |
| Counting condorcet | 2023-06-09 | Paper |
| Automatic conjecturing and proving of exact values of some infinite families of infinite continued fractions | 2023-05-31 | Paper |
| https://portal.mardi4nfdi.de/entity/Q6044643 | 2023-05-22 | Paper |
| Using Symbolic Computation to Explore Generalized Dyck Paths and Their Areas | 2023-05-15 | Paper |
| Variations on the Missionaries and Cannibals Problem | 2023-04-28 | Paper |
| Counting Clean Words According to the Number of Their Clean Neighbors | 2023-04-21 | Paper |
| Experimenting with Standard Young Tableaux | 2023-03-29 | Paper |
| Exploring general Apéry limits via the Zudilin–Straub t-transform | 2023-03-17 | Paper |
| On the Statistics of the Number of Fixed-Dimensional Subcubes in a Random Subset of the n-Dimensional Discrete Unit Cube | 2023-02-17 | Paper |
| How many Dice Rolls Would It Take to Reach Your Favorite Kind of Number? | 2023-01-31 | Paper |
| Experimenting with the Dym-Luks Ball and Cell Game (almost) Sixty Years Later | 2023-01-13 | Paper |
| There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (Ignoring Suits) [and Many Other Such Useful Facts] | 2022-12-12 | Paper |
| 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-04 | Paper |
| On Invariance Properties of Entries of Matrix Powers | 2022-06-23 | Paper |
| Tweaking the Beukers integrals in search of more miraculous irrationality proofs a la Apéry | 2022-06-13 | Paper |
| Exploring General Ap\'ery Limits via the Zudilin-Straub t-transform | 2022-05-26 | Paper |
| Numerical and Symbolic Studies of the Peaceable Queens Problem | 2022-04-14 | Paper |
| Linear-Time and Constant-Space Algorithms to compute Multi-Sequences that arise in Enumerative Combinatorics (and Elsewhere) | 2022-03-09 | Paper |
| A Linear Time, and Constant Space, Algorithm to Compute the Mixed Moments of the Multivariate Normal Distributions | 2022-02-20 | Paper |
| Automated Counting and Statistical Analysis of Labeled Trees with Degree Restrictions | 2022-01-18 | Paper |
| Automating John P. D'Angelo's method to study Complete Polynomial Sequences | 2021-11-04 | Paper |
| An Experimental (yet fully rigorous!) Study of a certain "Measure Of Disarray" that 12-year Noga Alon Proved was always Even | 2021-09-28 | Paper |
| Experimenting with Apery Limits and WZ pairs | 2021-09-11 | Paper |
| Automatic Generation of Convolution Identities for C-finite sequences | 2021-08-05 | Paper |
| Automatic discovery of irrationality proofs and irrationality measures | 2021-06-03 | Paper |
| Two definite integrals that are definitely (and surprisingly!) equal | 2021-04-20 | Paper |
| Some Deep and Original Questions about the "critical exponents" of Generalized Ballot Sequences | 2021-04-04 | Paper |
| 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-1 | 2021-03-23 | Paper |
| Automated Generation of Generating Functions Related to Generalized Stern's Diatomic Arrays in the footsteps of Richard Stanley | 2021-03-23 | Paper |
| A multi-computational exploration of some games of pure chance | 2021-02-18 | Paper |
| Systematic Counting of Restricted Partitions | 2021-02-05 | Paper |
| Untying the Gordian Knot via Experimental Mathematics | 2021-01-12 | Paper |
| Two Quick Proofs of a Catalan Lemma Needed by Lisa Sauermann and Yuval Wigderson | 2020-11-15 | Paper |
| Polynomial reduction and supercongruences | 2020-11-13 | Paper |
| The irrationality measure of \(\pi\) is at most 7.103205334137\dots | 2020-11-10 | Paper |
| Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan | 2020-07-30 | Paper |
| Counting Standard Young Tableaux With Restricted Runs | 2020-06-17 | Paper |
| Automatic Counting of Restricted Dyck Paths via (Numeric and Symbolic) Dynamic Programming | 2020-06-02 | Paper |
| Boolean Function Analogs of Covering Systems | 2020-05-04 | Paper |
| Increasing consecutive patterns in words | 2020-03-06 | Paper |
| D.H. Lehmer's tridiagonal determinant: an étude in (Andrews-inspired) experimental mathematics | 2020-02-20 | Paper |
| On the maximal minimal cube lengths in distinct DNF tautologies | 2020-01-21 | Paper |
| The Absent-Minded Passengers Problem via Computer Algebra | 2020-01-19 | Paper |
| An experimental mathematics approach to the area statistic of parking functions | 2019-07-26 | Paper |
| Using Symbolic Computation to analyze some Children's Board Games | 2019-07-18 | Paper |
| Polynomial Reduction and Super Congruences | 2019-07-16 | Paper |
| On The Limiting Distributions of the Total Height On Families of Trees | 2019-06-21 | Paper |
| On the Average Maximal Number of Balls in a Bin Resulting from Throwing r Balls into n Bins T times | 2019-05-19 | Paper |
| Some Remarks on a recent article by J. -P. Allouche | 2019-03-22 | Paper |
| A simple rederivation of Onsager's solution of the 2D Ising model using experimental mathematics | 2019-03-12 | Paper |
| A Detailed Analysis of Quicksort Running Time | 2019-03-08 | Paper |
| Answers to Some Questions about Explicit Sinkhorn Limits posed by Mel Nathanson | 2019-02-27 | Paper |
| A combinatorial-probabilistic analysis of bitcoin attacks | 2019-02-26 | Paper |
| Factorization of $C$-finite sequences | 2019-01-29 | Paper |
| 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-23 | Paper |
| The "Monkey Typing Shakespeare" Problem for Compositions | 2019-01-13 | Paper |
| Untying The Gordian Knot via Experimental Mathematics | 2018-12-18 | Paper |
| Two Questions about the Fractional Counting of Partitions | 2018-10-30 | Paper |
| Using the “Freshman′s Dream” to Prove Combinatorial Congruences | 2018-07-13 | Paper |
| Integrals involving Rudin-Shapiro polynomials and sketch of a proof of Saffari's conjecture | 2018-06-21 | Paper |
| How Many Rounds Should You Expect in Urn Solitaire? | 2018-01-04 | Paper |
| On the Intriguing Problem of Counting (n+1,n+2)-Core Partitions into Odd Parts | 2017-12-28 | Paper |
| Explicit expressions for the expectation, variance and higher moments of the size of a (2n + 1, 2n + 3)-core partition with distinct parts | 2017-12-01 | Paper |
| A Treatise on Sucker's Bets | 2017-10-27 | Paper |
| Analysis of the gift exchange problem | 2017-07-26 | Paper |
| Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar | 2017-07-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2988094 | 2017-05-18 | Paper |
| Counting Permutations that Avoid Many Patterns | 2017-03-07 | Paper |
| Explicit (Polynomial!) Expressions for the Expectation, Variance and Higher Moments of the Size of a (2n + 1, 2n + 3)-core partition with Distinct Parts | 2016-11-17 | Paper |
| Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences | 2016-09-18 | Paper |
| Automated discovery and proof of congruence theorems for partial sums of combinatorial sequences | 2016-08-25 | Paper |
| Going Back to Neil Sloane's FIRST LOVE (OEIS Sequence A435): On the Total Heights in Rooted Labeled Trees | 2016-07-19 | Paper |
| Surprising relations between sums-of-squares of characters of the symmetric group over two-rowed shapes and over hook shapes | 2016-07-11 | Paper |
| 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-06 | Paper |
| Herbert S. Wilf (1931–2012) | 2016-06-15 | Paper |
| The (ordinary) generating functions enumerating \(123\)-avoiding words with \(r\) occurrences of each of \(1, 2, \dots, n\) are always algebraic | 2016-06-13 | Paper |
| On the number of Singular Vector Tuples of Hyper-Cubical Tensors | 2016-04-30 | Paper |
| Identities in character tables ofSn | 2016-04-29 | Paper |
| Doron Gepner's Statistics on Words in {1,2,3} is (most probably) Asymptotically Logistic | 2016-04-03 | Paper |
| The C-finite Ansatz Meets the Holonomic Ansatz | 2015-12-21 | Paper |
| Computerizing the Andrews-Fraenkel-Sellers Proofs on the Number of m-ary partitions mod m (and doing MUCH more!) | 2015-11-20 | Paper |
| Searching for Disjoint Covering Systems with Precisely One Repeated Modulus | 2015-11-13 | Paper |
| The Reciprocal of ∑_{𝑛≥0}𝑎ⁿ𝑏ⁿ for non-commuting 𝑎 and 𝑏, Catalan numbers and non-commutative quadratic equations | 2015-09-24 | Paper |
| Explicit Expressions for the Variance and Higher Moments of the Size of a Simultaneous Core Partition and its Limiting Distribution | 2015-08-30 | Paper |
| Wilf's "Snake Oil" Method Proves an Identity in The Motzkin Triangle | 2015-07-28 | Paper |
| Towards a Symbolic Computational Philosophy (and Methodology!) for Mathematics | 2015-07-08 | Paper |
| On the asymptotic statistics of the number of occurrences of multiple permutation patterns | 2015-05-20 | Paper |
| The number of 1...d-avoiding permutations of length d+r for SYMBOLIC d but numeric r | 2015-04-09 | Paper |
| Odd-Rule Cellular Automata on the Square Grid | 2015-03-13 | Paper |
| A Very Short (Bijective!) Proof of Touchard's Catalan Identity | 2015-03-13 | Paper |
| A Meta-Algorithm for Creating Fast Algorithms for Counting ON Cells in Odd-Rule Cellular Automata | 2015-03-05 | Paper |
| Farewell to "W" (Herbert Saul Wilf), a true VISIONARY for whom EVERYTHING was INTERTWINED | 2015-02-26 | Paper |
| The Method(!) of "Guess and Check" | 2015-02-15 | Paper |
| An Empirical Method for Solving (rigorously!) Algebraic Functional Equations Of the Form F(P(x,t), P(x,1),x,t)=0 | 2014-12-29 | Paper |
| 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 r | 2014-12-05 | Paper |
| A Short Proof of McDougall’s Circle Theorem | 2014-11-10 | Paper |
| A Quick Empirical Reproof of the Asymptotic Normality of the Hirsch Citation Index (First proved by Canfield, Corteel, and Savage) | 2014-10-31 | Paper |
| Automatic enumeration of generalized Ménage numbers | 2014-08-28 | Paper |
| Automatic counting of tilings of skinny plane regions | 2014-08-12 | Paper |
| A case study in meta-automation: automatic generation of congruence automata for combinatorial sequences | 2014-07-18 | Paper |
| 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-10 | Paper |
| 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-07 | Paper |
| How to generate as many Somos-like miracles as you wish† | 2014-06-19 | Paper |
| Enumerative Geometrical Genealogy (Or: The Sex Life of Points and Lines) | 2014-06-19 | Paper |
| Searching for Apery-Style Miracles [Using, Inter-Alia, the Amazing Almkvist-Zeilberger Algorithm] | 2014-05-17 | Paper |
| Automatic Proofs of Asymptotic ABNORMALITY (and much more!) of Natural Statistics Defined on Catalan-Counted Combinatorial Families | 2014-03-22 | Paper |
| An Explicit Conjectured Determinant Evaluation Whose Proof Would Make Me Happy (and the OEIS richer) | 2014-01-07 | Paper |
| Zeroless arithmetic: representing integers ONLY using ONE | 2013-12-27 | Paper |
| Automatic Generation of Theorems and Proofs on Enumerating Consecutive-Wilf Classes | 2013-09-04 | Paper |
| Balls in Boxes: Variations on a Theme of Warren Ewens and Herbert Wilf | 2013-09-04 | Paper |
| 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 Product | 2013-08-13 | Paper |
| Generalizing and Implementing Michael Hirschhorn's Amazing Algorithm for Proving Ramanujan-Type Congruences | 2013-06-27 | Paper |
| The \(C\)-finite ansatz | 2013-06-26 | Paper |
| How to gamble if you're in a hurry | 2013-04-22 | Paper |
| Rademacher's infinite partial fraction conjecture is (almost certainly) false | 2013-04-22 | Paper |
| A Short Proof of a Ptolemy-Like Relation for an Even number of Points on a Circle Discovered by Jane McDougall | 2013-04-16 | Paper |
| The Discrete Analog of the Malgrange–Ehrenpreis Theorem | 2013-04-04 | Paper |
| On Euler's "Misleading Induction", Andrews' "Fix", and How to Fully Automate them | 2013-04-03 | Paper |
| Using Noonan-Zeilberger functional equations to enumerate (in polynomial time!) generalized Wilf classes | 2013-03-06 | Paper |
| Proof of George Andrews’s and David Robbins’s q -TSPP conjecture | 2013-02-02 | Paper |
| A new algorithm for proving global asymptotic stability of rational difference equations | 2013-01-04 | Paper |
| Automated Counting of Towers (\`A La Bordelaise) [Or: Footnote to p. 81 of the Flajolet-Sedgewick Chef-d'{\oe}vre] | 2012-12-17 | Paper |
| Pick Up Sticks | 2012-10-20 | Paper |
| Some Nice Sums are Almost as Nice if you turn them Upside Down | 2012-08-26 | Paper |
| The Amazing $3^n$ Theorem and its even more Amazing Proof [Discovered by Xavier G. Viennot and his \'Ecole Bordelaise gang] | 2012-08-10 | Paper |
| Corrigendum to ``The Mahonian probability distribution on words is asymptotically normal | 2012-07-04 | Paper |
| Formulæ for the number of partitions of \(n\) into at most \(m\) parts (using the quasi-polynomial ansatz) | 2012-06-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2883417 | 2012-05-10 | Paper |
| Toward a language theoretic proof of the four color theorem | 2012-03-29 | Paper |
| Computational and Theoretical Challenges on Counting Solid Standard Young Tableaux | 2012-02-28 | Paper |
| A translation method for finding combinatorial bijections | 2012-01-24 | Paper |
| Using GENERATINGFUNCTIONOLOGY to Enumerate Distinct-Multiplicity Partitions | 2012-01-19 | Paper |
| Automatic Solution of Richard Stanley's Amer. Math. Monthly Problem #11610 and ANY Problem of That Type | 2011-12-28 | Paper |
| The 1958 Pekeris-Accad-WEIZAC ground-breaking collaboration that computed ground states of two-electron atoms (and its 2010 redux) | 2011-10-25 | Paper |
| 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-19 | Paper |
| The computational challenge of enumerating high-dimensional rook walks | 2011-10-11 | Paper |
| The Mahonian probability distribution on words is asymptotically normal | 2011-05-17 | Paper |
| Teaching the computer how to discover(!) and then prove(!!) (all by itself(!!!)) analogues of Collatz's notorious 3x + 1 conjecture | 2011-05-06 | Paper |
| Automatic Generation of Generating Functions for Chromatic Polynomials for Grid Graphs (and more general creatures) of Fixed (but arbitrary!) Width | 2011-03-31 | Paper |
| Proof of Ira Gessel's lattice path conjecture | 2011-01-24 | Paper |
| An Experimental Mathematics Perspective on the Old, and still Open, Question of When To Stop? | 2011-01-03 | Paper |
| Finite Analogs of Szemer\'edi's Theorem | 2011-01-03 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3588135 | 2010-09-10 | Paper |
| HISTABRUT: A Maple Package for Symbol-Crunching in Probability theory | 2010-08-24 | Paper |
| The Number of Inversions and the Major Index of Permutations are Asymptotically Joint-Independently Normal | 2010-04-07 | Paper |
| A symbolic computation approach to a problem involving multivariate Poisson distributions | 2010-04-01 | Paper |
| ${5\choose 2}$ Proofs that ${n\choose k} \leq {n\choose {k+1}}$ if $k<n/2$ | 2010-03-05 | Paper |
| Bijections for an identity of Young Tableaux | 2010-02-22 | Paper |
| The Automatic Central Limit Theorems Generator (and Much More!) | 2010-01-13 | Paper |
| A Eulogy for Jack Good | 2009-12-02 | Paper |
| In How Many Ways Can You Reassemble Several Russian Dolls? | 2009-09-18 | Paper |
| A Multi-Set Identity for Partitions | 2009-09-18 | Paper |
| Commutation relations and Vandermonde determinants | 2009-06-17 | Paper |
| Searching for Strange Hypergeometric Identities By Sheer Brute Force | 2009-05-26 | Paper |
| Efficient counting and asymptotics of \(k\)-noncrossing tangled diagrams | 2009-04-07 | Paper |
| On the number of walks on a regular Cayley tree | 2009-03-10 | Paper |
| Two Dimensional Directed Lattice Walks with Boundaries | 2009-02-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3602581 | 2009-02-12 | Paper |
| A symbolic finite-state approach for automated proving of theorems in combinatorial game theory | 2009-02-05 | Paper |
| Experiments with a Positivity-Preserving Operator | 2009-01-29 | Paper |
| A bijectional attack on the Razumov-Stroganov conjecture | 2008-12-02 | Paper |
| The quasi-holonomic ansatz and restricted lattice walks | 2008-11-05 | Paper |
| A Proof of George Andrews' and Dave Robbins' q-TSPP Conjecture (modulo a finite amount of routine calculations) | 2008-08-05 | Paper |
| Using Rota's Umbral calculus to enumerate Stanley's \(P\)-partitions | 2008-06-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5387697 | 2008-05-27 | Paper |
| The quantum MacMahon Master Theorem | 2008-05-07 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5448316 | 2008-03-20 | Paper |
| Sharp upper bounds for the orders of the recurrences output by the Zeilberger and \(q\)-Zeilberger algorithms | 2007-10-19 | Paper |
| The holonomic ansatz. I: Foundations and applications to lattice path counting | 2007-10-11 | Paper |
| The holonomic ansatz. II: Automatic discovery(!) and proof(!!) of holonomic determinant evaluations | 2007-10-11 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5754512 | 2007-08-22 | Paper |
| Disturbing the Dyson Conjecture (in a GOOD Way) | 2007-03-27 | Paper |
| 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-12 | Paper |
| Multi-variable Zeilberger and Almkvist-Zeilberger algorithms and the sharpening of Wilf-Zeilberger theory | 2007-01-26 | Paper |
| A proof of Andrews' \(q\)-Dyson conjecture. (Reprint) | 2006-08-04 | Paper |
| A fast algorithm for proving terminating hypergeometric identities. (Reprint) | 2006-08-04 | Paper |
| The collector's brotherhood problem using the Newman-Shepp symbolic method | 2006-07-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3377496 | 2006-03-23 | Paper |
| Deconstructing the Zeilberger algorithm† | 2005-09-21 | Paper |
| A Proof of the Loehr-Warrington Amazing TEN to the Power n Conjecture | 2005-09-15 | Paper |
| Dave Robbins' art of guessing | 2005-08-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4664411 | 2005-04-05 | Paper |
| Chomp, Recurrences and Chaos(?) | 2005-03-18 | Paper |
| Symbolic moment calculus. I: Foundations and permutation pattern statistics | 2005-01-03 | Paper |
| The Markov-WZ method | 2004-10-13 | Paper |
| On Frankel's \(N\)-heap Wythoff's conjectures | 2004-09-27 | Paper |
| Liebe Opa Paul, ich bin auch ein experimental scientist! | 2003-12-03 | Paper |
| Theorems for a price: Tomorrow's semi-rigorous mathematical culture | 2003-09-15 | Paper |
| Computerized deconstruction. | 2003-09-15 | Paper |
| Refined restricted permutations | 2003-08-14 | Paper |
| Babson-Steingrímsson statistics are indeed Mahonian (and sometimes even Euler-Mahonian) | 2002-10-10 | Paper |
| Determinants through the looking glass | 2002-06-16 | Paper |
| Classical combinatorics: Special issue in honor of Dominique Foata | 2002-06-06 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2778469 | 2002-04-02 | Paper |
| Three-rowed CHOMP | 2002-01-29 | Paper |
| Linearization coefficients for the Jacobi polynomials | 2002-01-07 | Paper |
| The umbral transfer-matrix method. III: Counting animals | 2001-12-10 | Paper |
| On elementary methods in positivity theory | 2001-11-08 | Paper |
| Three recitations on holonomic systems and hypergeometric series | 2001-11-08 | Paper |
| Combinatorial proofs of Capelli's and Turnbull's identities from classical invariant theory | 2001-11-07 | Paper |
| A combinatorial interpretation of the integral of the product of Legendre polynomials | 2001-11-05 | Paper |
| How Berger, Felzenbaum and Fraenkel revolutionized Covering Systems the same way that George Boole revolutionized Logic | 2001-10-16 | Paper |
| The umbral transfer-matrix method. IV: Counting self-avoiding polygons and walks | 2001-08-29 | Paper |
| The umbral transfer-matrix method. I: Foundations | 2001-05-28 | Paper |
| The Goulden-Jackson cluster method for cyclic words | 2000-11-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4500968 | 2000-09-25 | Paper |
| Proof of a conjecture of Chan, Robbins, and Yuen | 2000-07-24 | Paper |
| Towards a WZ Evolution of the Mehta Integral | 2000-04-10 | Paper |
| Automated counting of lego towers | 2000-02-23 | Paper |
| Permutation patterns and continued fractions | 2000-01-16 | Paper |
| The Goulden—Jackson cluster method: extensions, applications and implementations | 1999-12-02 | Paper |
| Proof of a conjecture on multisets of hook numbers | 1999-12-01 | Paper |
| Enumeration schemes and, more importantly, their automatic generation | 1999-09-30 | Paper |
| Weighted derangements and Laguerre polynomials | 1999-06-24 | Paper |
| A Combinatorial Proof of Bass’s Evaluations of the Ihara-Selberg Zeta Function for Graphs | 1999-05-19 | Paper |
| A pentagonal number sieve | 1999-04-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4233477 | 1999-03-18 | Paper |
| \(q\)-Apéry irrationality proofs by \(q\)-WZ pairs | 1999-01-21 | Paper |
| Curing the andrews syndrome | 1998-12-15 | Paper |
| How much should a 19th-century French Bastard inherit | 1998-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4320811 | 1998-09-13 | Paper |
| Proof of a determinant evaluation conjectured by Bombieri, Hunt and van Poorten | 1998-04-16 | Paper |
| A 2-coloring of \([1, N\) can have \((1/22) N^2+O(N)\) monochromatic Schur triples, but not less] | 1998-04-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4353157 | 1998-04-01 | Paper |
| A binomial coefficient identity associated to a conjecture of Beukers | 1998-02-18 | Paper |
| Hypergeometric series acceleration via the WZ method | 1998-02-15 | Paper |
| Dodgon's determinant-evaluation rule proved by TWO-TIMING MEN and WOMEN | 1998-02-15 | Paper |
| Proof of Conway’s lost cosmological theorem | 1998-01-22 | Paper |
| How To Do Monthly Problems With Your Computer | 1997-12-16 | Paper |
| A classic proof of a recurrence for a very classical sequence | 1997-12-02 | Paper |
| The abstract lace expansion | 1997-11-19 | Paper |
| Proof of the refined alternating sign matrix conjecture | 1997-11-11 | Paper |
| The enumeration of permutations with a prescribed number of ``forbidden patterns | 1997-05-06 | Paper |
| The Method of Undetermined Generalization and Specialization | 1997-04-07 | Paper |
| Self-avoiding walks, the language of science, and Fibonacci numbers | 1997-03-11 | Paper |
| Reverend Charles to the Aid of Major Percy and Fields Medalist Enrico | 1997-02-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873577 | 1996-11-07 | Paper |
| Graphical major indices | 1996-10-13 | Paper |
| The number of solutions of \(X^ 2 = 0\) in triangular matrices over \(GF(q)\) | 1996-07-21 | Paper |
| Proof of the alternating sign matrix conjecture | 1996-07-21 | Paper |
| How Joe Gillis discovered combinatorial special function theory | 1996-06-19 | Paper |
| The J.C.P. miller recurrence for exponentiating a polynomial, and its q- analog | 1996-05-30 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4875364 | 1996-04-29 | Paper |
| A computer algebra approach to the discrete Dirichlet problem | 1996-03-11 | Paper |
| Chu's 1303 Identity Implies Bombieri's 1990 Norm-Inequality (Via an Identity of Beauzamy and Degot) | 1995-07-12 | Paper |
| Proof of a \(q\)-analog of a constant term identity conjectured by Forrester | 1995-03-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3139680 | 1995-03-05 | Paper |
| Talmudic lattice path counting | 1994-11-22 | Paper |
| A constant term identity featuring the ubiquitous (and mysterious) Andrews-Mills-Robbins-Rumsey numbers \(1, 2, 7, 42, 429, \dots\) | 1994-07-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3139681 | 1994-06-28 | Paper |
| On an Identity of Daubechies | 1994-05-05 | Paper |
| Identities in search of identity | 1994-03-10 | Paper |
| A Generalization of Odlyzko's Conjecture: the Coefficients of (1 - q) j / ((1 - q 2n ) ⋯(1 - q 2n+2j )) Alternate in Sign | 1993-09-01 | Paper |
| A Short Proof of Jacobi's Formula for the Number of Representations of an Integer as a Sum of Four Squares | 1993-06-29 | Paper |
| Gauss's \(_ 2F_ 1(1)\) cannot be generalized to \(_ 2F_ 1(x)\) | 1993-01-16 | Paper |
| Rational function certification of multisum/integral/“𝑞” identities | 1993-01-16 | Paper |
| 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-27 | Paper |
| Random Walk in a Weyl Chamber | 1992-09-27 | Paper |
| Multibasic Eulerian Polynomials | 1992-06-27 | Paper |
| A holonomic systems approach to special functions identities | 1992-06-25 | Paper |
| The method of creative telescoping | 1992-06-25 | Paper |
| Denert's Permutation Statistic Is Indeed Euler‐Mahonian | 1992-06-25 | Paper |
| An algorithmic proof theory for hypergeometric (ordinary and ``\(q\)) multisum/integral identities | 1992-01-01 | Paper |
| Necessary conditions for distinct covering systems with square-free moduli | 1991-01-01 | Paper |
| Towards computerized proofs of identities | 1990-01-01 | Paper |
| A Stembridge-Stanton style elementary proof of the Habsieger-Kadell q- Morris identity | 1990-01-01 | Paper |
| A 21st century proof of Dougall's hypergeometric sum identity | 1990-01-01 | Paper |
| The method of differentiating under the integral sign | 1990-01-01 | Paper |
| A fast algorithm for proving terminating hypergeometric identities | 1990-01-01 | Paper |
| A bijection from ordered trees to binary trees that sends the pruning order to the Strahler number | 1990-01-01 | Paper |
| Rational Functions Certify Combinatorial Identities | 1990-01-01 | Paper |
| Kathy O'Hara's Constructive Proof of the Unimodality of the Gaussian Polynomials | 1989-01-01 | Paper |
| How likely is Polya's drunkard to stay in \(x\geq y\geq z\)? | 1989-01-01 | Paper |
| Generalized Rogers-Ramanujan bijections | 1989-01-01 | Paper |
| The Odlyzko Conjecture and O'Hara's Unimodality Proof | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3348913 | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3480042 | 1989-01-01 | Paper |
| On a Conjecture of R. J. Simpson About Exact Covering Congruences | 1989-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3835456 | 1989-01-01 | Paper |
| Six etudes in generating functions | 1989-01-01 | Paper |
| A Unified Approach to Macdonald’s Root-System Conjectures | 1988-01-01 | Paper |
| A Combinatorial Interpretation of the Integral of the Product of Legendre Polynomials | 1988-01-01 | Paper |
| Laguerre Polynomials, Weighted Derangements, and Positivity | 1988-01-01 | Paper |
| A \(q\)-Foata proof of the \(q\)-Saalschütz identity | 1987-01-01 | Paper |
| Enumerating totally clean words | 1987-01-01 | Paper |
| A Proof of the $G_2 $ Case of Macdonald’s Root System-Dyson Conjecture | 1987-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3788014 | 1987-01-01 | Paper |
| A bijective proof of Cassini's Fibonacci identity | 1986-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3758831 | 1986-01-01 | Paper |
| Some asymptotic bijections | 1985-01-01 | Paper |
| A proof of Andrews' \(q\)-Dyson conjecture | 1985-01-01 | Paper |
| Resurrecting the asymptotics of linear recurrences | 1985-01-01 | Paper |
| A combinatorial approach to matrix algebra | 1985-01-01 | Paper |
| Bijecting Euler's Partitions-Recurrence | 1985-01-01 | Paper |
| A combinatorial proof of Newton's identities | 1984-01-01 | Paper |
| Garsia and Milne's bijective proof of the inclusion-exclusion principle | 1984-01-01 | Paper |
| A short Hook-lengths bijection inspired by the Greene-Nijenhuis-Wilf proof | 1984-01-01 | Paper |
| A direct combinatorial proof of a positivity result | 1983-01-01 | Paper |
| Andre's reflection proof generalized to the many-candidate ballot problem | 1983-01-01 | Paper |
| On Elementary Methods in Positivity Theory | 1983-01-01 | Paper |
| A short Rogers-Ramanujan bijection | 1982-01-01 | Paper |
| Sister Celine's technique and its generalizations | 1982-01-01 | Paper |
| A combinatorial proof of Dyson's conjecture | 1982-01-01 | Paper |
| A Markov chain occurring in enzyme kinetics | 1982-01-01 | Paper |
| T. L. Hill's graphical method for solving linear equations | 1982-01-01 | Paper |
| A bijective proof of the hook-length formula | 1982-01-01 | Paper |
| Enumeration of words by their number of mistakes | 1981-01-01 | Paper |
| All binomial identities are verifiable | 1981-01-01 | Paper |
| A lattice walk approach to the inv and maj q-counting of multiset permutations | 1980-01-01 | Paper |
| Partial difference equations in \(m_1\geq m_2\geq \dots \geq m_n\geq 0\) and their applications to combinatorics | 1980-01-01 | Paper |
| Some comments on Rota's umbral calculus | 1980-01-01 | Paper |
| The Algebra of Linear Partial Difference Operators and Its Applications | 1980-01-01 | Paper |
| Solutions of exponential growth to systems of partial differential equations | 1979-01-01 | Paper |
| A New Proof to Ehrenpreis's Semilocal Quotient Structure Theorem | 1978-01-01 | Paper |
| Pompeiu's problem on discrete space | 1978-01-01 | Paper |
| A new approach to the theory of discrete analytic functions | 1977-01-01 | Paper |
| Further properties of discrete analytic functions | 1977-01-01 | Paper |
| Discrete Analytic Functions of Exponential Growth | 1977-01-01 | Paper |
| Uniqueness Theorems for Harmonic Functions of Exponential Growth | 1977-01-01 | Paper |
| Binary Operations in the Set of Solutions of a Partial Difference Equation | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4135638 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4157405 | 1977-01-01 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4182992 | 1977-01-01 | Paper |
| Combinatorial proofs of Capelli's and Turnbull's identities from classical invariant theory | 0001-01-03 | Paper |
| Three recitations on holonomic systems and hypergeometric series | 0001-01-03 | Paper |
| WITHDRAWN: Plane Geometry: An Elementary School Textbook (ca. 2050) | 0001-01-03 | Paper |
| A Heterosexual Mehler Formula for the Straight Hermite Polynomials (A La Foata) | 0001-01-03 | Paper |
| There are More Than 2**(n/17) n-Letter Ternary Square-Free Words | 0001-01-03 | Paper |
| The Combinatorial Astrology of Rabbi Abraham Ibn Ezra | 0001-01-03 | Paper |
| WZ Theory, Chapter II | 0001-01-03 | Paper |
| WITHDRAWN: The Number of Permutations With A Prescribed Number of 132 and 123 Patterns | 0001-01-03 | Paper |
| A High-School Algebra and high-school (purely formal) calculus,. Wallet-Sized Proof, of the Bieberbach Conjecture [after L. Weinstein] | 0001-01-03 | Paper |
| The Method of Undetermined Generalization and Specialization Illustrated with Fred Galvin's Amazing Proof of the Dinitz Conjecture | 0001-01-03 | Paper |
| Aufgabe VII.47 of Polya-Szego Implies Robbins's Multi-Integral Evaluation | 0001-01-03 | Paper |
| Counting Clean Words According to the Number of Their Clean Neighbors | 0001-01-03 | Paper |
| Lots and Lots of Perrin-Type Primality Tests and Their Pseudo-Primes | 0001-01-03 | Paper |
| A Guide to the Risk-Averse Gambler and Resolving the St. Petersburg Paradox Once and For All | 0001-01-03 | Paper |
| Enumerating Seating Arrangements that Obey Social Distancing | 0001-01-03 | Paper |
| The Jackson-Richmond 4CT Constant is EXACTLY 10/27 | 0001-01-03 | Paper |
| Efficient Evaluations of Weighted Sums over the Boolean Lattice inspired by conjectures of Berti, Corsi, Maspero, and Ventura | 0001-01-03 | Paper |
