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

DOI10.4230/LIPICS.ITP.2022.11MaRDI QIDQ6572544zbMATH OpenFDO

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)