皮克特 74份文件引用(1996–2022) 软件作者： 本杰明·C·皮尔斯。；大卫·N·特纳 相关软件： 乔卡姆；莫德；Oz… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
PMaude公司 30篇文献引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞盖尔（JoséMeseguer）；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
伊比斯 1份文件引用(2009) 软件作者： Nieuwpoort R.、Maassen J.、Wrzesinska G.、Hofman R.F.H.、Jacobs C.J.H.、Kielmann T.、Bal H.E 相关软件： CUDA；MPJ Express公司；NAS并行基准… 主要字段： 计算机科学（68-XX）
J-Sim公司 4份文件引用(2009–2016) 软件作者： Sobeih A、Hou J、Kung L-C、Li N、Zhang H、Chen W-P、Tyan H-Y、Lim H 相关软件： 标签 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；对照（93-XX）
泡菜 1份文件引用(2017) 软件作者： Python软件基金会 相关软件： 蟒蛇；数字Py；Joblib… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
卡西诺 1份文件引用(2002) 软件作者： 阿卜杜拉·巴图；比拉尔·汗；丹尼尔·李（Daniel C.Lee）。；斯宾塞·马什；芒卡斯尔，肖恩；大卫·塔尔马格 相关软件： 国家标准-2 主要字段： 计算机科学（68-XX）
流-51 在0个文档中引用 软件作者： Ryne Roady、Tyler L Hayes、Hitesh Vaidya、Christopher Kanan 相关软件： MNIST；OpenLORIS公司；变压器… 主要字段： –
海波冲浪 1份文件引用(2000) 软件作者： 博格·格雷厄姆（Borg-Graham）、莱尔·J·。 相关软件： 神经元；拉力赛 主要字段： 数值分析（65-XX）；生物学和其他自然科学（92-XX）