225 citations · 3.5k across the 94 of their papers we have counts for
4 papers · 1 filter
The Absent-Minded Passengers Problem: A Motivating Challenge Solved by Computer Algebra
Carsten Schneider
In (S.B. Ekhad and D. Zeilberger, 2020) an exciting case study has been initiated in which experimental mathematics and symbolic computation are utilized to discover new properties…
Evaluation of binomial double sums involving absolute values
Christian Krattenthaler, Carsten Schneider
We show that double sums of the form can always be expressed in terms of a linear combination of ju…
Asymptotic and exact results on the complexity of the Novelli-Pak-Stoyanovskii algorithm
Carsten Schneider, Robin Sulzgruber
The Novelli-Pak-Stoyanovskii algorithm is a sorting algorithm for Young tableaux of a fixed shape that was originally devised to give a bijective proof of the hook-length formula.…
When is 0.999... equal to 1?
R. Pemantle, C. Schneider
A doubly infinite sum, numerically evaluated at between 0.999 and 1.001, turns out to have a nice value.