research
∙
05/26/2022
Exploring General Apéry Limits via the Zudilin-Straub t-transform
Inspired by a recent beautiful construction of Armin Straub and Wadim Zu...
share
research
∙
01/25/2021
There are EXACTLY 1493804444499093354916284290188948031229880469556 Ways to Derange a Standard Deck of Cards (ignoring suits) [and many other such useful facts]
In this memorial tribute to Joe Gillis, who taught us that Special Funct...
research
∙
07/17/2019
Polynomial Reduction and Super Congruences
Based on a reduction processing, we rewrite a hypergeometric term as the...
research
∙
02/09/2019
On the maximal minimal cube lengths in distinct DNF tautologies
Inspired by a recent article by Anthony Zaleski and Doron Zeilberger, we...
research
∙
08/15/2018
A Combinatorial-Probabilistic Analysis of Bitcoin Attacks
Using Wilf-Zeilberger algorithmic proof theory, we continue pioneering w...
research
∙
05/23/2018
A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics
In this case study, we illustrate the great potential of experimental ma...
research
∙
01/12/2016