克里斯托夫·埃瓦尔德·本兹穆勒 102出版物(1997–2023)编入索引的 447条引文 合著者： 亚历山大·斯蒂恩（Alexander Steen）；福恩市长，大卫；沃尔克·索尔格… 主要字段： 计算机科学（68-XX） 发布日期： 克里斯托夫·本兹穆勒;克里斯托夫·本兹穆勒（Christoph E.Benzmüller）。;Benzmüller，C。 更多。。。较少的
弗拉基米尔·勃列日涅夫 2出版物(2002–2006)编入索引的 27引文 合著者： 克里斯托夫·埃瓦尔德（Christoph Ewald），本兹穆勒（Benzmüller）；Lassaad Cheikhrouhou；阿明·菲德勒… 主要字段： 计算机科学（68-XX） 发布日期： 弗拉基米尔·勃列日涅夫
Lassaad Cheikhrouhou 4出版物(1997–2002)编入索引的 20引文 合著者： 谢克曼，Jörg H。；克里斯托夫·埃瓦尔德（Christoph Ewald），本兹穆勒（Benzmüller）；阿明·菲德勒… 主要字段： 计算机科学（68-XX） 发布日期： Lassaad Cheikhrouhou
阿杰·马赛尔·科恩 138出版物(1972–2022)编入索引的 2675条引文 合著者： 威尔士，David B。；汉斯·库珀斯；Andries Evert Brouwer… 主要字段： 群论与推广（20-XX）；几何（51-XX）；计算机科学（68-XX）。。。 发布日期： 阿杰·科恩（Arjeh M.Cohen）。;科恩，A.M。;阿杰·科恩;阿杰·马赛尔·科恩 更多。。。较少的
丹尼斯，路易斯·阿比盖尔 19出版物(1997–2022)编入索引的 14引文 合著者： 迈克尔·费舍尔；阿兰·邦迪（Alan Bundy）；格林，伊恩… 主要字段： 计算机科学（68-XX） 发布日期： 路易斯·丹尼斯（Louise A.Dennis）。;路易斯·丹尼斯;洛杉矶丹尼斯。;丹尼斯，路易斯·阿比盖尔 更多。。。较少的
阿明·菲德勒 13出版物(1996–2019)编入索引的 48条引文 合著者： 克里斯托夫·埃瓦尔德（Christoph Ewald），本兹穆勒（Benzmüller）；霍勒切克，赫尔穆特；安德烈亚斯·迈耶（Andreas Meier）… 主要字段： 计算机科学（68-XX） 发布日期： 阿明·菲德勒;A.菲德勒。
安德烈亚斯·弗兰克 5出版物(1999–2002)编入索引的 17引文 合著者： Michael Kohlhase；沃尔克·索尔格；本兹穆勒、克里斯托夫·埃瓦尔德… 主要字段： 计算机科学（68-XX） 发布日期： 安德烈亚斯·弗兰克
赫尔穆特·霍拉切克 9出版物(1990–2007)编入索引的 11引文 合著者： 阿明·菲德勒；克里斯托夫·埃瓦尔德（Christoph Ewald），本兹穆勒（Benzmüller）；Serge Autexier… 主要字段： 计算机科学（68-XX） 发布日期： 赫尔穆特·霍拉切克
马蒂亚·贾姆尼克 32份出版物(1999–2022)编入索引的 77条引文 合著者： 阿兰·邦迪（Alan Bundy）；曼弗雷德·科伯；本兹穆勒、克里斯托夫·埃瓦尔德… 主要字段： 计算机科学（68-XX） 发布日期： 马蒂亚·贾姆尼克
曼弗雷德·科伯 43出版物(1991–2023)编入索引的 94引文 合著者： 科林·罗亚特（Colin Rowat）；沃尔克·索尔格；本兹穆勒、克里斯托夫·埃瓦尔德… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 曼弗雷德·科伯
迈克尔·科尔哈斯 112出版物(1992–2023)编入索引的 387条引文 合著者： 弗洛里安·拉贝（Florian Rabe）；穆勒，丹尼斯；安德烈·科尔哈斯（Andrea Kohlhase）… 主要字段： 计算机科学（68-XX） 发布日期： 迈克尔·科尔哈斯
安德烈亚斯·梅耶 49出版物(1983–2023)编入索引的 82引文 合著者： 沃尔克·索尔格；艾丽卡，梅利斯；本兹穆勒、克里斯托夫·埃瓦尔德… 主要字段： 计算机科学（68-XX）；总体主题；藏品（00-XX）；数学教育（97-XX） 发布日期： 安德烈亚斯·梅耶;梅耶，A。
艾丽卡·梅利斯 27出版物(1972–2008)编入索引的 66引文 合著者： 安德烈亚斯·梅耶（Andreas Meier）；谢克曼，Jörg H。；Carsten A.Ullrich… 主要字段： 计算机科学（68-XX） 发布日期： 艾丽卡·梅利斯;梅利斯，E。
马库斯·莫什内尔 2出版物(2002–2004)编入索引的 13引文 合著者： 克里斯托夫·埃瓦尔德（Christoph Ewald），本兹穆勒（Benzmüller）；勃列日涅夫，弗拉基米尔；Cheikhrouhou，Lassaad… 主要字段： 计算机科学（68-XX） 发布日期： 马库斯·莫什内尔
斯科特·默里。 25出版物(1995–2024)编入索引的 150条引文 合著者： Lisa J.Carbone。；阿杰·马赛尔·科恩（Arjeh Marcel Cohen）；伊丽莎白·法里西奇（Elizabeth Jurisich）… 主要字段： 群论与推广（20-XX）；计算机科学（68-XX）；拓扑群，李群（22-XX）。。。 发布日期： 斯科特·默里。
伊曼纽尔·诺曼 4出版物(2002–2007)编入索引的 17引文 合著者： 克里斯托夫·埃瓦尔德（Christoph Ewald），本兹穆勒（Benzmüller）；阿明·菲德勒；Michael Kohlhase… 主要字段： 计算机科学（68-XX） 发布日期： 伊曼纽尔·诺曼
谢克曼，Jörg H。 69出版物(1963–2021)编入索引的 323引文 合著者： 克里斯托夫·埃瓦尔德（Christoph Ewald），本兹穆勒（Benzmüller）；艾丽卡·梅利斯；格雷厄姆·怀特森（Graham Wrightson）… 主要字段： 计算机科学（68-XX）；数学逻辑与基础（03-XX） 发布日期： 约格·西克曼;谢克曼，Jörg H。;J.西克曼。;希克曼，J.H。;乔格·希克曼。;希克曼，J.-H。 更多。。。较少的
沃尔克·索尔格 53出版物(1997–2020)编入索引的 129引文 合著者： 安德烈亚斯·梅尔；艾伦·P·塞克斯顿。；本兹穆勒、克里斯托夫·埃瓦尔德… 主要字段： 计算机科学（68-XX） 发布日期： 沃尔克·索尔格;索尔格，V。
Carsten A.Ullrich。 12出版物(1990–2019)编入索引的 70引文 合著者： 艾丽卡·梅利斯；保罗·利布雷希特（Paul Libbrecht）；尤琴·伯登本德… 主要字段： 计算机科学（68-XX）；量子理论（81-XX） 发布日期： 卡斯滕，乌尔里希;Carsten A.Ullrich。
克劳斯·皮特·沃思 24出版物(1993–2021)编入索引的 50条引文 合著者： 伯恩哈德·格拉姆利奇；克里斯托夫·埃瓦尔德（Christoph Ewald），本兹穆勒（Benzmüller）；安德烈亚斯·迈耶（Andreas Meier）… 主要字段： 数学逻辑与基础（03-XX） 发布日期： 克劳斯·彼得，沃思
尤根·齐默 6出版物(2000–2013)编入索引的 14引文 合著者： 艾丽卡·梅利斯；Michael Kohlhase；本兹穆勒、克里斯托夫·埃瓦尔德… 主要字段： 计算机科学（68-XX） 发布日期： 尤根·齐默