Automatic Counting of Tilings of Skinny Plane Regions

Abstract

The deductive method ruled mathematics for the last 2500 years, now it is the turn of the inductive method. Here we make a modest start by using the inductive method to discover and prove (rigorously) explicit generating functions for the number of dimer (and monomer-dimer) tilings of large families of "skinny" plane regions.

arXiv comment10 pages. Accompanied by three Maple packages and many output files that may be viewed and downloaded from <A HREF="http://www.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/ritsuf.html">thus url</A>