×

罗宾斯

swMATH ID: 11649
软件作者: 多龙·泽尔伯格
描述: ROBBINS是我的论文“交替符号矩阵猜想的证明”附带的Maple包,它对(结构化)证明中的每一个非平凡语句进行了实证验证。
主页: http://www.math.rutgers.edu/~zeilberg/programs.html
依赖项: 枫树
关键词: 交替符号矩阵猜想;米尔斯的猜想;罗宾斯;和拉姆齐
相关软件: SageMath公司;组织环境信息系统;道格森;兔子;Sage-Combinat公司;德夫莫尔;CLD公司;CoCalc公司;旧金山;小心行走;四分之一平面;OneDimWalks(OneDimWalks);半直线;线性系统解算器;猜猜看。;;超链接;猜猜老鼠;GoodDyson公司;qTSPP公司
引用于: 112文件
全部的 前5名

103位作者引用

18 伊尔塞·菲舍尔
8 杰西卡·斯特里克
7 安德烈·普龙科。
6 菲利波·科罗莫
5 罗杰·贝伦德。
5 理查德·安东尼·布鲁阿尔迪
4 菲利普·迪·弗朗西斯科
4 安德烈亚·斯佩蒂埃洛
弗洛里安·艾格纳
阿文德·艾耶
路易吉·坎蒂尼
林妮娅·希塔拉
汉斯·Höngesberg
马蒂亚·科瓦林卡
菲利普·纳多
丹·罗米克
Hjalmar罗森格伦
辛国策
2 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 让-克里斯托弗·阿瓦尔
1 弗朗索瓦·贝杰隆
1 埃林·贝耶斯特特(Erin J.Beyerstedt)。
1 理查德·布拉克
1 David M.Bressoud。
1 瓦伦丁·布基米亚斯
1 蔡金毅
1 哈亚特·切巴拉
1 米海·丘丘
1 罗伯特·科里
1 盖尔·达尔
1 德吉尔,简
1 布莱恩·德宾
1 凯文·迪克斯
1 菲利普·杜雄
1 特蕾西亚·艾森科尔
1 马修·法尔巴赫
1 弗拉基米尔·福金。
1 傅厚山
1 傅志国
1 惠灵顿加列斯
1 阿德里亚诺·加西亚(Adriano M.Garsia)。
1 瓦迪姆·戈林
1 伊恩·古尔登(Ian P.Goulden)。
1 多米尼克Gouyou-Beauchamps
1 艾曼纽·吉特
1 劳伦特·哈比格
1 克里斯蒂安·哈根多夫
1 迪伦·豪尔
1 大卫·杰克逊。
1 凯文·詹宁斯
1 巴赫曼·卡兰塔里
1 卡皮托诺夫,V.S。
1 马坦·卡林斯基
1 凯萨琳·P·基尔南。
1 金华庆(Kim,Hwa Kyung)
1 吉尔伯特·拉贝尔
1 皮埃尔·拉隆德
1 马修·F·拉帕。
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位作者

按年份列出的引文