Automatic Classification of Restricted Lattice Walks

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.