LISP状态 88篇文献引用(1977–2019) 软件作者： 卢克·蒂尔尼 相关软件： R；远景；XGobi… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
垫片 30篇文献引用(2015–2023) 软件作者： 安维什·科穆拉维利（Anvesh Komuravelli）；阿里·古芬克尔（Arie Gurfinkel）；萨加·查基 相关软件： z3；CVC4；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
新Dsc 在15份文件中引用(2016–2023) 软件作者： 亚历山大·科贝尔（Alexander Kobel）；Fabrice的Rouillier；迈克尔·萨格拉洛夫 相关软件： 隔离；集群；仲裁… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；复变量函数（30-XX）…
PMAD公司 12份文件引用(2007–2022) 软件作者： L.F.沙姆平 相关软件： Matlab；MATLAB实验；mftoolx… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
有趣 8份文件引用(2021–2023) 软件作者： 尼古拉斯·J·海姆。；刘晓波 相关软件： mctoolbox；mftoolbox；项目参考… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；实函数（26-XX）；特殊功能（33-XX）…
HEAN公司 引用于3份文件(2018–2024) 软件作者： CryptoLab公司；Cheon，J.H.、Kim，A.、Kim、M.、Song，Y。 相关软件： HElib；github；他… 主要字段： 信息与通信理论，电路（94-XX）
SLV公司 2份文件引用(2016–2019) 软件作者： 伊莱亚斯·齐加里达斯 相关软件： 枫树；ANewDsc公司；微小的… 主要字段： 场论与多项式（12-XX）；数值分析（65-XX）；计算机科学（68-XX）
PLSS公司 1份文件引用(2023) 软件作者： 约翰·布鲁斯特（Johannes J.Brust）。；迈克尔·桑德斯。 相关软件： 稀疏矩阵；CRAIG公司；LSMR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）