编辑配置文件（在新选项卡中打开） 乌尔德·比哈，西迪 合著者距离 作者ID： 乌尔德·比哈·西迪 发布日期： 乌尔德·比哈，西迪;比哈，西迪·乌尔德 已编制索引的文档： 3出版物自2008年起 合著者： 14合著者具有2联合出版物 246位合作作者 全部的 前5名合著者 1 单作者的 2 伊夫·贝托特 2 乔治·戈蒂尔 2 爱荷华州帕什卡 1 安德烈亚·阿斯佩蒂 1 杰里米·阿维加德 1 西里尔·科恩 1 弗朗索瓦·加里洛 1 圣埃芬·勒鲁 1 阿西亚·马布比 1 罗素·奥康纳 1 劳伦斯·里多 1 阿列克谢·索洛维耶夫 1 恩里科·塔西 1 Laurent Théry 系列 领域 三 计算机科学（68至XX） 2 群论与推广（20-XX） 1 数学逻辑和基础（03-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 三出版物有被引用90中的次86文件 引用人▼ 年份▼ 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝托特;西里尔·科恩;弗朗索瓦·加里洛;勒鲁（Le Roux，Stéphane）;阿西亚·马布比;罗素·奥康纳;乌尔德·比哈，西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 67 2013 典型的大运营商。 Zbl 1165.68450号 伊夫·贝托特;乔治·戈蒂尔;乌尔德·比哈，西迪;爱荷华州帕斯卡 22 2008 Coq有限群表示理论。 Zbl 1247.68231号 比哈，西迪·乌尔德 1 2009 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝托特;西里尔·科恩;弗朗索瓦·加里洛;勒鲁（Le Roux，Stéphane）;阿西亚·马布比;运营；罗素·康纳;乌尔德·比哈，西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 67 2013 Coq有限群表示理论。 Zbl 1247.68231号 比哈，西迪·乌尔德 1 2009 典型的大运营商。 Zbl 1165.68450号 伊夫·贝托特;乔治·戈蒂尔;乌尔德·比哈，西迪;爱荷华州帕斯卡 22 2008 所有引用出版物 前5名被引用出版物 全部的 前5名171位作者引用 6 劳伦斯·查尔斯·保尔森 4 雷纳尔德·阿弗尔德 4 乔纳森·赫拉斯 4 塞萨里·卡利西克 4 米凯拉·梅耶罗 三 安德烈亚·阿斯佩蒂 三 杰里米·阿维加德 三 贾斯敏·克里斯蒂安·布兰切特 三 西尔维·博尔多 三 弗朗索瓦·克莱门特 三 西里尔·科恩 三 弗洛里安·拉贝 三 恩里科·塔西 2 亚历山大·本特坎普 2 斯特凡妮娅·邓布拉娃 2 弗洛里安·费索尔 2 Farmer，William M。 2 Jean-Christophe Filliátre 2 乔治·戈蒂尔 2 伊曼纽尔·冈瑟 2 Krzysztof卡普尔金 2 迪特里赫·克拉科夫 2 迈克尔·科尔哈斯 2 李文达 2 阿西亚·马布比 2 纪尧姆·梅尔金德 2 托比亚斯·尼普科 2 米盖尔·帕加诺 2 波扎，玛丽亚 2 威尔默·里奇奥蒂 2 劳伦斯·里多 2 Damien Rouhling公司 2 克劳迪奥·萨塞尔多蒂·科恩 2 坂口和彦 2 萨那斯托亚诺维奇 2 Laurent Théry 2 约瑟夫·乌尔班 2 皮埃尔·韦斯 2 贝塔·齐利安尼 1 马克·亚当斯 1 阿伦斯，贝内迪克特 1 泽维尔·阿拉米吉恩 1 杰苏斯·阿兰塞 1 安德烈亚·博尔赫斯·艾弗拉尔 1 史蒂夫·阿沃迪 1 毛里西奥·阿亚拉·林科恩 1 格拉泽戈兹·班塞雷克 1 布鲁诺·巴拉斯 1 格特鲁德·鲍尔 1 维罗尼克·本扎肯 1 索菲·伯纳德 1 安吉拉·博尼法蒂 1 安东尼·博尔吉 1 托马斯·布朗宁。 1 凯文·巴扎德 1 Czesław拜林斯基 1 雅克·卡雷特 1 陈兴伦 1 普尔泽米斯劳·乔杰基 1 伊芙琳·孔特让 1 可口、蒂埃里 1 库卡斯·扎伊卡 1 Dang，Tat Dat公司 1 欧内斯特·戴维斯 1 德利马，塔纳拉·阿里利 1 莱昂纳多·德·莫拉 1 马克西姆·邓内斯 1 Jose Divasón 1 克里斯蒂安·多兹卡尔 1 塞萨尔·多明格斯 1 德里克·德雷尔（Derek R.Dreyer）。 1 傅耀顺 1 马龙·富拉 1 亚历杭德罗·加迪亚 1 安德烈·路易斯·加尔迪诺 1 埃米利奥·杰苏斯·加列戈·阿里亚斯 1 爱迪生·加列戈 1 穆罕·加内萨林加姆 1 弗朗索瓦·加里洛 1 雅克·加里格 1 米洛什·格里戈里奇。 1 戈梅斯·拉米雷斯，丹尼·阿伦·德·杰苏斯 1 威廉·蒂莫西·高尔斯 1 亚当·格拉博夫斯基 1 托马斯·格兰斯登 1 丹尼尔·理查德·格雷森 1 费卢西奥·圭迪 1 马纳布哈吉瓦拉 1 托马斯·卡利斯特·黑尔斯 1 纪尧姆·汉罗 1 奥斯曼·哈桑 1 马克西米利安·哈斯贝克。 1 Hoáng LéTrườ纳克 1 贾尼契奇，普雷德拉格 1 德博拉·康德 1 里卡多·戴维·卡茨 1 曼弗雷德·科伯 1 玛丽·柯让 1 叶卡捷琳娜·科门丹茨卡亚 1 弗拉基米尔·科门丹斯基 …还有71位作者 全部的 前5名27篇连载文章中引用 18 自动推理杂志 4 MSCS公司。计算机科学中的数学结构 三 数学与人工智能年鉴 2 合成 2 纯逻辑与应用逻辑年鉴 2 实验数学 2 函数编程杂志 2 ACM计算逻辑事务 2 计算机科学中的数学 2 伦敦皇家学会哲学汇刊。A.数学、物理和工程科学 1 人工智能 1 计算机与数学及其应用 1 数学信使 1 数学经济学杂志 1 理论计算机科学 1 符号计算杂志 1 信息与计算 1 美国数学学会公报。新系列 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 逻辑程序设计理论与实践 1 代数、数论与应用杂志 1 符号逻辑述评 1 形式化推理杂志 1 Pi数学论坛 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 膜计算杂志 全部的 前5名22个领域被引用 78 计算机科学（68至XX） 27 数学逻辑和基础（03-XX） 7 总体主题；集合（00-XX） 5 代数拓扑（55-XX） 5 数值分析（65-XX） 4 范畴理论；同调代数（18-XX） 三 数论（11-XX） 三 场论和多项式（12-XX） 2 历史与传记（01-XX） 2 交换代数（13-XX） 2 代数几何（14-XX） 2 线性代数和多线性代数；矩阵理论（15-XX） 2 群论与推广（20-XX） 2 实际功能（26年X月X日） 2 偏微分方程（35-XX） 2 信息与通信理论、电路（94-XX） 1 结合环与代数（16-XX） 1 常微分方程（34-XX） 1 凸和离散几何（52至XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 生物学和其他自然科学（92-XX） 1 数学教育（97-XX） 按年份列出的引文