巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 内核LEAF；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
爪哇风扇 30篇文献引用(2004–2018) 软件作者： 阿扎德·法尔赞；陈冯；何塞·梅塞盖尔；格里高·罗什乌 相关软件： 莫德；K校准仪；MMT… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（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）
霍恩洛格 6篇文献引用(1987–1993) 软件作者： 让·盖利埃（Jean H.Gallier）。；斯坦·拉茨 相关软件： 勒图尔 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
距离-弧度 5份文件引用(2011–2015) 软件作者： Musab AlTurki；何塞·梅塞盖尔 相关软件： 莫德；爪哇风扇；Java+ITP… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
SAFKASI公司 引用于3份文件(2005–2015) 软件作者： D.S.Wallach、A.W.Appel、E.W.Felten 相关软件： 棱镜；JFlow；活页夹… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
CBabel公司 2份文件引用(2005–2009) 软件作者： 亚历山大·雷德梅克；克里斯蒂亚诺·布拉加；亚历山大·斯塔金伯格 相关软件： 莫德；GraphML；SLMC… 主要字段： 计算机科学（68-XX）