编辑配置文件（在新选项卡中打开） 史蒂文·奥布阿 合著者距离 作者ID： obua.steven公司 发布日期： 史蒂文·奥布阿 已编制索引的文档： 10出版物自2005年以来 合著者： 21位合著者具有6联合出版物 362名合著者 全部的 前5名合著者 4 单作者的 三 托比亚斯·尼普科 2 马克·亚当斯 2 大卫·阿斯皮纳尔 2 雅克·弗莱里奥特。 2 托马斯·卡利斯特·黑尔斯 2 肖恩·麦克劳林 2 菲尔·斯科特 2 罗兰·祖姆凯勒 1 格特鲁德·鲍尔 1 Dang，Tat Dat公司 1 Hoáng LéTrườ纳克 1 塞萨里·卡利西克 1 维克托·马格伦 1 阮广忠 1 阮大唐 1 约瑟夫·普莱索 1 阿列克谢·索洛维耶夫 1 T型ạ Th（第个）ị Hoái An酒店 1 南庄Tran 1 特里厄·蒂迪普 1 约瑟夫·乌尔班 系列 1 离散与计算几何 1 数学与人工智能年鉴 1 Pi数学论坛 字段 9 计算机科学（68至XX） 2 数学逻辑和基础（03-XX） 2 凸和离散几何（52至XX） 2 运筹学、数学编程（90-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 9出版物有被引用118中的次99文件 引用人▼ 年份▼ 开普勒猜想的形式证明。 Zbl 1379.52018年 托马斯·黑尔斯;马克·亚当斯;格特鲁德·鲍尔;Dang，Tat Dat公司;约翰·哈里森;黄乐忠;塞萨里·卡利西克;维克托·马格伦;肖恩·麦克劳林;阮大唐;阮广忠;托比亚斯·尼普科;史蒂文·奥布阿;约瑟夫·普莱索;杰森·鲁特;阿列克谢·索洛维耶夫;Ta，Thi Hoai An先生;南庄Tran;特里厄·蒂迪普;约瑟夫·乌尔班;武，基;罗兰·祖姆凯勒 52 2017 开普勒猜想证明的修正。 Zbl 1195.52004号 托马斯·黑尔斯（Thomas C.Hales）。;约翰·哈里森;肖恩·麦克劳林;托比亚斯·尼普科;史蒂文·奥布阿;罗兰·祖姆凯勒 18 2010 Flyspeck II：基本的线性程序。 Zbl 1184.68465号 史蒂文·奥布阿;托比亚斯·尼普科 14 2009 伊莎贝尔/HOLZF游击队游戏。 Zbl 1168.68543号 史蒂文·奥布阿 12 2006 在Isabelle/HOL中证明实线性规划的界。 Zbl 1152.68531号 史蒂文·奥布阿 9 2005 检查高阶逻辑中重载定义的保守性。 Zbl 1151.68637号 史蒂文·奥布阿 6 2006 ZFH的类型推断。 Zbl 1417.68191号 史蒂文·奥布阿;雅克·弗莱里奥特;菲尔·斯科特;大卫·阿斯皮纳尔 三 2015 校对珍珠：围绕轨道旋转。 Zbl 1144.68363号 史蒂文·奥布阿 2 2007 在HOL灯光下捕捉屋脊。 Zbl 1390.68583号 史蒂文·奥布阿;马克·亚当斯;大卫·阿斯皮纳尔 2 2013 开普勒猜想的形式证明。 Zbl 1379.52018年 托马斯·黑尔斯;马克·亚当斯;格特鲁德·鲍尔;Dang，Tat Dat公司;约翰·哈里森;黄乐忠;塞萨里·卡利西克;维克托·马格伦;肖恩·麦克劳林;阮大唐;阮广忠;托比亚斯·尼普科;史蒂文·奥布阿;约瑟夫·普莱索;杰森·鲁特;阿列克谢·索洛维耶夫;Ta，Thi Hoai An先生;南庄Tran;特里厄·蒂迪普;约瑟夫·乌尔班;武，基;罗兰·祖姆凯勒 52 2017 ZFH的类型推断。 Zbl 1417.68191号 史蒂文·奥布阿;雅克·弗莱里奥特;菲尔·斯科特;大卫·阿斯皮纳尔 三 2015 在HOL灯光下捕捉屋脊。 兹比尔1390.68583 史蒂文·奥布阿;马克·亚当斯;大卫·阿斯皮纳尔 2 2013 开普勒猜想证明的修正。 Zbl 1195.52004号 托马斯·黑尔斯（Thomas C.Hales）。;约翰·哈里森;肖恩·麦克劳林;托比亚斯·尼普科;史蒂文·奥布阿;罗兰·祖姆凯勒 18 2010 Flyspeck II：基本线性程序。 Zbl 1184.68465号 史蒂文·奥布阿;托比亚斯·尼普科 14 2009 校对珍珠：围绕轨道旋转。 兹比尔1144.68363 史蒂文·奥布阿 2 2007 伊莎贝尔/HOLZF游击队游戏。 Zbl 1168.68543号 史蒂文·奥布阿 12 2006 检查高阶逻辑中重载定义的保守性。 Zbl 1151.68637号 史蒂文·奥布阿 6 2006 在Isabelle/HOL中证明实线性规划的界。 Zbl 1152.68531号 史蒂文·奥布阿 9 2005 所有引用出版物 前5名被引用出版物 全部的 前5名183位作者引用 9 劳伦斯·查尔斯·保尔森 8 塞萨里·卡利西克 7 托比亚斯·尼普科 5 Pąk，卡罗尔 4 杰苏斯·阿兰塞 4 科恩，亨利·李 4 Jose Divasón 4 托马斯·卡利斯特·黑尔斯 4 史蒂文·奥布阿 三 杰里米·阿维加德 三 伊曼纽尔·冈瑟 三 迈克尔·科尔哈斯 三 Angeliki Koutsoukou-Argyraki 三 Kunčar，安大略省 三 维克托·马格伦 三 肖恩·麦克劳林 三 米盖尔·帕加诺 三 安德烈·波佩斯库 三 弗洛里安·拉贝 三 佩德罗·桑切斯·特拉夫 三 约瑟夫·乌尔班 2 大卫·P·伯恩。 2 乍得·布朗·爱德华 2 杰雷米·杜布特 2 乔治·戈蒂尔 2 关勇 2 托马斯·哈特曼。 2 鲁比奥·加西亚、朱利奥·杰苏斯 2 史志平 2 阿列克谢·索洛维耶夫 2 马卡里乌斯·温泽尔 2 Akihisa山田 2 罗兰·祖姆凯勒 1 马克·亚当斯 1 尼玛阿夫哈米·杰迪 1 泽维尔·阿拉米吉恩 1 Alt，赫尔穆特 1 阿玛托，丹妮拉·A。 1 安德烈亚·阿斯佩蒂 1 克莱门斯·巴拉林 1 格拉泽戈兹·班塞雷克 1 班科维奇，米兰 1 吉尔·巴特 1 格特鲁德·鲍尔 1 纪尧姆·贝托伦 1 伊夫·贝托特 1 贝尼亚明·波哥什埃尔 1 Böröczky，Karoly jun。 1 凯文·巴钦 1 多林·布库尔 1 卡塔兹纳，巴兹涅斯卡 1 卢卡斯·布尔瓦恩 1 凯文·巴扎德 1 Czesław拜林斯基 1 雅克·卡雷特 1 史蒂文·查普利克 1 Cheong、Otfried 1 格雷戈里·谢尔林。 1 马修·科尔布鲁克。 1 Johan M.Commelin。 1 约瑟夫·科内利 1 时装，A。 1 里卡多·克里斯托费里 1 Jean-Christophe Cuillière 1 Sander R.Dahmen。 1 Dang，Tat Dat公司 1 戴维·德·拉特 1 塞萨尔·多明格斯 1 伊凡·德雷村 1 恰兰·邓恩 1 米尔纳季阿蒙加 1 利昂·艾弗勒 1 艾瑟，维特 1 埃尔克，莱文特 1 迈克尔·Färber 1 Farmer，William M。 1 托马斯·费尼克 1 劳尔·费尔瓦里 1 雅克·弗莱里奥特。 1 西蒙·福斯特 1 弗拉加拉，伊拉里亚 1 文森特·弗朗索瓦 1 利奥·弗雷塔斯 1 马龙·富拉 1 爱迪生·加列戈 1 穆罕·加内萨林加姆 1 阿夫·根格尔巴赫 1 安布罗斯·格雷克斯纳（Ambros M.Gleixner）。 1 戈梅斯·拉米雷斯，丹尼·阿伦·德·杰苏斯 1 威廉·蒂莫西·高尔斯 1 亚当·格拉博夫斯基 1 西蒙·格拉维尔 1 丹尼尔·理查德·格雷森 1 本杰明·格雷戈里 1 佛罗里达州哈夫特曼 1 安德斯·汉森（Anders C.Hansen）。 1 Hoáng LéTrườ纳克 1 肖恩·霍尔顿。 1 凯瑟琳·霍尔姆斯 1 约翰·Hölzl …还有83位作者 全部的 前5名36篇连载文章中引用 17 自动推理杂志 6 美国数学学会公报。新系列 2 人工智能 2 数学物理中的通信 2 纯逻辑与应用逻辑年鉴 2 离散与计算几何 2 计算的形式方面 2 实验数学 2 高能物理杂志 2 计算机科学中的逻辑方法 1 德国数学实验室（DMV） 1 计算数学 1 数学信使 1 ACM数学软件汇刊 1 应用数学与优化 1 《Reine und Angewandte Mathematik》杂志 1 合成 1 理论计算机科学 1 计算机辅助几何设计 1 符号计算杂志 1 计算力学 1 美国数学学会杂志 1 人工智能通信 1 计算数学与建模 1 计算几何 1 弹性力学杂志 1 数学与人工智能年鉴 1 欧洲数学学会杂志（JEMS） 1 数学逻辑杂志 1 应用数学杂志 1 JP代数、数论和应用杂志 1 圣保罗数学科学杂志 1 形式化推理杂志 1 Pi数学论坛 1 程序设计中的逻辑和代数方法杂志 1 伦敦皇家学会会刊。A.数学、物理和工程科学 全部的 前5名32个字段中引用 75 计算机科学（68至XX） 23 数学逻辑和基础（03-XX） 16 凸和离散几何（52至XX） 7 线性代数和多线性代数；矩阵理论（15-XX） 6 运筹学、数学编程（90-XX） 5 总体主题；集合（00-XX） 5 数值分析（65-XX） 4 历史和传记（01-XX） 4 数论（11-XX） 三 组合数学（05-XX） 三 交换代数（13-XX） 2 代数几何（14-XX） 2 范畴理论；同调代数（18-XX） 2 群论与推广（20-XX） 2 变分法与最优控制；最优化（49-XX） 2 代数拓扑（55-XX） 2 可变形固体力学（74-XX） 2 量子理论（81-XX） 2 统计力学，物质结构（82-XX） 2 数学教育（97-XX） 1 非结合环和代数（17-XX） 1 偏微分方程（35-XX） 1 欧氏空间的调和分析（42至XX） 1 功能分析（46倍X倍） 1 算子理论（47-XX） 1 几何图形（51至XX） 1 概率论与随机过程（60-XX） 1 粒子和系统力学（70-XX） 1 相对论和引力理论（83至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 信息与通信理论、电路（94-XX） 按年份列出的引文