拉帕克 1773年文献引用(1988–2024) 软件作者： LAPACK团队：lapack@cs.utk.edu 相关软件： BLAS；ScaLAPACK；Matlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
CGAL公司 428份文件中引用(2000–2024) 软件作者： CGAL编辑委员会 相关软件： LEDA；二维三角剖分；三角形… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DiffSharp（差异锐化） 255篇文献引用(2016–2024) 软件作者： Baydin，A.G.和Pearlmutter，B.A。 相关软件： 亚当；TensorFlow；PyTorch… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
个人资料/偏差 132份文件引用(1979–2021) 软件作者： O.Knüppel。 相关软件： 进入PT_90；C-XSC；国际实验室… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
CORA公司 47篇文献引用(2016–2024) 软件作者： 马蒂亚斯·阿尔霍夫（Matthias Althoff）、尼古拉斯·科奇杜姆普（Niklas Kochdumper） 相关软件： 流量*；SpaceEx；JuliaReach… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
IML-整数矩阵库 18篇文献引用(2005–2023) 软件作者： Z.Chen；A.斯托约翰；科里·弗莱彻 相关软件： LinBox；4ti2；PipLib… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
马特朗 8份文件引用(2018–2022) 软件作者： 弗洛里斯·吉尔茨 相关软件： LaraDB；APL；xarray… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
高斯-若尔当消元法 4份文件引用(2014–2017) 软件作者： 何塞·迪瓦森；杰苏斯·阿兰塞 相关软件： 伊莎贝尔；Isabelle/HOL；开普勒98… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
PRISM-PSY公司 4份文件引用(2018) 软件作者： Češka，M.、Pilař，P.、Paoletti，N.、Brim，L.、Kwiatkowska，M。 相关软件： 棱镜；PROPhESY公司；PPL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…