2026-10-12T12:33:57Z https://api.figshare.com/v2/oai

oai:figshare.com:article/33941746 2026-09-19T07:41:17Z category_29836 item_type_3 month_year_09_2026

Computational Supplement for “A Nine-Element Minor Theorem for 3-Connected Nonbinary Matroids with a W4-Minor” toshiro tabuchi (24848569) Combinatorics and discrete mathematics (excl. physical combinatorics) Matroid theory 3-connected matroids nonbinary matroids W4-minor wheel minor computational proof verification certificates rank tables modular cuts <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="https://doi.org/10.6084/m9.figshare.33689407" target="_new" rel="noopener"><b>https://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> 2026-09-19T07:41:17Z Dataset Dataset 10.6084/m9.figshare.33941746.v1 https://figshare.com/articles/dataset/Computational_Supplement_for_A_Nine-Element_Minor_Theorem_for_3-Connected_Nonbinary_Matroids_with_a_W4-Minor_/33941746 CC BY 4.0