Automatic Classification of Restricted Lattice Walks
  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. 
Alin Bostan and Manuel Kauers