Chelsea Edmonds

From MaRDI portal
Person:2128786

Available identifiers

zbMath Open edmonds.chelseaMaRDI QIDQ2128786

List of research outcomes





PublicationDate of PublicationType
Formalising Fisher's inequality: formal linear algebraic proof techniques in combinatorics2024-07-15Paper
Formalising Szemerédi's Regularity Lemma and Roth's Theorem on Arithmetic Progressions in Isabelle/HOL2023-06-14Paper
A modular first formalisation of combinatorial design theory2022-04-22Paper
Formalising Fisher's Inequality: Formal Linear Algebraic Proof Techniques in CombinatoricsN/APaper
Formal Probabilistic Methods for Combinatorial Structures using the Lov\'asz Local LemmaN/APaper

Research outcomes over time

This page was built for person: Chelsea Edmonds

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2128786&oldid=6130765"
Powered by MediaWiki