罗宾斯 swMATH ID: 11649 软件作者: 多龙·泽尔伯格 描述: ROBBINS是我的论文“交替符号矩阵猜想的证明”附带的Maple包,它对(结构化)证明中的每一个非平凡语句进行了实证验证。 主页: http://www.math.rutgers.edu/~zeilberg/programs.html 依赖项: 枫树 关键词: 交替符号矩阵猜想;米尔斯猜想;罗宾斯;和拉姆齐 相关软件: SageMath公司;OEIS公司;道格森;兔子;Sage-Combinat公司;德夫莫尔;CLD公司;CoCalc公司;旧金山;小心行走;四分之一平面;OneDimWalks公司;半直线;线性系统解算器;猜猜看。米;走;超链接;猜猜老鼠;GoodDyson公司;qTSPP公司 引用于: 112文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 交替符号矩阵猜想的证明。 Zbl 0858.05023号多龙·泽尔伯格 1996 全部的 前5名103位作者引用 18 伊尔塞·菲舍尔 8 杰西卡·斯特里克 7 安德烈·普龙科。 6 菲利波·科罗莫 5 罗杰·贝伦德。 5 理查德·安东尼·布鲁阿尔迪 4 菲利普·迪·弗朗西斯科 4 安德烈亚·斯佩蒂埃洛 三 弗洛里安·艾格纳 三 阿文德·艾耶 三 路易吉·坎蒂尼 三 林妮娅·希塔拉 三 汉斯·Höngesberg 三 马蒂亚·科瓦林卡 三 菲利普·纳多 三 丹·罗米克 三 Hjalmar罗森格伦 三 辛国策 2 Abeles,Francine F。 2 萨宾·贝尔 2 菲利普·比安 2 巴维尔·M·布莱尔。 2 米雷尔·布斯克特·梅卢 2 乔治·彼得罗维奇·埃戈里切夫 2 约翰·恩格斯 2 Angèle M.Hamel。 2 亚当·哈米特 2 罗纳德·金。 2 维克托·雨果·摩尔 2 卢卡斯·里格勒 2 迈克尔·威廉·施罗德 2 萨拉·索尔赫姆 2 多龙·泽尔伯格 2 保罗·津·贾斯汀 1 阿莫尔·阿加瓦尔 1 屋大维阿格拉蒂尼 1 阿瓦尔,Jean-Christophe 1 弗朗索瓦·贝杰隆 1 埃林·贝耶斯特特(Erin J.Beyerstedt)。 1 理查德·布拉克 1 David M.Bressoud。 1 瓦伦丁·布基米亚斯 1 蔡金一 1 哈亚特·切巴拉 1 米海·丘丘 1 罗伯特·科里 1 盖尔·达尔 1 德吉尔,简 1 布莱恩·德宾 1 凯文·迪克斯 1 菲利普·杜雄 1 Eisenkölbl,特蕾西娅 1 马修·法尔巴赫 1 弗拉基米尔·福金。 1 傅厚山 1 傅志国 1 惠灵顿加列斯 1 阿德里亚诺·加西亚(Adriano M.Garsia)。 1 瓦迪姆·戈林 1 古尔登,伊恩·P。 1 多米尼克Gouyou-Beauchamps 1 艾曼纽·吉特 1 劳伦特·哈比格 1 克里斯蒂安·哈根多夫 1 迪伦·豪尔 1 大卫·杰克逊。 1 凯文·詹宁斯 1 巴赫曼·卡兰塔里 1 卡皮托诺夫,V.S。 1 马坦·卡林斯基 1 凯萨琳·P·基尔南。 1 金华京 1 吉尔伯特·拉贝尔 1 拉隆德,皮埃尔 1 马修·拉帕。 1 艾米丽·谢尔盖尔·莱文 1 卡尔·利希蒂 1 卢,贾 1 埃亚尔·卢贝茨基 1 法比奥·马蒂内利 1 塞斯·梅耶(Seth A.Meyer)。 1 米哈伊尔·德米宁。 1 塞巴尔·米特拉 1 切尔西·莫罗 1 本·Noteboom 1 Cian奥布莱恩 1 冈田,Soichi 1 格蕾塔·帕诺娃 1 奥利弗·佩切尼克 1 雷切尔·昆兰 1 丹娜·兰德尔(Dana J.Randall)。 1 菲利普·鲁勒 1 曼吉尔·P·赛基亚。 1 弗洛里安·施雷尔·艾格纳 1 特拉维斯·斯克里姆肖 1 邵帅 1 艾伦·斯利 1 孙新余 1 瓦苏五世·特瓦里。 1 科里·沃兰 …还有3位作者 全部的 前5名34篇连载文章中引用 21 组合理论杂志。系列A 13 应用数学进展 10 组合数学电子杂志 7 数学进展 5 离散数学 5 线性代数及应用 5 联合国证券交易所 5 统计力学杂志:理论与实验 4 代数组合数学杂志 三 数学物理中的通信 三 西格玛。对称性、可积性和几何:方法和应用 2 统计物理学杂志 2 数学物理中的字母 2 组合年刊 2 伊尔库茨科戈大学。马特马提卡丝里亚 1 混沌、孤子和分形 1 概率年鉴 1 数学发明 1 理论计算机科学 1 美国数学学会会刊 1 欧洲组合数学杂志 1 构造性近似 1 信息与计算 1 澳大利亚组合数学杂志 1 数学科学杂志(纽约) 1 《纽约数学杂志》 1 组合设计杂志 1 整数序列期刊 1 国际当代数学科学杂志 1 科学。系列A:数学科学。新系列 1 物理学报A:数学与理论 1 组合数学杂志 1 数学论坛,西格玛 1 枚举组合数学及其应用 全部的 前5名在24个字段中引用 92 组合数学(05-XX) 37 线性代数和多线性代数;矩阵理论(15-XX) 34 统计力学,物质结构(82-XX) 8 特殊功能(33至XX) 5 阶、格、有序代数结构(06-XX) 4 数论(11-XX) 4 凸和离散几何(52至XX) 三 历史和传记(01-XX) 三 概率论与随机过程(60-XX) 2 代数几何(14-XX) 2 结合环与代数(16-XX) 2 拓扑群、李群(22日至XX日) 2 复变量的函数(30年XX月) 2 偏微分方程(35-XX) 2 数值分析(65-XX) 2 量子理论(81-XX) 1 总体主题;集合(00-XX) 1 场论和多项式(12-XX) 1 非结合环与代数(17-XX) 1 常微分方程(34-XX) 1 动力系统和遍历理论(37至XX) 1 差分方程和函数方程(39至XX) 1 近似和展开(41至XX) 1 计算机科学(68至XX) 按年份列出的引文