%0 Conference Paper %1 conf/itp/EdmondsP22 %A Edmonds, Chelsea %A Paulson, Lawrence C. %B ITP %D 2022 %E Andronick, June %E de Moura, Leonardo %I Schloss Dagstuhl - Leibniz-Zentrum für Informatik %K dblp %P 11:1-11:19 %T Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics. %U http://dblp.uni-trier.de/db/conf/itp/itp2022.html#EdmondsP22 %V 237 %@ 978-3-95977-252-5

@inproceedings{conf/itp/EdmondsP22, added-at = {2023-03-21T00:00:00.000+0100}, author = {Edmonds, Chelsea and Paulson, Lawrence C.}, biburl = {https://www.bibsonomy.org/bibtex/28e7fd4104346f237b87a65596af4a8e2/dblp}, booktitle = {ITP}, crossref = {conf/itp/2022}, editor = {Andronick, June and de Moura, Leonardo}, ee = {https://doi.org/10.4230/LIPIcs.ITP.2022.11}, interhash = {2a6960ebdd5981c7108a41b62ebb5196}, intrahash = {8e7fd4104346f237b87a65596af4a8e2}, isbn = {978-3-95977-252-5}, keywords = {dblp}, pages = {11:1-11:19}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, series = {LIPIcs}, timestamp = {2024-04-09T22:14:45.000+0200}, title = {Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in Combinatorics.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2022.html#EdmondsP22}, volume = 237, year = 2022 }