Automatic Counting of Tilings of Skinny Plane Regions
Combinatorics
2012-06-22 v1
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.
Keywords
Cite
@article{arxiv.1206.4864,
title = {Automatic Counting of Tilings of Skinny Plane Regions},
author = {Shalosh B. Ekhad and Doron Zeilberger},
journal= {arXiv preprint arXiv:1206.4864},
year = {2012}
}
Comments
10 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>