MoDeST公司 33篇文献引用(2001–2022) 软件作者： 佩德罗·R·D’Argenio。；赫尔曼斯，霍尔格；Joost-Pieter Katoen；里克·克拉伦 相关软件： 棱镜；Uppaal；高科技… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
方案 14篇文献引用(1989–2011) 软件作者： 盖伊·L·斯蒂尔；杰拉尔德·杰伊·萨斯曼 相关软件： LISP；PVS；Lotrescheme… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
算法786 12份文件引用(1998–2017) 软件作者： 大卫·M·史密斯。 相关软件： MPFR；算法693；gmp… 主要字段： 特殊功能（33-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
萨瑟 7份文件引用(1996–2010) 软件作者： S.M.Omohundro、C.-C.Lim、J.Bilmes、， 相关软件： 艾菲尔铁塔；红宝石；回路… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
地籍图 4份文件引用(1983–2017) 软件作者： 马蒂·科恩（Marty S.Cohen）。；船体，T.E。；V.Carl哈马赫 相关软件： VPI；C-XSC；decNumber… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
RPython公司 3份文件引用(2009–2022) 软件作者： 大卫·安科纳、马西莫·安科娜、安东尼奥·库尼和尼古拉斯·D·马萨基斯 相关软件： GitHub；烟尘；爪哇格兰德… 主要字段： 计算机科学（68-XX）
三重病毒 在0个文档中引用 软件作者： Mike Shengbo Wang、Florian Beutler、Naonori S.Sugiyama 相关软件： nbodykit；天文术；蟒蛇 主要字段： –