DLMF公司 3806文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： Mathematica；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
GiNaC公司 92份文件引用(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 表格；雷杜泽；火灾… 主要字段： 复变量函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
遗弃 1份文件引用(2021) 软件作者： 罗内斯·洛扎诺（Roanes-Lozano），尤金尼奥（Eugenio）；加兰·加西亚（Galán-García），何塞·路易斯（JoséLuis）；加布里埃尔·阿奎列拉·维内加斯 相关软件： 图论；枫叶 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）