2-ANTBAL公司 13份文件引用(2009–2023) 软件作者： Simaria AS，Vilarinho PM公司 相关软件： TUALB；SALBP发电机 主要字段： 运筹学、数学规划（90-XX）
卡米瓦艾 13份文件引用(2003–2018) 软件作者： 埃克哈德·希策（Eckhard M.S.Hitzer）。 相关软件： CLUCalc；盖根；GABLE… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；群论与推广（20-XX）；几何（51-XX）…
菲亚特 10篇文献引用(2016–2022) 软件作者： 玛丽·罗杰斯、安德斯·洛格、大卫·哈姆、米克洛斯·霍莫利娅、尼科·施勒默、扬·布莱赫塔、安德鲁·麦克雷、阿斯莱克·伯格森、科林·科特、约翰内斯·林格、劳伦斯·米切尔 相关软件： PETSc；萤火虫；宠物… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VMC公司 5份文件引用(2015–2020) 软件作者： 莫里斯·比克。；弗朗科·马扎蒂（Franco Mazzanti）；苏洛娃，阿尔迪 相关软件： 德尔塔CCS；MSTA；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
增量CCS 4份文件引用(2015–2020) 软件作者： 马耳他州洛豪；Stephan Mennicke；豪克芭蕾舞团；拉尔斯·里贝克 相关软件： VMC；自旋蛋白；莫德… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
FAMILIAR系列 4份文件引用(2020–2022) 软件作者： Acher，M。；科莱，P。；拉希尔，P。；法国，R.B。 相关软件： 安；黑色素；MetaDepth… 主要字段： 计算机科学（68-XX）
ProMoVer公司 4份文件引用(2011–2016) 软件作者： Siavash Soleimanifard；古罗夫，帝力；玛丽克·赫斯曼 相关软件： MAVEN公司；德尔塔CCS；MSTA… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
SPL征服者 3份文件引用(2016–2021) 软件作者： Siegmund，N.、Rosenmüller，M.、Kuhlemann，M.，Kästner，C.、Apel，S.、Saake，G。 相关软件： Scalasca；AlgoWiki；TAU… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
SPLLIFT公司 3份文件引用(2016–2023) 软件作者： 博登，E。；Mezini，M。；布拉布兰德，C。；托利多，T。；里贝罗，M。；波巴，P。 相关软件： GitHub；FlowDroid；烟尘… 主要字段： 计算机科学（68-XX）
井拟序 3份文件引用(2011–2020) 软件作者： 克里斯蒂安·斯特纳格尔 相关软件： 存档正式证据；CeTA；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
德尔塔J 2份文件引用(2018) 软件作者： Koscielny，J.、Holthusen，S.、Schaefer，I.、Schulze，S.和Bettini，L.、Damiani，F。 相关软件： VerCors；酯类；毒蛇… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
达尔文SPL 1份文件引用(2018) 软件作者： Nieke，M.、Engel，G.、Seidl，C。 相关软件： VerCors；酯类；毒蛇… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
DeltaEcore公司 1份文件引用(2018) 软件作者： Seidl，C.，Schaefer，I.，Aßmann，U。 相关软件： VerCors；酯类；毒蛇… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
LS-LIB公司 1份文件引用(2009) 软件作者： 伊夫·波切特；马修·范·维夫；劳伦斯·A·沃尔西。 相关软件： bc-prod；莫塞尔；XPRESS公司 主要字段： 运筹学、数学规划（90-XX）