南美林猫 23篇文献引用(2007–2022) 软件作者： 埃米娜·托拉克；丹尼尔·杰克逊 相关软件： z3；Isabelle/HOL；尼特皮克… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
梅林 在13份文件中引用(1992–2015) 软件作者： 帕帕乔乌，D.G。；德梅特罗普洛斯，I.N。；I.E.拉加里斯。 相关软件： MCL；PANMIN；托尔敏… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
穆阿洛 14篇文献引用(2018–2023) 软件作者： 米尔贾利利，S。；Jangir，P。；萨雷米，S。 相关软件： ALO；MOGWO；MOGOA… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
parest_dae 8份文件引用(2014–2022) 软件作者： 卡西安·潘提亚（Casian Pantea）、安库尔·古普塔（Ankur Gupta）、詹姆斯·罗林斯（James B.Rawlings）、戈奥盖·克拉西恩（Gheorghe Craciun） 相关软件： 雏菊；西安；奇异… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；代数拓扑（55-XX）…
SwAV软件 6篇文献引用(2022–2024) 软件作者： 马蒂尔德·卡隆、伊斯汉·米斯拉、朱利安·迈拉尔、普里亚·戈亚尔、彼得·博亚诺夫斯基、阿尔曼德·朱林 相关软件： SimCLR；ImageNet；PyTorch… 主要字段： 总体主题；藏品（00-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
艾朱利安 5份文件引用（2014年至2020年） 软件作者： 马利亚阿尔普特；黛米斯·巴利斯；弗朗西斯科·弗雷奇纳；朱莉娅·萨皮娜 相关软件： 莫德；Web-TLR；动画… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
超级有线电视新闻网 3份文件引用(2018–2020) 软件作者： 何顺华、刘瑞华、刘文华、黄振中、杨振强 相关软件： 更快的R-CNN；纽约大学深度；显示… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
EOMP公司 1份文件引用(2010) 软件作者： 穆罕默德·马卢克（M.A.Maluk Mohamed）；德瓦纳坦，V.R。；Janakiram，D。 相关软件： 全球移动模拟 主要字段： 计算机科学（68-XX）
胸部 1份文件引用(2023) 软件作者： Randal E.布莱恩特。 相关软件： Paracooba；Kissat公司；SBSAT… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）