某些类脆弱拟阵结构的计算机验证
组合数学
2015-11-12 v2
摘要
本技术报告附属于以下三篇论文。它包含了验证这些论文中声称的部分结果所需的计算过程。[1] Carolyn Chun, Deborah Chun, Dillon Mayhew, 和 Stefan H. M. van Zwam。脆弱拟阵中的扇扩展。准备中。[2] Carolyn Chun, Dillon Mayhew, Geoff Whittle, 和 Stefan H. M. van Zwam。二元 Fano-脆弱拟阵的结构。准备中。[3] Ben Clark, Dillon Mayhew, Geoff Whittle, 和 Stefan H. M. van Zwam。{U2,5, U3,5}-脆弱拟阵的结构。准备中。
引用
@article{arxiv.1312.5175,
title = {Computer-verification of the structure of some classes of fragile matroids},
author = {Carolyn Chun and Deborah Chun and Benjamin Clark and Dillon Mayhew and Geoff Whittle and Stefan H. M. van Zwam},
journal= {arXiv preprint arXiv:1312.5175},
year = {2015}
}
备注
47 pages, contains Sage code and worksheet