2 citations · 3 across the 8 of their papers we have counts for
8 papers
Enumerating Seating Arrangements that Obey Social Distancing
George Spahn, Doron Zeilberger
We study maximal seating arrangements, either on a line, or in a rectangular auditorium with a fixed number of columns but an arbitrary number of rows, that obey any prescribed set…
Experimenting with Discrete Dynamical Systems
George Spahn, Doron Zeilberger
We demonstrate the power of Experimental Mathematics and Symbolic Computation to study intriguing problems on rational difference equations, studied extensively by Difference Equat…
Counting Permutations Where The Difference Between Entries Located Places Apart Can never be (For any given positive integers and )
George Spahn, Doron Zeilberger
Given positive integers and , we use inclusion-exclusion, weighted-counting of tilings, and dynamical programming, in order to enumerate, semi-efficiently, the classes of pe…
Variations on the Missionaries and Cannibals Problem
George Spahn, Doron Zeilberger
We explore both automated and human approaches to the generalized Missionaries and Cannibals problem.
How does the Gerrymander Sequence Continue?
Manuel Kauers, Christoph Koutschan, George Spahn
We compute the next few terms of the OEIS sequence A348456 and provide guessed equations for the generating functions of some sequences in its context.
Enumerating solutions to grid based puzzles with a fixed number of rows
George Spahn
In this paper we demonstrate a method for counting the number of solutions to various logic puzzles. Specifically, we remove all of the "clues" from the puzzle which help the solve…
Counting Baxter Matrices
George Spahn
Donald Knuth recently introduced the notion of a Baxter matrix, generalizing Baxter permutations. We show that for fixed number of rows, , the number of Baxter matrices with …
Automatic Counting of Generalized Latin Rectangles and Trapezoids
George Spahn, Doron Zeilberger
In this case study in ``fully automated enumeration'', we illustrate how to take full advantage of symbolic computation by developing (what we call) `symbolic-dynamical-programming…