巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 内核LEAF；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
RealPaver公司 51份文件中引用(2003–2017) 软件作者： 劳伦特·格兰维尔（Laurent Granvilliers） 相关软件： 数字；进入PT_90；监狱… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
第页，共页 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
火柴盒 24篇文献引用(2005–2023) 软件作者： J·沃尔德曼。 相关软件： AProVE；蒂罗尔；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
汉普 20篇文献引用(2012–2023) 软件作者： Ganesh，V.、Kieżun，A.、Artzi，S.、Guo，P.J.、Hooimeijer，P.、Ernst，M 相关软件： 陌生人；z3；S3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
PolyTOIL公司 19份文件引用（1997年-2014年） 软件作者： Bruce，K.，Schuett，A.，van Gent，R.，Fiech，A。 相关软件： 羽量级Java；埃菲尔；测试版… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
平面图 9份文件引用(1997–2005) 软件作者： 希克斯，迈克尔；潘卡杰·卡卡尔；乔纳森·摩尔（Jonathan T.Moore）。；卡尔·A·冈特。；斯科特·奈特尔斯 相关软件： OCaml；番石榴；AtomCaml… 主要字段： 计算机科学（68-XX）
SAL公司 5份文件引用(2004–2021) 软件作者： 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 相关软件： 自旋蛋白；PVS；升起… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CPBPV公司 4份文件引用（2010年-2023年） 软件作者： 赫莱内·科拉维扎；米歇尔·鲁赫（Michel Rueher）；帕斯卡·范·亨特利克 相关软件： TCAS；CBMC；VIPR… 主要字段： 计算机科学（68-XX）
流 6篇文献引用(2022–2023) 软件作者： 马特奥·贝尔纳迪尼、大卫·莫德斯蒂、弗朗西斯科·萨尔瓦多、塞尔吉奥·皮罗佐利 相关软件： HLLE；OpenACC；PyFR… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
Verics公司 6篇文献引用(2003–2018) 软件作者： 彼得亚·德米因斯基；阿加塔·雅诺夫斯卡；Pawe Janowskił；沃伊切赫·彭泽克（Wojciech Penczek）；阿加塔·波罗拉；马西耶·斯兹特尔（Maciej Szreter）；沃兹纳，博泽纳；安德烈·兹布雷泽兹尼 相关软件： MCMAS；MCK；NuSMV… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
仄洛斯 6篇文献引用(2013–2023) 软件作者： 蒂莫西·伯克（Timothy Bourke）、马克·普泽特（Marc Pouzet） 相关软件： Simulink；状态流；LUSTRE… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
国内流离失所者 5份文件引用(2008–2017) 软件作者： DTAI-KU鲁汶；Wittocx，J.，Marién，M.，Denecker，M 相关软件： 平滑；MiniSat；本质… 主要字段： 计算机科学（68-XX）
阿尔弗雷德 3份文件引用(2017–2018) 软件作者： Thankachan，S。；Chockalingam，S.P.公司。；刘，Y。；Apostolico，A。；阿鲁鲁，S。 相关软件： 肥皂；BWA；蝴蝶结2… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
NC-Maude公司 2份文件引用(2014–2023) 软件作者： 马克·博伊尔 相关软件： COINC公司；RTC工具箱；科雷利… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
状态跟踪 3份文件引用(2016–2019) 软件作者： 普林斯，M。；霍金斯，G。；Love，J。；A.希斯克特。 相关软件： QSIMVN；QT测试；r端口… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
定时丽贝卡 3份文件引用(2016–2020) 软件作者： Khamespanah，E.，Sirjani，M.，Sabahi-Kaviani，Z.，Khosravi，R.，Izadi，M。 相关软件： 丽贝卡；Uppaal；旋转… 主要字段： 计算机科学（68-XX）
杰克洛伊 1份文件引用(2012) 软件作者： Aboubakr Achraf El Ghazi、Mattias Ulbrich、Christoph Gladisch、Shmuel Tyszberowicz、Mana Taghdiri 相关软件： 雅典娜；凯洛伊；KeY… 主要字段： 计算机科学（68-XX）
EDSL公司 1份文件引用(2011) 软件作者： Alex Bain；约翰·米切尔（John Mitchell）；夏尔马，拉胡尔；德伊安·斯特凡（Deian Stefan）；乔·齐默尔曼 相关软件： 分享者；哈斯克尔 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
凯洛伊 1份文件引用(2012) 软件作者： 马蒂亚斯·乌尔布里奇；乌尔里希·盖尔曼；艾尔·加齐（El Ghazi），阿布巴克·阿赫拉夫（Aboubakr Achraf）；马纳·塔赫迪里 相关软件： 雅典娜；JKelloy；KeY… 主要字段： 计算机科学（68-XX）