×
编辑配置文件（在新选项卡中打开）

雅各布·冯·劳默

合著者距离
作者ID： 冯·拉默尔·雅各布“von Raumer，Jakob”最近发表的zbMATH文章
发布日期： 雅各布·冯·劳默
已编制索引的文档： 6出版物自2015年起，包括1个附加arXiv预打印
合著者： 6位合著者具有5份联合出版物
126位合著者
全部的 前5名

合著者

1 单一作者
三 尼古拉·克劳斯
2 弗洛里斯·范·道恩
1 杰里米·阿维加德
1 乌尔里克·巴赫霍尔茨
1 莱昂纳多·德·莫拉
1 孔顺浩

系列

1 MSCS公司。计算机科学中的数学结构

领域

4 数学逻辑和基础（03-XX）
4 计算机科学（68至XX）
三 代数拓扑（55-XX）
2 群论与推广（20-XX）
1 范畴理论；同调代数（18-XX）

按年份列出的出版物

所有引用出版物 前5名被引用出版物

zbMATH Open中包含的引文

三出版物有被引用80中的次77文件 引用人▼ 年份▼
精益定理证明器（系统描述）。 Zbl 1465.68279号
莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩;雅各布·冯·劳默
70
2015
精益中的同伦类型理论。 Zbl 1484.68319号
弗洛里斯·范·道恩;雅各布·冯·劳默;乌尔里克·巴赫霍尔茨
8
2017
通过良好的基础实现一致性。同伦类型理论中的驯服集商。 Zbl 1498.03033号
尼古拉·克劳斯;雅各布·冯·劳默
2
2020
通过良好的基础实现一致性。同伦类型理论中的驯服集商。 Zbl 1498.03033号
尼古拉·克劳斯;雅各布·冯·劳默
2
2020
精益中的同伦类型理论。 Zbl 1484.68319号
弗洛里斯·范杜恩;雅各布·冯·劳默;乌尔里克·巴赫霍尔茨
8
2017
精益定理证明器（系统描述）。 Zbl 1465.68279号
莱昂纳多·德·莫拉;孔顺浩;杰里米·阿维加德;弗洛里斯·范·道恩;雅各布·冯·劳默
70
2015
所有引用出版物 前5名被引用出版物
全部的 前5名

156位作者引用

4 乌尔里克·巴赫霍尔茨
4 塞萨里·卡利西克
三 罗伯特·哈珀
三 弗洛里安·拉贝
三 雅各布·冯·劳默
三 埃里克·威瑟
2 安德烈亚斯·阿贝尔（Andreas M.Abel）。
2 卡洛·安吉利
2 杰里米·阿维加德
2 安妮·巴南
2 安德烈·鲍尔
2 凯文·巴扎德
2 杰斯珀·考克斯
2 Sander R.Dahmen。
2 莱昂纳多·德·莫拉
2 Hou（Favonia）、Kuen-Bang
2 迈克尔·科尔哈斯
2 罗伯特·刘易斯。
2 贾科莫·马莱托
2 Meshveliani，S.博士。
2 Pąk，卡罗尔
2 鲍尔森、劳伦斯·查尔斯
2 卢卡·罗维斯
2 坂口和彦
2 恩里科·塔西
2 弗洛里斯·范·道恩
2 马卡里乌斯·温泽尔
2 吴敏超
1 雷纳尔德·阿弗尔德
1 纪尧姆·阿拉伊斯
1 托尔斯滕·阿滕柯奇
1 罗伯特·艾奇
1 尼古拉斯·贝尔
1 克里斯托夫·埃瓦尔德·本兹穆勒
1 贾斯敏·克里斯蒂安·布兰切特
1 布兰登·伯勒
1 西尔维·博尔多
1 安东尼·博尔吉
1 艾默里·布齐
1 布莱特，柯蒂斯
1 托马斯·布朗宁。
1 雅克·卡雷特
1 内森·卡特（Nathan C.Carter）。
1 埃文·卡瓦洛
1 詹姆斯·查普曼（James T.E.Chapman）。
1 玛莎·契契克
1 弗朗索瓦Clément
1 西里尔·科恩
1 Johan M.Commelin。
1 库卡斯·扎伊卡
1 Czarnecki、Krzysztof
1 阿德里安·德隆
1 多米尼克·德夫里塞
1 阿莱西奥·迪·桑德罗
1 弗洛里安·费索尔
1 Farmer，William M。
1 艾米·费尔蒂（Amy P.Felty）。
1 劳尔·费尔瓦里
1 布伦丹·方
1 伊恩·福特。
1 内森·富尔顿
1 维杰·加内什
1 Thibault Gauthier
1 米洛什·格里戈里奇。
1 戈雷，拉吉夫·普拉巴卡尔
1 塞巴斯蒂安·古泽尔
1 费卢西奥·圭迪
1 伊曼纽尔·冈瑟
1 韩，杰西·迈克尔
1 花冈五一郎
1 哈默（Russ Harmer）
1 菲利普·哈塞尔沃特。
1 阿尔伯特·海因尔
1 Michikazu Hirata
1 霍利迪，韦斯利H。
1 约翰·Hölzl
1 西蒙·胡登
1 克里斯·休斯
1 沃尔夫拉姆·卡尔
1 玛丽·柯让
1 福崎北川
1 小林直树
1 彼得·科普克
1 科齐里亚斯（Ilias S.Kotsireas）。
1 尼古拉·克劳斯
1 吉恩·克里文
1 刘肯尼
1 李俊毅·杰西
1 李文达
1 阿米莉亚·利文斯顿
1 安德烈亚斯·洛赫比勒
1 安东·洛伦岑
1 帕特里克·卢茨
1 阿西亚·马布比
1 阿德里安·马蒂
1 恩里克·马丁·马汀
1 文森特·马丁
1 高弘松田
1 松下幸介
1 米凯拉·梅耶罗
…还有56位作者
全部的 前5名

16篇连载文章中引用

6 自动推理杂志
5 程序设计中的逻辑和代数方法杂志
4 函数编程杂志
4 计算机科学中的逻辑方法
三 实验数学
2 编程和计算机软件
2 MSCS公司。计算机科学中的数学结构
1 人工智能
1 数学信使
1 符号计算杂志
1 计算的形式方面
1 美国数学学会公报。新系列
1 Indagationes Mathematicae公司。新系列
1 应用Clifford代数的进展
1 符号逻辑述评
1 高层建筑
全部的 前5名

18个领域被引用

65 计算机科学（68至XX）
28 数学逻辑和基础（03-XX）
10 代数拓扑（55-XX）
6 范畴理论；同调代数（18-XX）
三 总体主题；集合（00-XX）
三 数论（11-XX）
2 交换代数（13-XX）
2 代数几何（14-XX）
2 群论与推广（20-XX）
1 历史与传记（01-XX）
1 组合数学（05-XX）
1 场论与多项式（12-XX）
1 线性代数和多线性代数；矩阵理论（15-XX）
1 一般拓扑结构（54至XX）
1 量子理论（81-XX）
1 系统论；控制（93至XX）
1 信息与通信理论、电路（94-XX）
1 数学教育（97-XX）

按年份列出的引文