Chelsea Edmonds, Lawrence C. Paulson. Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics. Archive of Formal Proofs, 2022, 2022. [doi]
@article{EdmondsP22,
title = {Fisher's Inequality: Linear Algebraic Proof Techniques for Combinatorics},
author = {Chelsea Edmonds and Lawrence C. Paulson},
year = {2022},
url = {https://www.isa-afp.org/entries/Fishers_Inequality.html},
researchr = {https://researchr.org/publication/EdmondsP22},
cites = {0},
citedby = {0},
journal = {Archive of Formal Proofs},
volume = {2022},
}