Stream: Archive Mirror: Isabelle Users Mailing List

Topic: [isabelle] new AFP entry: Latin_Square


view this post on Zulip Email Gateway (Aug 22 2022 at 12:01):

From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
Latin Square
by Alexander Bentkamp

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.

http://afp.sourceforge.net/entries/Latin_Square.shtml

Enjoy!


The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.


Last updated: Nov 21 2024 at 12:39 UTC