| Publication | Date of Publication | Type |
|---|
Experimenting with standard Young tableaux
Mathematics in Computer Science | 2024-09-30 | Paper |
| 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]
Enumerative Combinatorics and Applications | 2022-12-12 | Paper |
Invariance properties of matrix powers
(available as arXiv preprint) | 2022-06-23 | Paper |
| Invariance properties 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
The Mathematical Intelligencer | 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
Annals of Combinatorics | 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
(available as arXiv preprint) | 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
Surveys in Combinatorics 2013 | 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†
Journal of Difference Equations and Applications | 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
Advances in Combinatorics | 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
Journal of Difference Equations and Applications | 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
Advances in Applied Mathematics | 2008-06-26 | Paper |
| A Proof of the Loehr-Warrington Amazing TEN to the Power n Conjecture | 2005-09-15 | Paper |
| scientific article; zbMATH DE number 1989995 (Why is no real title available?) | 2003-10-12 | Paper |
Plane geometry: An elementary school textbook (ca. 2050 AD).
The Mathematical Intelligencer | 2001-11-18 | Paper |
Examples of noninjectivity for the combinatorial radon transform
Journal of Difference Equations and Applications | 2000-04-04 | Paper |
| scientific article; zbMATH DE number 1264511 (Why is no real title available?) | 1999-03-18 | Paper |
Curing the andrews syndrome
Journal of Difference Equations and Applications | 1998-12-15 | Paper |
scientific article; zbMATH DE number 718854 (Why is no real title available?)
(available as arXiv preprint) | 1998-09-13 | Paper |
A binomial coefficient identity associated to a conjecture of Beukers
The Electronic Journal of Combinatorics | 1998-02-18 | Paper |
A binomial coefficient identity associated to a conjecture of Beukers
The Electronic Journal of Combinatorics | 1998-02-18 | Paper |
A binomial coefficient identity associated to a conjecture of Beukers
The Electronic Journal of Combinatorics | 1998-02-18 | Paper |
Proof of Conway’s lost cosmological theorem
Electronic Research Announcements of the American Mathematical Society | 1998-01-22 | Paper |
Proof of Conway’s lost cosmological theorem
Electronic Research Announcements of the American Mathematical Society | 1998-01-22 | Paper |
A condensed condensation proof of a determinant evaluation conjectured by Greg Kuperberg and Jim Propp
Journal of Combinatorial Theory. Series A | 1997-11-04 | Paper |
scientific article; zbMATH DE number 866549 (Why is no real title available?)
(available as arXiv preprint) | 1996-11-07 | Paper |
The number of solutions of \(X^ 2 = 0\) in triangular matrices over \(GF(q)\)
The Electronic Journal of Combinatorics | 1996-07-21 | Paper |
The number of solutions of \(X^ 2 = 0\) in triangular matrices over \(GF(q)\)
The Electronic Journal of Combinatorics | 1996-07-21 | Paper |
A short WZ-style proof of Abel's identity
The Electronic Journal of Combinatorics | 1996-07-21 | Paper |
A short WZ-style proof of Abel's identity
The Electronic Journal of Combinatorics | 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
Theoretical Computer Science | 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
The American Mathematical Monthly | 1993-06-29 | Paper |
A WZ-style proof of Jacobi polynomials' generating function
Discrete Mathematics | 1993-05-16 | Paper |
A short proof of a `strange' combinatorial identity conjectured by Gosper
Discrete Mathematics | 1992-06-26 | Paper |
A one-line proof of the Habsieger-Zeilberger \(G_ 2\) constant term identity
Journal of Computational and Applied Mathematics | 1992-06-25 | Paper |
A purely verification proof of the first Rogers-Ramanujan identity
Journal of Combinatorial Theory. Series A | 1990-01-01 | Paper |
A 21st century proof of Dougall's hypergeometric sum identity
Journal of Mathematical Analysis and Applications | 1990-01-01 | Paper |
A very short proof of Dixon's theorem
Journal of Combinatorial Theory. Series A | 1990-01-01 | Paper |
| Short Proofs of Two Hypergeometric Summation Formulas of Karlsson | 1989-01-01 | Paper |
A High-School Algebra and high-school (purely formal) calculus,. Wallet-Sized Proof, of the Bieberbach Conjecture [after L. Weinstein]
(available as arXiv preprint) | N/A | Paper |
The Jackson-Richmond 4CT Constant is EXACTLY 10/27
(available as arXiv preprint) | N/A | Paper |
Efficient Evaluations of Weighted Sums over the Boolean Lattice inspired by conjectures of Berti, Corsi, Maspero, and Ventura
(available as arXiv preprint) | N/A | Paper |
Solving Functional Equations Dear to W.T. Tutte using the Naive (yet fullly rigorous!) Guess And Check Method
(available as arXiv preprint) | N/A | Paper |
Explicit Expressions for the First 20 Moments of the Area Under Dyck and Motzkin Paths
(available as arXiv preprint) | N/A | Paper |
WITHDRAWN: Plane Geometry: An Elementary School Textbook (ca. 2050)
(available as arXiv preprint) | N/A | Paper |
WITHDRAWN: The Number of Permutations With A Prescribed Number of 132 and 123 Patterns
(available as arXiv preprint) | N/A | Paper |
