A Simple Formalization and Proof for the Mutilated Chess Board

Front Cover
University of Cambridge, Computer Laboratory, 1996 - Tiling (Mathematics) - 11 pages
0 Reviews
Abstract: "The impossibility of tiling the mutilated chess board has been formalized and verified using Isabelle. The formalization is concise because it is expressed using inductive definitions. The proofs are straightforward except for some lemmas concerning finite cardinalities. This exercise is an object lesson in choosing a good formalization."

From inside the book

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Introduction Ml Is 2 Mathematical development iJ irf
2
The mechanical proof
4
Related work
6

1 other sections not shown

Common terms and phrases

Bibliographic information