Abstract
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!
Tobias Nipkow 🌐 and Lawrence C. Paulson 🌐
November 7, 2008
FunWithTilings-AFP
@article{FunWithTilings-AFP,
author = {Tobias Nipkow and Lawrence C. Paulson},
title = {Fun With Tilings},
journal = {Archive of Formal Proofs},
month = {November},
year = {2008},
note = {\url{https://isa-afp.org/entries/FunWithTilings.html},
Formal proof development},
ISSN = {2150-914x},
}
Download
Older releases: