莫德 646份文件中引用(1984–2023) 软件作者： Clavel，M。；杜兰，F。；埃克，S。；林肯，P。；Martí-Oliet，北卡罗来纳州。；莫德团队 相关软件： OBJ咖啡馆；OBJ3；ELAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
CiME公司 38篇文献引用(1997–2022) 软件作者： 埃维琳·孔特让、克劳德·马奇、安德烈·帕斯科维奇、泽维尔·乌尔班 相关软件： AProVE；蒂罗尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
日本运通银行 25篇文献引用(2002–2022) 软件作者： 克劳斯·哈维隆德；格里高·罗什乌 相关软件： Java PathFinder；莫德；班德拉… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
爪哇风扇 30篇文献引用(2004–2018) 软件作者： 阿扎德·法尔赞；陈冯；何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；K校准仪；MMT… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
D装货商 12份文件引用（2009年-2023年） 软件作者： 阿德里安·里斯科；阿尔贝托·维尔德乔（Alberto Verdejo）；马丁·奥列特，纳西索；拉斐尔·卡巴列罗 相关软件： 莫德；阿尼玛；Web-TLR… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
MMT公司 13份文件引用(2007–2019) 软件作者： Fabricio Chalub；克里斯蒂亚诺·布拉加 相关软件： 莫德；K校准仪；JavaFAN… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
时刻2 9份文件引用(2010–2016) 软件作者： 阿图尔·博罗纳特；彼得·科萨巴·奥尔韦茨基 相关软件： 莫德；时间点/时间点；托勒密… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
艾朱利安 5份文件引用(2014–2020) 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；网络TLR；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
距离-弧度 5份文件引用(2011–2015) 软件作者： Musab AlTurki；何塞·梅塞盖尔 相关软件： 莫德；爪哇风扇；Java+ITP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
皮尔洛 4份文件引用(2014–2022) 软件作者： Lenz Belzner；德尼古拉（De Nicola）、罗科（Rocco）；安德烈·范丁（Andrea Vandin）；马丁·威尔辛 相关软件： MultiVeStA；SCEL；莫德… 主要字段： 统计学（62-XX）；计算机科学（68-XX）
HI-Maud（高强度） 1份文件引用(2015) 软件作者： 穆罕默德·法德利西亚（Muhammad Fadlisyah）；Ölveczky、Peter Csaba 相关软件： 莫德；莫德-NPA；P审计… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
CBabel公司 2份文件引用(2005–2009) 软件作者： 亚历山大·雷德梅克；克里斯蒂亚诺·布拉加；亚历山大·斯塔金伯格 相关软件： 莫德；GraphML；SLMC… 主要字段： 计算机科学（68-XX）
DyNetiKAT公司 2份文件引用(2022) 软件作者： 乔治亚娜·卡尔泰斯；侯赛因·霍贾特；穆萨维、穆罕默德·雷扎；昆卡罐Tunç 相关软件： NetKAT；蟒蛇；莫德… 主要字段： 计算机科学（68-XX）