Formalising Fisher's inequality: formal linear algebraic proof techniques in combinatorics

DOI10.4230/LIPICS.ITP.2022.11MaRDI QIDQ6572544FDOQ6572544

Authors: Chelsea Edmonds, Lawrence C. Paulson 

Publication date: 15 July 2024

zbMATH Keywords

combinatoricslinear algebraIsabelle/HOLFisher's inequalityformal proof techniquesmathematical formalisation

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

This page was built for publication: Formalising Fisher's inequality: formal linear algebraic proof techniques in combinatorics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6572544)