Automatic Classification of Restricted Lattice Walks
arXiv:0811.2899
Abstract
We propose an experimental mathematics approach leading to the computer-driven discovery of various structural properties of general counting functions coming from enumeration of walks.