| 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 |
| Explicit Expressions for Moments of the Duration of a 3-Player Gambler's Ruin | 2023-09-15 | 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 |
| 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 |
| On Invariance Properties of Entries of Matrix Powers | 2022-06-23 | Paper |
| Using the Jacobi-Trudi formula to compute Stirling determinants | 2022-06-18 | 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 |
| Automatic Generation of Convolution Identities for C-finite sequences | 2021-08-05 | Paper |
| A One-Line Proof of Leversha's "Quartet of Isogonal Conjugates" Theorem | 2021-04-28 | 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 |
| Two Quick Proofs of a Catalan Lemma Needed by Lisa Sauermann and Yuval Wigderson | 2020-11-15 | Paper |
| Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan | 2020-07-30 | Paper |
| Automatic Counting of Restricted Dyck Paths via (Numeric and Symbolic) Dynamic Programming | 2020-06-02 | Paper |
| D.H. Lehmer's tridiagonal determinant: an étude in (Andrews-inspired) experimental mathematics | 2020-02-20 | Paper |
| The Absent-Minded Passengers Problem via Computer Algebra | 2020-01-19 | Paper |
| Using Symbolic Computation to analyze some Children's Board Games | 2019-07-18 | Paper |
| Some Remarks on a recent article by J. -P. Allouche | 2019-03-22 | 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 |
| 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 |
| 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 |
| A Treatise on Sucker's Bets | 2017-10-27 | Paper |
| Automated Generation of Anomalous Cancellations | 2017-09-04 | Paper |
| Automated Proofs of Many Conjectured Recurrences in the OEIS made by R.J. Mathar | 2017-07-14 | Paper |
| Automated Proof (or Disproof) of Linear Recurrences Satisfied by Pisot Sequences | 2016-09-18 | Paper |
| Going Back to Neil Sloane's FIRST LOVE (OEIS Sequence A435): On the Total Heights in Rooted Labeled Trees | 2016-07-19 | Paper |
| On the number of Singular Vector Tuples of Hyper-Cubical Tensors | 2016-04-30 | 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 |
| Explicit Expressions for the Variance and Higher Moments of the Size of a Simultaneous Core Partition and its Limiting Distribution | 2015-08-30 | 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 Meta-Algorithm for Creating Fast Algorithms for Counting ON Cells in Odd-Rule Cellular Automata | 2015-03-05 | Paper |
| The Method(!) of "Guess and Check" | 2015-02-15 | 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 Quick Empirical Reproof of the Asymptotic Normality of the Hirsch Citation Index (First proved by Canfield, Corteel, and Savage) | 2014-10-31 | Paper |
| Automatic counting of tilings of skinny plane regions | 2014-08-12 | 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 |
| 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 |
| How to gamble if you're in a hurry | 2013-04-22 | Paper |
| On Euler's "Misleading Induction", Andrews' "Fix", and How to Fully Automate them | 2013-04-03 | 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 |
| Computational and Theoretical Challenges on Counting Solid Standard Young Tableaux | 2012-02-28 | Paper |
| A Maple One-Line Proof of George Andrews's Formula that Says that the Number of Triangles with Integer Sides Whose Perimeter is n Equals {$n^2/12$} -[n/4[(n+2)/4]] | 2012-02-06 | Paper |
| Automatic Solution of Richard Stanley's Amer. Math. Monthly Problem #11610 and ANY Problem of That Type | 2011-12-28 | Paper |
| The Binomial Theorem for (N + n)^r (where Nf(n)=f(n+1)) | 2011-12-11 | Paper |
| The Number of Same-Sex Marriages in a Perfectly Bisexual Population is Asymptotically Normal | 2011-06-28 | 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 |
| The Sagan-Savage Lucas-Catalan Polynomials Have Positive Coefficients | 2011-01-20 | Paper |
| Play time with determinants | 2010-10-19 | Paper |
| Refined Asymptotics and Explicit Recurrences for the numbers of Young tableaux in the (k,l) hook for k+l less than six | 2010-07-29 | Paper |
| A Note on the Stanley Distribution | 2010-01-21 | Paper |
| Using Rota's Umbral calculus to enumerate Stanley's \(P\)-partitions | 2008-06-26 | Paper |
| A Proof of the Loehr-Warrington Amazing TEN to the Power n Conjecture | 2005-09-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4430611 | 2003-10-12 | Paper |
| Plane geometry: An elementary school textbook (ca. 2050 AD). | 2001-11-18 | Paper |
| Examples of noninjectivity for the combinatorial radon transform | 2000-04-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4233477 | 1999-03-18 | Paper |
| Curing the andrews syndrome | 1998-12-15 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4320811 | 1998-09-13 | Paper |
| A binomial coefficient identity associated to a conjecture of Beukers | 1998-02-18 | Paper |
| Proof of Conway’s lost cosmological theorem | 1998-01-22 | Paper |
| A condensed condensation proof of a determinant evaluation conjectured by Greg Kuperberg and Jim Propp | 1997-11-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4873577 | 1996-11-07 | Paper |
| The number of solutions of \(X^ 2 = 0\) in triangular matrices over \(GF(q)\) | 1996-07-21 | Paper |
| A short WZ-style proof of Abel's identity | 1996-07-21 | Paper |
| A short, elementary, and easy, WZ proof of the Askey-Gasper inequality that was used by de Branges in his proof of the Bieberbach conjecture | 1993-12-06 | 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 |
| A WZ-style proof of Jacobi polynomials' generating function | 1993-05-16 | Paper |
| A short proof of a `strange' combinatorial identity conjectured by Gosper | 1992-06-26 | Paper |
| A one-line proof of the Habsieger-Zeilberger \(G_ 2\) constant term identity | 1992-06-25 | Paper |
| A 21st century proof of Dougall's hypergeometric sum identity | 1990-01-01 | Paper |
| A purely verification proof of the first Rogers-Ramanujan identity | 1990-01-01 | Paper |
| A very short proof of Dixon's theorem | 1990-01-01 | Paper |
| Short Proofs of Two Hypergeometric Summation Formulas of Karlsson | 1989-01-01 | Paper |
