Showing math.COShow all
2 papers · 1 filter
math.CO2026
Global Product Intersection Sets in Semigroups
Wouter van Doorn, Pietro Monticone, Quanyu Tang
For a family of subsets of a semigroup, the product intersection set records those exponents for which the -fold product set of the intersect…
math.CO2026
A Blueprint for the Formalization of Seymour's Matroid Decomposition Theorem
Ivan Sergeev, Martin Dvorak, Cameron Rampell +2
This document is a blueprint for the formalization in Lean of the structural theory of regular matroids underlying Seymour's decomposition theorem. We present a modular account of…