鼠尾草 swMATH ID: 26413 软件作者: 维达利,亚诺什 描述: 利用符号计算证明距离规则图的不存在性。为Sage计算机代数系统开发了一个包,用于检查距离规则图的给定交集数组的可行性。我们用这个工具证明了不存在具有交集数组{(2r+1)(4r+1)、(4t−1)、8r(4rt−r+2t)、(r+t)(4r+1)、1、(r++)(4r/+1)、4r(2r+1)(4t‐1)}(r,t≥1)、{135128,16、1,16120}、{234165,12、1,30198}或{55,54,50,35,10、1,5,20,45,55}的距离正则图。在所有情况下,证明都依赖于Krein条件中的等式,从中可以确定三重交点数。然后使用进一步的组合参数来推导不存在性。 主页: https://github.com/jaanos/sage-drg 源代码: https://github.com/jaanos/sage-drg 依赖项: 圣人 关键词: 距离规则图;克赖恩参数;三相交数;不存在;符号计算 相关软件: SageMath公司;数学软件;GLPK公司;马克西玛;蟒蛇;FinInG公司;岩浆;中国银行 引用于: 7文件 标准条款 2出版物描述软件,包括2出版物以zbMATH为单位 年份 计算中的距离规则图和关联方案参数SageMath公司具有圣人-drg公司. Zbl 1436.05142号贾诺什·维达利 2019 利用符号计算证明距离规则图的不存在性。 Zbl 1401.05320号贾诺什·维达利 2018 全部的 前5名8位作者引用 3 维达利,亚诺什 2 亚历山大·加夫里柳克。 1 约翰·班贝格 1 Jack H.Koolen。 1 杰西·兰斯敦 1 Aleksandr Alekseevich,Makhnöv 1 德米特里·维克托洛维奇·帕杜奇赫 1 杰森·威廉福德。 全部的 前5名7篇连载文章中引用 1 印度纯粹与应用数学杂志 1 组合数学电子杂志 1 联合国证券交易所 1 Steklov数学研究所学报 1 当代数学硕士 1 阿拉伯数学杂志 1 代数组合论 在5个字段中引用 7 组合数学(05-XX) 1 数论(11-XX) 1 结合环与代数(16-XX) 1 群论与推广(20-XX) 1 几何图形(51至XX) 按年份列出的引文