TY  - CONF

T1  - Formalising Fisher’s Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics

JO  - Leibniz International Proceedings in Informatics

PY  - 2022/08/03

AU  - Edmonds C

AU  - Paulson LC

ED  - 

DO  - DOI: 10.4230/LIPIcs.ITP.2022.11

PB  - Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik

Y2  - 2024/12/26

ER  -