编辑配置文件(在新选项卡中打开) 安德斯·莫特伯格 合著者距离 作者ID: 莫特伯格·安德斯 发布日期: 安德斯·莫特伯格 已编制索引的文档: 22出版物自2012年起,包括6附加arXiv预打印 2作为编辑的贡献 合著者: 22位合著者具有23联合出版物 206合著作者 全部的 前5名合著者 1 单作者的 6 文森特·塞尔斯 5 阿伦斯,贝内迪克特 5 可口、蒂埃里 4 西里尔·科恩 4 马克西姆·邓内斯 4 西蒙·胡贝尔 4 Axel永斯特伦 2 乔纳森·赫拉斯 2 拉尔夫·马提斯 1 安德烈亚斯·阿贝尔(Andreas M.Abel)。 1 纪尧姆·布鲁内里 1 纪尧姆·卡诺 1 埃文·卡瓦洛 1 丹尼尔·格拉泽 1 赫孔·罗贝斯塔德·吉尔特鲁德 1 托马斯·拉米奥 1 加迪亚·马塔 1 玛丽亚·波扎 1 伊丽莎白·斯坦霍姆 1 安德鲁·斯旺。 1 安德烈亚·维佐西 1 马克斯·齐纳 全部的 前5名系列 三 MSCS公司。计算机科学中的数学结构 1 自动推理杂志 1 函数编程杂志 1 ACM计算逻辑事务 1 计算机科学中的逻辑方法 1 形式化推理杂志 全部的 前5名领域 12 计算机科学(68至XX) 11 数学逻辑和基础(03-XX) 5 代数拓扑(55-XX) 2 一般性和全局性主题;集合(00-XX) 2 线性代数和多线性代数;矩阵理论(15-XX) 2 范畴理论;同调代数(18-XX) 1 交换代数(13-XX) 1 结合环与代数(16-XX) 1 流形和细胞复合体(57-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的出版物 所有引用出版物 前5名被引用出版物 zbMATH Open中包含的引文 14出版物有被引用171中的次120文件 引用人▼ 年份▼ 立方型理论:对单价公理的建设性解释。 兹伯利1434.03036 西里尔·科恩;可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 70 2018 关于立方体类型理论中的高级归纳类型。 Zbl 1452.03036号 可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 23 2018 免费精炼! Zbl 1426.68165号 西里尔·科恩;马克西姆·邓内斯;安德斯·莫特伯格 21 2013 立方Agda:一种具有单价和更高归纳类型的独立类型编程语言。 Zbl 1512.68058号 安德烈亚·维佐西;安德斯·莫特伯格;安德烈亚斯·亚贝尔 17 2021 Coq中基于精化的计算代数方法。 Zbl 1360.68745号 马克西姆·邓内斯;安德斯·莫特伯格;文森特·塞尔斯 14 2012 中初等除数环上的形式化线性代数Coq公司. Zbl 1448.68461号 纪尧姆·卡诺;西里尔·科恩;马克西姆·邓内斯;安德斯·莫特伯格;文森特·塞尔斯 6 2016 统一单价型理论的立方模型。 Zbl 07650827号 埃文·卡瓦洛;安德斯·莫特伯格;安德鲁·斯旺。 5 2020 计算Coq/SSReflect中的持久同源性。 Zbl 1353.68251号 乔纳森·赫拉斯;可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 4 2013 从签名到单子大学数学. Zbl 1468.03007号 阿伦斯,贝内迪克特;拉尔夫·马提斯;安德斯·莫特伯格 三 2019 Sasaki-Murao算法的形式化证明。 兹比尔1451.68321 可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 2 2012 数字图像同源群的认证计算。 Zbl 1357.68280号 乔纳森·赫拉斯;马克西姆·邓内斯;加迪亚·马塔;安德斯·莫特伯格;玛丽亚·波扎;文森特·塞尔斯 2 2012 类型理论中的相干环和强离散环。 Zbl 1383.03016号 可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 2 2012 UniMath(扩展抽象)中的一些基础良好的树。 Zbl 1434.03023号 阿伦斯,贝内迪克特;安德斯·莫特伯格 1 2016 同伦类型理论和单叶基础中的立方方法。 兹比尔07630472 安德斯·莫特伯格 1 2021 立方Agda:一种具有单价和更高归纳类型的独立类型编程语言。 Zbl 1512.68058号 安德烈亚·维佐西;安德斯·莫特伯格;安德烈亚斯·亚贝尔 17 2021 同位类型理论和单价基础中的三次方方法。 Zbl 07630472号 安德斯·莫特伯格 1 2021 统一单价型理论的立方模型。 Zbl 07650827号 埃文·卡瓦洛;安德斯·莫特伯格;安德鲁·斯旺。 5 2020 从签名到单子大学数学. Zbl 1468.03007号 阿伦斯,贝内迪克特;拉尔夫·马提斯;安德斯·莫特伯格 三 2019 立体类型理论:对单价公理的一种建设性解释。 Zbl 1434.03036号 西里尔·科恩;可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 70 2018 关于立方体类型理论中的高级归纳类型。 Zbl 1452.03036号 可口、蒂埃里;西蒙·胡贝尔;安德斯·莫特伯格 23 2018 中初等除数环上的形式化线性代数Coq公司. Zbl 1448.68461号 纪尧姆·卡诺;西里尔·科恩;马克西姆·邓内斯;安德斯·莫特伯格;文森特·塞尔斯 6 2016 UniMath(扩展抽象)中的一些基础良好的树。 Zbl 1434.03023号 阿伦斯,贝内迪克特;安德斯·莫特伯格 1 2016 免费精炼! Zbl 1426.68165号 西里尔·科恩;马克西姆·邓内斯;安德斯·莫特伯格 21 2013 计算Coq/SSReflect中的持久同源性。 Zbl 1353.68251号 乔纳森·赫拉斯;可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 4 2013 Coq中基于细化的计算代数方法。 兹比尔1360.68745 马克西姆·邓内斯;安德斯·莫特伯格;文森特·塞尔斯 14 2012 Sasaki-Murao算法的形式化证明。 Zbl 1451.68321号 可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 2 2012 数字图像同源群的认证计算。 Zbl 1357.68280号 乔纳森·赫拉斯;马克西姆·邓内斯;加迪亚·马塔;安德斯·莫特伯格;玛丽亚·波扎;文森特·塞尔斯 2 2012 类型理论中的相干环和强离散环。 Zbl 1383.03016号 可口、蒂埃里;安德斯·莫特伯格;文森特·塞尔斯 2 2012 所有引用出版物 前5名被引用出版物 全部的 前5名173位作者引用 7 安德鲁·皮特斯(Andrew M.Pitts)。 6 乌尔里克·巴赫霍尔茨 6 Jose Divasón 6 莫格尔贝里,拉斯穆斯·埃杰勒斯 6 克里斯蒂安·萨特勒 5 卡洛·安吉利 5 杰苏斯·阿兰塞 5 可口、蒂埃里 5 伊恩·奥尔顿 4 阿伦斯,贝内迪克特 4 托尔斯滕·阿滕柯奇 4 罗伯特·哈珀 4 西蒙·胡贝尔 4 安布罗斯·卡波西 4 尼古拉·克劳斯 4 安德斯·莫特伯格 三 泽维尔·阿拉米吉恩 三 拉尔斯·比克达尔 三 阿列舍·比兹亚克 三 克劳斯顿,拉纳德·A。 三 尼古拉·甘比诺 三 乔纳森·赫拉斯 三 Hou(Favonia)、Kuen-Bang 三 里卡多·戴维·卡茨 三 丹尼尔·李卡塔(Daniel R.Licata)。 三 安德烈亚斯·洛赫比勒 三 曼纳,巴赛尔 三 埃里克·马丁·多雷尔 三 溅出物,Bas 三 乔纳森·斯特林 三 安德鲁·斯旺。 三 上村,太极 三 尼科洛·维尔特里 三 安德烈亚·维佐西 2 安德烈亚斯·阿贝尔(Andreas M.Abel)。 2 西蒙·博利埃 2 皮埃尔·埃瓦里斯特·达甘 2 多米尼克·德夫里塞 2 Fürer,巴西尔 2 汉斯·布格,格拉思沃尔 2 丹尼尔·格拉泽 2 科瓦奇,安德拉斯 2 Martín-Mateos,Francisco-Jesüs 2 拉尔夫·马提斯 2 皮埃尔·鲁克斯 2 鲁比奥·加西亚、朱利奥·杰苏斯 2 Joshua P.施耐德。 2 Michael A.舒尔曼。 2 尼古拉斯·塔巴鲁 2 Laurent Théry 2 德米特里·特拉泰尔 2 迪米特里斯·泽梅齐斯 2 范德维德,尼尔斯 2 雅各布·冯·劳默 1 雷纳尔德·阿弗尔德 1 丹尼尔·安尼科夫 1 安德烈亚·博尔赫斯·艾弗拉尔 1 史蒂夫·阿沃迪 1 毛里西奥·阿亚拉·林科恩 1 安妮·巴南 1 安德烈·鲍尔 1 布鲁诺·本岑 1 Bertholon,Guillaume纪尧姆 1 伊夫·贝托特 1 马克·贝泽姆 1 布洛特,亚瑟 1 塔比亚·博迪斯 1 尼古拉·博塔 1 努里亚布雷德 1 纪尧姆·布鲁内里 1 保罗·卡普里奥蒂 1 埃文·卡瓦洛 1 乔里斯·塞勒曼斯 1 马丁·克鲁查德 1 杰斯珀·考克斯 1 米歇尔·康坦特 1 Sander R.Dahmen。 1 丹尼尔森、尼尔斯·安德斯 1 汤姆·J·德容。 1 德利马,塔纳拉·阿里利 1 克里斯蒂安·多兹卡尔 1 塞萨尔·多明格斯 1 mnesc博士,Isabela 1 亚伦·M·达特(Aaron M.Dutle)。 1 马塞洛·菲奥雷(Marcelo P.Fiore)。 1 丹·弗鲁明 1 安德烈·路易斯·加尔迪诺 1 雅克·加里格 1 科林·吉尼特 1 简·赫尔曼·杰弗斯 1 莱昂·冈德尔曼 1 丹尼尔·理查德·格雷森 1 丹·格罗斯曼 1 菲利普·哈克尼 1 纪尧姆·汉罗 1 菲利普·哈塞尔瓦特(Philipp G.Haselwarter)。 1 西蒙·亨利 1 布兰登·休尔 1 Hötzel Escardó,马汀 1 格雷厄姆·赫顿 …还有73位作者 全部的 前5名25篇连载文章中引用 20 自动推理杂志 15 计算机科学中的逻辑方法 14 MSCS公司。计算机科学中的数学结构 6 函数编程杂志 三 高层建筑 2 纯粹与应用代数杂志 2 合成 2 理论计算机科学 2 符号计算杂志 1 剑桥哲学学会数学进展杂志 1 数学档案馆 1 伦敦数学学会杂志。第二系列 1 符号逻辑杂志 1 斯堪的纳维亚数学 1 美国数学学会会刊 1 纯逻辑与应用逻辑年鉴 1 计算的形式方面 1 美国数学学会公报。新系列 1 Indagationes Mathematicae公司。新系列 1 工程、通信和计算中的应用代数 1 数学逻辑季刊(MLQ) 1 《纽约数学杂志》 1 范畴的理论与应用 1 ACM计算逻辑事务 1 程序设计中的逻辑和代数方法杂志 全部的 前5名17个字段中引用 72 数学逻辑和基础(03-XX) 67 计算机科学(68至XX) 37 范畴理论;同调代数(18-XX) 36 代数拓扑(55-XX) 6 线性代数和多线性代数;矩阵理论(15-XX) 5 交换代数(13-XX) 5 数值分析(65-XX) 2 数论(11-XX) 2 结合环与代数(16-XX) 2 凸和离散几何(52至XX) 2 运筹学、数学规划(90-XX) 2 生物学和其他自然科学(92-XX) 1 历史和传记(01-XX) 1 组合数学(05-XX) 1 代数几何(14-XX) 1 群论与推广(20-XX) 1 信息与通信理论、电路(94-XX) 按年份列出的引文