CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克，韦贝克；Wil M.P.范德阿尔斯特。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 一般性和全局性主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
罗密欧 引用于27份文件(2005–2020) 软件作者： 纪尧姆·加迪；莱姆，迪迪埃；摩根·马根（Morgan Magnin）；Olivier Roux（H.） 相关软件： TINA；Uppaal；Kronos… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
APNN-工具箱 12份文件引用(1999–2022) 软件作者： 彼得·巴赫霍尔茨（Peter Buchholz）；马库斯·费舍尔；彼得·坎佩尔；卡斯滕·泰珀 相关软件： 棱镜；蛋白胨；LDQBD… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
工艺品 4份文件引用(2011–2022) 软件作者： 伊万·波利亚科夫；丹尼尔·索科洛夫；安德烈·莫霍夫 相关软件： VipTool；基因；石化… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
查理 引用于3份文件(2015–2018) 软件作者： 莫妮卡·海纳；马丁·施瓦里克；詹·蒂埃里·韦格纳 相关软件： 清爽；玛丽；可视化DSD… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
PTrie公司 5份文件引用(2017–2021) 软件作者： Peter Gjol Jensen；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；LoLA；zUpdate… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）
导线 引用于3份文件(2018–2021) 软件作者： 卡米利，马蒂奥；卡洛·贝莱蒂尼；洛伦佐·卡普拉；蒙加，马蒂亚；网飞公司 相关软件： MongoDB；开放星云；沙发数据库… 主要字段： 计算机科学（68-XX）
pntool工具 2份文件引用(2004) 软件作者： 屋大维，帕斯特拉瓦努；Matcovschi、Mihaela-Hanako；克里斯蒂安·马胡利亚 相关软件： Matlab公司 主要字段： 一般性和全局性主题；藏品（00-XX）；系统论；控制（93-XX）
WebSPN（网络SPN） 2份文件引用（1998-2000年） 软件作者： 安德拉斯·霍瓦思（Andras Horváth）；安东尼奥·普利亚菲托；马可·斯卡帕；米克洛斯·特莱克；奥拉齐奥·托马齐奥 相关软件： 静电除尘器；TimeNET（时间网） 主要字段： 计算机科学（68-XX）
亚斯珀 2份文件引用(2008–2017) 软件作者： van Hee，K.、Oanea，O.、Post，R.、Somers，L.、van de Werf，J.M。 相关软件： 管道；VipTool；沃夫兰… 主要字段： 计算机科学（68-XX）
LEMMA公司 1份文件引用(2002) 软件作者： L.Baresi、F.Consorti、M.Di Paola、A.Gargiulo、M.Pezzè 相关软件： MetaEnv；MetaEdit+；Uppaal公司 主要字段： 计算机科学（68-XX）
PNlib（PNlib） 1份文件引用(2020) 软件作者： Sabrina专业；伯恩哈德·巴赫曼 相关软件： Modelica；PetriFlow；迪莫拉 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）