编辑配置文件（在新选项卡中打开） 罗伯特·刘易斯。 合著者距离 作者ID： 路易斯·罗贝蒂 发布日期： 罗伯特·刘易斯。 已编制索引的文档： 13出版物自1994年以来，包括5个附加arXiv预打印 合著者： 10位合著者具有7联合出版物 152名Co-Co作者 全部的 前5名合著者 2 单作者的 2 杰里米·阿维加德 2 格雷厄姆·厄斯金 2 科迪·鲁克斯 1 大卫·I·贝文。 1 Johan M.Commelin。 1 Sander R.Dahmen。 1 提摩太·大卫 1 弗莱德里克·杜普伊斯 1 加布里埃尔·埃布纳 1 特里·格里格斯（Terry S.Griggs）。 1 约翰·Hölzl 1 希瑟·R·麦克白。 1 詹姆斯·图伊特 1 弗洛里斯·范·道恩 1 吴敏超 系列 2 自动推理杂志 1 国际流体数值方法杂志 1 组合优化期刊 1 当代数学硕士 全部的 前5名领域 5 计算机科学（68至XX） 三 组合数学（05-XX） 1 实际功能（26年X月X日） 1 数值分析（65-XX） 1 流体力学（76-XX） 1 运筹学、数学编程（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 5出版物有被引用11中的次11文件 引用人▼ 年份▼ 维护一个形式数学库。 Zbl 1455.68262号 弗洛里斯·范·道恩;加布里埃尔·埃布纳;罗伯特·刘易斯。 5 2020 固定直径和任意度的大型循环图。 Zbl 1380.05097号 大卫·贝文;格雷厄姆·厄斯金;罗伯特·刘易斯 2 2017 真实不等式的启发式证明。 Zbl 1416.68149号 杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 2 2014 真实不等式的启发式证明。 Zbl 1356.68174号 杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 2 2016 将上限集问题的解决方案形式化。 Zbl 07649964号 Sander R.Dahmen。;约翰·Hölzl;罗伯特·刘易斯。 2 2019 维护一个形式数学库。 Zbl 1455.68262号 弗洛里斯·范·道恩;加布里埃尔·埃布纳;罗伯特·刘易斯。 5 2020 将上限集问题的解决方案形式化。 Zbl 07649964号 Sander R.达曼。;约翰·Hölzl;罗伯特·刘易斯。 2 2019 固定直径和任意度的大型循环图。 Zbl 1380.05097号 大卫·贝文;格雷厄姆·厄斯金;罗伯特·刘易斯 2 2017 真实不等式的启发式证明。 Zbl 1356.68174号 杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 2 2016 真实不等式的启发式证明。 Zbl 1416.68149号 杰里米·阿维加德;罗伯特·刘易斯。;科迪·鲁克斯 2 2014 所有引用出版物 前5名被引用出版物 全部的 前5名27位作者引用 2 罗伯特·刘易斯。 2 詹伯华 1 阿奈、平子 1 Noriko H.Arai。 1 杰里米·阿维加德 1 凯文·巴扎德 1 莱昂纳多·德·莫拉 1 藤崎隆彦 1 芙蓉岛、秀君 1 塞巴斯蒂安·古泽尔 1 伊瓦内、希德诺 1 Munehiro小林 1 朱玛·库多 1 李丽明 1 松崎隆彦 1 巴维克·梅塔 1 中关村，Kazuhisa 1 科迪·鲁克斯 1 Shigenaka、Seigo 1 歌曲，器物 1 塞巴斯蒂安·乌尔里奇 1 Katsumi Wasaki 1 埃里克·威瑟 1 吴敏超 1 徐润清 1 大池山口 1 詹益阳 3篇连载文章中引用 2 自动推理杂志 1 AI通信 1 应用Clifford代数的进展 全部的 前5名在6个字段中引用 11 计算机科学（68至XX） 三 数学逻辑和基础（03-XX） 1 总体主题；集合（00-XX） 1 数论（11-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 实际功能（26年X月X日） 按年份列出的引文