Latin Square

 

Title: Latin Square
Author: Alexander Bentkamp (bentkamp /at/ gmail /dot/ com)
Submission date: 2015-12-02
Abstract: A Latin Square is a n x n table filled with integers from 1 to n where each number appears exactly once in each row and each column. A Latin Rectangle is a partially filled n x n table with r filled rows and n-r empty rows, such that each number appears at most once in each row and each column. The main result of this theory is that any Latin Rectangle can be completed to a Latin Square.
BibTeX:
@article{Latin_Square-AFP,
  author  = {Alexander Bentkamp},
  title   = {Latin Square},
  journal = {Archive of Formal Proofs},
  month   = dec,
  year    = 2015,
  note    = {\url{http://isa-afp.org/entries/Latin_Square.shtml},
            Formal proof development},
  ISSN    = {2150-914x},
}
License: BSD License
Depends on: Marriage