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.

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!

License

BSD License

Topics

Session FunWithTilings

Cite

× 
@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

Download

× Download latest

Older releases: