1 citations · 1 across the 10 of their papers we have counts for
3 papers · 1 filter
Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
Martin Dvorak, Tristan Figueroa-Reid, Rida Hamadani +8
Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory fa…
Structuring Definitions in Mathematical Libraries
Alena Gusakov, Peter Nelson, Stephen Watt
Codifying mathematical theories in a proof assistant or computer algebra system is a challenging task, of which the most difficult part is, counterintuitively, structuring definiti…
Rainbow triangles and the Erdős-Hajnal problem in projective geometries
Carolyn Chun, James Dylan Douthitt, Wayne Ge +3
We formulate a geometric version of the Erdős-Hajnal conjecture that applies to finite projective geometries rather than graphs, in both its usual 'induced' form and the multicolou…