Fun With Tilings

Tobias Nipkow 🌐 and Lawrence C. Paulson 🌐

November 7, 2008

This is a development version of this entry. It might change over time and is not stable. Please refer to release versions for citations.


Tilings are defined inductively. It is shown that one form of mutilated chess board cannot be tiled with dominoes, while another one can be tiled with L-shaped tiles. Please add further fun examples of this kind!


BSD License


Session FunWithTilings