12月6日 236篇文献引用(2003–2023) 软件作者： 尼古拉斯·I.M.古尔德。；多米尼克·奥尔班；马桶，菲利普·L。 相关软件： 切割机；minpack；L-BFGS… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
投掷 59篇文献引用(2005–2022) 软件作者： 帕特丽斯·戈德弗里德；尼尔斯·克拉伦德；库什克森 相关软件： 可爱的；z3；KLEE… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UniTESK公司 14篇文献引用(2002–2015) 软件作者： 俄罗斯科学院系统编程研究所 相关软件： SpecExplorer；投掷；可爱… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
DeepXlore公司 9份文件引用（2019年-2023年） 软件作者： 裴可欣、曹银芝、杨俊峰、贾苏曼 相关软件： 深度愚人；ImageNet；GitHub… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；计算机科学（68-XX）…
真相/SLC 4份文件引用(2001–2007) 软件作者： Martin Leucker；诺尔，托马斯 相关软件： mCRL；CADP；PlayGame游戏 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
节点py 6篇文献引用(2014–2022) 软件作者： 大卫·凯奇森 相关软件： Rk-opt；github；RODAS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）
神经传导者 引用于3份文件(2018–2023) 软件作者： 穆舍利，J。；Fortin，J.-P。；Gherman，A。；先锋，B。；惠彻，B。；克莱登，J.D。；Caffo，B。；克雷尼西亚努，C.M。 相关软件： R；oro.nifti；oro.dicom… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）；信息与通信理论，电路（94-XX）
柔软 5份文件引用(2009–2010) 软件作者： 加贝，M。；Smaoui，M。；de Brye，北卡罗来纳州。；C·皮卡德。 相关软件： CP网络；NFFT3；NFFT… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）
ODEA公司 4份文件引用(2008–2023) 软件作者： 马丁·厄尔里奇 相关软件： 古罗比；CPLEX；PlaNet公司 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
TensorFuzz公司 2份文件引用(2020–2021) 软件作者： 奥古斯塔斯·奥德纳（Augustus Odena）、伊恩·古德费罗（Ian Goodfellow） 相关软件： DeepXlore；深度规；DLFuzz… 主要字段： 计算机科学（68-XX）
校样板 1份文件引用（2018年） 软件作者： Caleb Eggensperger公司 相关软件： ACL2；ACuLa博士；DrJava… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
DeepHunter公司 在0个文档中引用 软件作者： 谢晓飞、马磊、费利克斯·觉菲-苏、陈洪旭、薛敏辉、李波、杨柳、赵建军、尹建雄、西蒙-西 相关软件： 深度规；深度突变；Scikit… 主要字段： ——
HC查看器 1份文件引用(2017) 软件作者： Olga A.Starunova。；谢尔盖·鲁德涅夫（Sergey G.Rudnev）。；弗拉基米尔·斯塔罗杜波夫一世。 相关软件： R-Geo公司；传单；传单… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
JUGE公司 在0个文档中引用 软件作者： 泽维尔·德夫罗伊（Xavier Devroey）、阿莱西奥·甘比（Alessio Gambi）、胡安·巴勃罗·加莱奥蒂（Juan Pablo Galeotti）、勒内·贾斯特（Rene Just）、菲苏姆·基费图（Fitsum Kifetew）、安妮贝尔·帕尼切拉（An 相关软件： EvoSuite软件；JUnit公司；缺陷4J… 主要字段： ——
TSTL公司 在0个文档中引用 软件作者： Josie Holmes、Alex Groce、Jervis Pinto、Pranjal Mittal、Pooria Azimi、Kevin Kellar、James O'Brien 相关软件： 假设；MutPy；DLint… 主要字段： ——