sl2泡沫 10篇文献引用(2018–2023) 软件作者： 多纳，彼得罗；乔治·萨诺 相关软件： github；CUDAnative.jl；CUDA.jl… 主要字段： 拓扑群，李群（22-XX）；微分几何（53-XX）；统计学（62-XX）…
SAL公司 5份文件引用(2004–2021) 软件作者： 格雷戈伊尔·哈蒙、莱昂纳多·德·莫拉、约翰·拉什比 相关软件： 自旋蛋白；PVS；升起… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
交通 8份文件引用(2015–2022) 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简单… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
查理 3份文件引用(2015–2018) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；詹·蒂埃里·韦格纳 相关软件： 清爽；玛丽；蛇… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
pntool工具 2份文件引用(2004) 软件作者： 屋大维，帕斯特拉瓦努；Matcovschi、Mihaela-Hanako；克里斯蒂安·马胡利亚 相关软件： Matlab公司 主要字段： 一般性和全局性主题；藏品（00-XX）；系统论；控制（93-XX）
凶悍的人 2份文件引用(2021–2022) 软件作者： 马丁·科尔贝尔；Leue，Stefan；托马斯·维斯 相关软件： Uppaal；SemFix；S-TaLiRo… 主要字段： 计算机科学（68-XX）