图形日志 34份文件引用(1990–2022) 软件作者： 康森斯，M。；门德尔松 相关软件： XPath；SPARQL；洛雷尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
正则集 在16份文件中引用(2011–2018) 软件作者： 亚历山大·克劳斯；托比亚斯·尼普科 相关软件： 存档正式证据；Isabelle/HOL；Coq… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
取消QL 10篇文献引用（2006年至2018年） 软件作者： 彼得·布内曼（Peter Buneman）、玛丽·费尔南德斯（Mary Fernandez）、丹·苏西乌（Dan Suciu） 相关软件： XPath；XQuery；减少… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
关系代数 6篇文献引用(2016–2018) 软件作者： 阿拉斯代尔·阿姆斯特朗、西蒙·福斯特、乔治·斯特鲁斯、贾克·韦伯 相关软件： 存档正式证据；Isabelle/HOL；HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
d2_集群 5份文件引用(2007–2019) 软件作者： Burke，J.、Davison，D.、Hide，W。 相关软件： 莫菲；PHYLIP；彩虹… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
杰克洛伊 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；KeY… 主要字段： 计算机科学（68-XX）
哈加 1份文件引用(2002) 软件作者： 奥斯卡·门瑟、黄志宁和洛伦斯·韦尔斯卑尔根 相关软件： —— 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
凯洛伊 1份文件引用(2012) 软件作者： 马蒂亚斯·乌尔布里奇；乌尔里希·盖尔曼；艾尔·加齐（El Ghazi），阿布巴克·阿赫拉夫（Aboubakr Achraf）；马纳·塔赫迪里 相关软件： 雅典娜；JKelloy；KeY… 主要字段： 计算机科学（68-XX）
骑士和骑士 1份文件引用(2021) 软件作者： 保罗·塔巴塔拜；Dieter P.格鲁伯。 相关软件： github；组织环境信息系统；COIN-OR… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
TRaCE公司+ 1份文件引用(2019) 软件作者： Ud-Dean SMM、Heise S、Klamt S、Gunawan R 相关软件： sva；KLU；FATODE… 主要字段： 生物学和其他自然科学（92-XX）