编辑配置文件（在新选项卡中打开） 科恩，西里尔 合著者距离 作者ID： 科恩·西里尔 发布日期： 科恩，西里尔 主页： https://perso.crans.org/cohen/ 外部链接： MGP公司·ORCID公司·ResearchGate研究之门·数据库许可证 已编制索引的文档： 18出版物自2010年起 1进一步贡献 合著者： 36位合著者具有17联合出版物 440位合作作者 全部的 前5名合著者 2 单作者的 6 阿西亚·马布比 4 安德斯·莫特伯格 三 雷纳尔德·阿弗尔德 三 可口、蒂埃里 三 Damien Rouhling公司 三 索索、马蒂厄 2 阿南德，阿比舍克 2 杰里米·阿维加德 2 伊夫·贝托特 2 西蒙·博利埃 2 Dénès，马克西姆 2 乔治·戈蒂尔 2 尼古拉斯·塔巴鲁 2 Laurent Théry 1 彼得·阿策尔 1 阿伦斯，贝内迪克特 1 托尔斯滕·阿滕柯奇 1 卡洛·安吉利 1 安德烈亚·阿斯佩蒂 1 史蒂夫·阿沃迪 1 布鲁诺·巴拉斯 1 安德烈·鲍尔 1 索菲·伯纳德 1 马克·贝泽姆 1 安东尼·博尔吉 1 纪尧姆·布鲁内里 1 纪尧姆·卡诺 1 陈，冉 1 罗伯特·李，警察 1 皮埃尔·卢伊斯·居里 1 彼得·戴比杰 1 埃里克·芬斯特 1 扬尼克·福斯特 1 甘比诺，尼古拉 1 弗朗索瓦·加里洛 1 理查德·加纳 1 丹尼尔·理查德·格雷森 1 托马斯·卡利斯特·黑尔斯 1 罗伯特·哈珀 1 雨果·赫贝林 1 马丁·霍夫曼 1 彼得·霍夫斯特拉（Pieter J.W.Hofstra）。 1 Hötzel Escardó，马汀 1 侯（法沃尼亚），Kuen Bang 1 西蒙·胡贝尔 1 安德烈·乔亚尔 1 Krzysztof卡普尔金 1 玛丽·柯让 1 约阿希姆·科克 1 尼古拉·克劳斯 1 费边·昆泽 1 圣埃芬·勒鲁 1 珍妮·雅克·利维 1 李诺 1 丹·利卡塔 1 彼得·勒法努·卢姆斯代恩 1 罗朝晖 1 格雷戈里·马莱查 1 马丁·洛夫（Martin-Löf，Per） 1 谢尔盖·阿列克桑德罗维奇·梅利霍夫 1 迈克尔，纳哈斯 1 罗素·奥康纳 1 乌尔德·比哈，西迪 1 埃里克·帕尔姆格伦 1 爱荷华州帕什卡 1 阿尔瓦罗·佩莱奥 1 安德鲁·波伦斯基 1 劳伦斯·里多 1 艾米丽·里尔 1 埃格伯特·里杰克 1 坂口和彦 1 达娜·斯图尔特·斯科特 1 菲利普·斯科特。 1 Michael A.舒尔曼。 1 文森特·塞尔斯 1 克里斯蒂娜·索贾科娃 1 索洛夫·弗拉基米洛维奇 1 阿列克谢·索洛维耶夫 1 溅出物，Bas 1 Pierre-Yves支柱 1 恩里科·塔西 1 1 本诺·范登伯格 1 弗拉基米尔·阿列克桑德罗维奇（Vladimir Aleksandrovich） 1 沃伦、迈克尔·奥尔顿 1 塞奥温特哈尔特 1 诺姆·齐尔伯格 系列 2 自动化推理杂志 2 计算机科学中的逻辑方法 1 代数杂志 1 形式化推理期刊 全部的 前5名领域 16 计算机科学（68至XX） 7 数学逻辑和基础（03-XX） 4 场论和多项式（12-XX） 2 范畴理论；同调代数（18-XX） 2 代数拓扑（55-XX） 1 数论（11-XX） 1 代数几何（14-XX） 1 线性代数和多线性代数；矩阵理论（15-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 实际功能（26年X月X日） 1 常微分方程（34-XX） 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 16出版物有被引用241次207文件 引用人▼ 年份▼ 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 立方型理论：对单价公理的建设性解释。 Zbl 1434.03036号 科恩，西里尔;可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 70 2018 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝托特;科恩，西里尔;弗朗索瓦·加里洛;勒鲁（Le Roux，Stéphane）;阿西亚·马布比;罗素·奥康纳;乌尔德·比哈，西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 67 2013 免费精炼！ Zbl 1426.68165号 科恩，西里尔;马克西姆·邓内斯;安德斯·莫特伯格 21 2013 实代数几何中的形式证明：从有序域到量词消除。 Zbl 1241.68096号 科恩，西里尔;阿西亚·马布比 18 2012 Coq中的语用商类型。 Zbl 1317.68207号 科恩，西里尔 12 2013 Coq中实代数数的构造。 兹比尔1360.68744 科恩，西里尔 11 2012 经典分析中渐近推理的形式化技术。 Zbl 1451.68329号 雷纳尔德·阿弗尔德;科恩，西里尔;Damien Rouhling公司 9 2018 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德，阿比舍克;西蒙·博利埃;科恩，西里尔;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 中初等除数环上的形式化线性代数Coq公司. Zbl 1448.68461号 纪尧姆·卡诺;科恩，西里尔;马克西姆·邓内斯;安德斯·莫特伯格;文森特·塞尔斯 6 2016 使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号 阿南德，阿比舍克;西蒙·博利埃;科恩，西里尔;索索、马蒂厄;尼古拉斯·塔巴鲁 5 2018 依赖型理论中的竞争继承路径：功能分析中的一个案例研究。 Zbl 07614659号 雷纳尔德·阿弗尔德;科恩，西里尔;玛丽·柯让;阿西亚·马布比;Damien Rouhling公司;坂口和彦 5 2020 拉萨尔不变性原理的Coq形式证明。 Zbl 1484.68315号 科恩，西里尔;Damien Rouhling公司 4 2017 代数闭域的形式量词消去。 Zbl 1286.68394号 科恩，西里尔;阿西亚·马布比 三 2010 Why3、Coq和Isabelle中Tarjan强连通分量算法的形式化证明。 兹比尔07649962 陈，冉;科恩，西里尔;珍妮·雅克·莱维;斯蒂芬·默兹;Laurent Théry 2 2019 依赖类型理论中形式化的五次型的不可解性。 Zbl 07699425号 索菲·伯纳德;科恩，西里尔;阿西亚·马布比;Pierre-Yves支柱 1 2021 依赖类型理论中形式化的五次型的不可解性。 Zbl 07699425号 索菲·伯纳德;科恩，西里尔;阿西亚·马布比;Pierre-Yves支柱 1 2021 这个MetaCoq公司项目。 Zbl 1468.68075号 索索、马蒂厄;阿南德，阿比舍克;西蒙·博利埃;科恩，西里尔;扬尼克·福斯特;费边·昆泽;格雷戈里·马莱查;尼古拉斯·塔巴鲁;塞奥温特哈尔特 7 2020 依赖型理论中的竞争继承路径：功能分析中的一个案例研究。 Zbl 07614659号 雷纳尔德·阿弗尔德;科恩，西里尔;玛丽·柯让;阿西亚·马布比;Damien Rouhling公司;坂口和彦 5 2020 Why3、Coq和Isabelle中Tarjan强连通分量算法的形式化证明。 兹比尔07649962 陈，冉;科恩，西里尔;珍妮·雅克·莱维;斯蒂芬·默兹;Laurent Théry 2 2019 立方型理论：对单价公理的建设性解释。 Zbl 1434.03036号 科恩，西里尔;可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 70 2018 经典分析中渐近推理的形式化技术。 Zbl 1451.68329号 雷纳尔德·阿弗尔德;科恩，西里尔;Damien Rouhling公司 9 2018 使用键入的Template-Coq实现经认证的元编程。 Zbl 1468.68071号 阿南德，阿比舍克;西蒙·博利埃;科恩，西里尔;索索、马蒂厄;尼古拉斯·塔巴鲁 5 2018 Lasalle不变性原理在Coq中的一个形式证明。 Zbl 1484.68315号 科恩，西里尔;Damien Rouhling公司 4 2017 中初等除数环上的形式化线性代数Coq公司. Zbl 1448.68461号 纪尧姆·卡诺;科恩，西里尔;马克西姆·邓内斯;安德斯·莫特伯格;文森特·塞尔斯 6 2016 同伦类型理论。数学的单价基础。 Zbl 1298.03002号 单价基金项目 219 2013 奇数阶定理的机器检验证明。 Zbl 1317.68211号 乔治·戈蒂尔;安德烈亚·阿斯佩蒂;杰里米·阿维加德;伊夫·贝托特;科恩，西里尔;弗朗索瓦·加里洛;勒鲁（Le Roux，Stéphane）;阿西亚·马布比;运营；罗素·康纳;乌尔德·比哈，西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 67 2013 免费精炼！ Zbl 1426.68165号 科恩，西里尔;马克西姆·邓内斯;安德斯·莫特伯格 21 2013 Coq中的语用商类型。 兹比尔1317.68207 科恩，西里尔 12 2013 实代数几何中的形式证明：从有序域到量词消除。 Zbl 1241.68096号 科恩，西里尔;阿西亚·马布比 18 2012 Coq中实代数数的构造。 Zbl 1360.68744号 科恩，西里尔 11 2012 代数闭域的形式量词消去。 Zbl 1286.68394号 科恩，西里尔;阿西亚·马布比 三 2010 所有引用出版物 前5名被引用出版物 全部的 前5名358位作者引用 7 劳伦斯·查尔斯·保尔森 6 雷纳尔德·阿弗尔德 6 乌尔里克·巴赫霍尔茨 6 可口、蒂埃里 6 何塞·迪瓦松 6 莫格尔贝格、拉斯穆斯·埃杰勒斯 6 安德鲁·皮特斯（Andrew M.Pitts）。 5 科恩，西里尔 5 塞萨里·卡利西克 5 伊恩，奥尔顿 5 克里斯蒂安·萨特勒 4 阿伦斯，贝内迪克特 4 泽维尔·阿拉米吉恩 4 卡洛·安吉利 4 杰苏斯·阿兰塞 4 杰里米·阿维加德 4 罗伯特·哈珀 4 西蒙·胡贝尔 4 里卡多·戴维·卡茨 4 安德斯·莫特伯格 4 溅出物，Bas 4 Laurent Théry 4 雷内·蒂曼 三 托尔斯滕·阿滕柯奇 三 拉尔斯·比克达尔 三 阿列舍·比兹亚克 三 西蒙·博利埃 三 拉纳德·A·克鲁斯顿。 三 甘比诺，尼古拉 三 侯（法沃尼亚），Kuen Bang 三 安布罗斯·卡波西 三 Krzysztof卡普尔金 三 多米尼克·柯斯特 三 李文达 三 丹尼尔·李卡塔（Daniel R.Licata）。 三 安德烈亚斯·洛赫比勒 三 巴赛尔·曼纳 三 埃里克·马丁·多雷尔 三 朱利安·纳布克斯 三 弗洛里安·拉贝 三 Damien Rouhling公司 三 皮埃尔·鲁克斯 三 尼古拉斯·塔巴鲁 三 尼科洛·维尔特里 三 安德烈亚·维佐西 三 Akihisa山田 2 安德烈亚斯·阿贝尔（Andreas M.Abel）。 2 安德烈亚·阿斯佩蒂 2 史蒂夫·阿沃迪 2 皮埃尔·布特里 2 皮埃尔·埃瓦里斯特·达甘 2 詹姆斯·哈罗德·达文波特 2 克里斯蒂安·多兹卡尔 2 凯瑟琳·杜布瓦 2 斯特凡妮娅·邓布拉娃 2 Farmer，William M。 2 扬尼克·福斯特 2 巴兹尔·弗里尔 2 雅克·加里格 2 汉斯·布格·格雷斯沃尔 2 伊曼纽尔·冈瑟 2 乔纳森·赫拉斯 2 Joosten，Sebastian J.C。 2 迈克尔·科尔哈斯 2 尼古拉·克劳斯 2 费边·昆泽 2 多米尼克·拉切·温德林（Dominique Larchey-Wendling） 2 阿西亚·马布比 2 Martín-Mateos，Francisco-Jesüs 2 塞萨尔·穆尼奥斯。 2 安东尼·约瑟夫·纳卡维奇 2 托比亚斯·尼普科夫 2 诺里斯，迈克尔 2 米盖尔·帕加诺 2 安德烈·普拉泽 2 高福美斋川 2 坂口和彦 2 Joshua P.施耐德。 2 Michael A.舒尔曼。 2 索索、马蒂厄 2 弗洛里安·斯坦伯格 2 萨那斯托亚诺维奇 2 斯特拉图拉特，索林 2 Pierre-Yves支柱 2 Tan，Yong Kiam先生 2 恩里科·塔西 2 霍尔格·蒂斯 2 德米特里·特拉泰尔 2 季米特里斯·泽门齐斯 2 上村，太极 2 约瑟夫·厄本 2 范德维德，尼尔斯 2 雅各布·冯·劳默 2 埃里克·威瑟 2 贝塔·齐利安尼 1 奥斯卡·亚伯拉罕森 1 马克·亚当斯 1 阿南德，阿比舍克 1 丹尼尔·安尼科夫 1 安德烈亚·博尔赫斯·艾弗拉尔 …还有258位作者 全部的 前5名在38篇连载文章中被引用 37 自动化推理杂志 17 计算机科学中的逻辑方法 14 MSCS公司。计算机科学中的数学结构 9 函数编程杂志 4 合成 4 纯逻辑与应用逻辑年鉴 三 符号计算杂志 三 数学与人工智能年鉴 三 形式化推理期刊 三 高层建筑 2 计算的形式方面 2 Indagationes Mathematicae公司。新系列 2 实验数学 2 计算机科学中的数学 2 程序设计中的逻辑和代数方法杂志 2 伦敦皇家学会哲学学报。A.数学、物理和工程科学 1 人工智能 1 数学信使 1 伦敦数学学会杂志。第二系列 1 数学经济学杂志 1 纯粹与应用代数杂志 1 符号逻辑杂志 1 斯坎迪纳维卡数学 1 美国数学学会会刊 1 理论计算机科学 1 信息与计算 1 美国数学学会公报。新系列 1 工程、通信和计算中的应用代数 1 《纽约数学杂志》 1 范畴的理论与应用 1 逻辑程序设计理论与实践 1 代数、数论与应用杂志 1 ACM计算逻辑汇刊 1 符号逻辑述评 1 数学论坛，Pi 1 随机系统 1 伦敦皇家学会会刊。A.数学、物理和工程科学 1 膜计算杂志 全部的 前5名27个领域被引用 156 计算机科学（68至XX） 96 数学逻辑和基础（03-XX） 36 代数拓扑（55-XX） 35 范畴理论；同调代数（18-XX） 9 数论（11-XX） 7 总体主题；集合（00-XX） 6 交换代数（13-XX） 6 数值分析（65-XX） 5 代数几何（14-XX） 5 线性代数和多线性代数；矩阵理论（15-XX） 4 场论和多项式（12-XX） 三 实际功能（26年X月X日） 三 几何图形（51-XX） 三 凸几何和离散几何（52至XX） 三 运筹学、数学规划（90-XX） 2 历史和传记（01-XX） 2 常微分方程（34-XX） 2 系统论；控制（93至XX） 1 组合数学（05-XX） 1 阶、格、有序代数结构（06-XX） 1 结合环与代数（16-XX） 1 群论与推广（20-XX） 1 复变量的函数（30-XX） 1 概率论与随机过程（60-XX） 1 博弈论、经济学、金融和其他社会和行为科学（91-XX） 1 信息与通信理论、电路（94-XX） 1 数学教育（97-XX） 按年份列出的引文