图形日志 34份文件引用(1990–2022) 软件作者： 康森斯，M。；门德尔松 相关软件： XPath；SPARQL；洛雷尔… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
EVPI公司 20篇文献引用(1997–2020) 软件作者： M.A.H.Dempster和R.T.Thompson 相关软件： MSLiP；GAMS；SLP-IOR… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
排队 14篇文献引用(2011–2023) 软件作者： Burckhardt，S.、Dern，C.、Musuvathi，M.、Tan，R。 相关软件： 自旋蛋白；龙胆；GitHub… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
FortSP公司 6篇文献引用（2009年至2022年） 软件作者： Ellison，E.F.D.，Mitra，G.，Zverovich，V。；OptiRisk系统 相关软件： CPLEX；朱莉娅；PySP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学编程（90-XX）
DET2STO公司 5份文件引用(2007–2012) 软件作者： 朱利安·塞尼；Jean-Philippe小瓶；尼迪·索尼 相关软件： SMPS阅读器；AMPL；阿达·布斯特。MH… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
研讨会2 5份文件引用(2018–2022) 软件作者： 弗兰蒂舍克·布拉胡德克；亚历山大·杜雷特·卢茨（Alexandre Duret-Lutz）；斯特雷切克，简 相关软件： SPOT；猫头鹰；棱镜… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
利米 4份文件引用(2015–2019) 软件作者： 乔恩，帕沃；埃德蒙·克拉克（Edmund M.Clarke）。；托马斯·亨辛格（Thomas A.Henzinger）。；拉德哈克利什纳（Radhakrishna），阿琼（Arjun）；列奥尼德·雷日克；萨曼塔（Samanta）、鲁普沙（Roopsha）；托尔斯滕·塔拉赫 相关软件： 利斯；CBMC；SymDiff… 主要字段： 计算机科学（68-XX）
病毒 引用于3份文件(2020–2021) 软件作者： Matthew Fellows、Anuj Mahajan、Tim G.J.Rudner、Shimon Whiteson 相关软件： 活力；多布森；RecPF… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）