Latin Square

swMATH41979MaRDI QIDQ5972985FDOQ5972985

Author name not available (Why is that?)

Official website: https://www.isa-afp.org/entries/Latin_Square.html

Cited In (3)

• A modular first formalisation of combinatorial design theory
• MathScheme
• Matroids

This page was built for software: Latin Square