Computational Supplement for “A Nine-Element Minor Theorem for 3-Connected Nonbinary Matroids with a W4-Minor”

<p dir="ltr">This dataset contains the computational supplementary material supporting the preprint <b>“A Nine-Element Minor Theorem for 3-Connected Nonbinary Matroids with a W4-Minor.”</b></p><p dir="ltr">The files include computational certificates, verification bundles, rank data, intermediate outputs, and other auxiliary files used in the finite computational parts of the proof.</p><p dir="ltr">They are provided to document the computational workflow and to facilitate independent inspection and reproduction of the corresponding verification steps.</p><p dir="ltr">The main manuscript is available separately on Figshare:<br><a href="doi.org/10.6084/m9.figshare.33689407" target="_new" rel="noopener"><b>doi.org/10.6084/m9.figshare.33689407</b></a></p><p dir="ltr">The supplement should be read together with the manuscript, which explains the mathematical role of the computational checks and the structural reductions to which they apply.</p>