编辑配置文件(在新选项卡中打开) 科恩,西里尔 合著者距离 作者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 马克西姆·邓内斯 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 Hou(Favonia)、Kuen-Bang 1 西蒙·胡贝尔 1 安德烈·乔亚尔 1 克日什托夫·卡普尔金 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 Théo温特哈尔特 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 Lasalle不变性原理在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);阿西亚·马布比;O&rsquo的;罗素·康纳;乌尔德·比哈,西迪;爱荷华州帕斯卡;劳伦斯·里多;阿列克谢·索洛维耶夫;恩里科·塔西;Laurent Théry 67 2013 免费精炼! Zbl 1426.68165号 科恩,西里尔;马克西姆·邓内斯;安德斯·莫特伯格 21 2013 Coq中的语用商类型。 Zbl 1317.68207号 科恩,西里尔 12 2013 实代数几何中的形式证明:从有序域到量词消除。 Zbl 1241.68096号 科恩,西里尔;阿西亚·马布比 18 2012 Coq中实代数数的构造。 兹比尔1360.68744 科恩,西里尔 11 2012 代数闭域的形式量词消去。 Zbl 1286.68394号 科恩,西里尔;阿西亚·马布比 三 2010 所有引用出版物 前5名被引用出版物 全部的 前5名358位作者引用 7 劳伦斯·查尔斯·保尔森 6 雷纳尔德·阿弗尔德 6 乌尔里克·巴赫霍尔茨 6 可口、蒂埃里 6 何塞·迪瓦松 6 莫格尔贝格、拉斯穆斯·埃杰勒斯 6 安德鲁·皮特斯(Andrew M.Pitts)。 5 科恩,西里尔 5 Cezary卡利西克 5 伊恩,奥尔顿 5 克里斯蒂安·萨特勒 4 阿伦斯,贝内迪克特 4 泽维尔·阿拉米吉恩 4 卡洛·安吉利 4 杰苏斯·阿兰塞 4 杰里米·阿维加德 4 罗伯特·哈珀 4 西蒙·胡贝尔 4 卡茨,里卡多·大卫 4 安德斯·莫特伯格 4 溅出物,Bas 4 Laurent Théry 4 雷内·蒂曼 三 托尔斯滕·阿滕柯奇 三 Lars Birkedal公司 三 阿列舍·比兹亚克 三 西蒙·博利埃 三 拉纳德·A·克鲁斯顿。 三 甘比诺,尼古拉 三 Hou(Favonia)、Kuen-Bang 三 安布罗斯·卡波西 三 克日什托夫·卡普尔金 三 多米尼克·柯斯特 三 李文达 三 丹尼尔·李卡塔(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 穆尼奥斯,塞萨尔·A。 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) 按年份列出的引文