稀疏矩阵 840篇文献引用(1997–2024) 软件作者： 蒂莫西·戴维斯（Timothy A Davis）；胡一凡 相关软件： mctoolbox；LAPACK；Matlab… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
踪迹 244篇文献引用(2014–2024) 软件作者： 阿道夫·皮佩诺 相关软件： nauti；SageMath；间隙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
CeTA公司 49篇文献引用（2009年-2023年） 软件作者： 雷内·蒂曼；克里斯蒂安·斯特纳格尔 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；交换代数（13-XX）…
FiniteFlow有限流量 38篇文献引用(2020–2024) 软件作者： 蒂齐亚诺·佩拉罗 相关软件： LiteRed；雷杜泽；火灾… 主要字段： 几个复变量与解析空间（32-XX）；功能分析（46-XX）；数值分析（65-XX）…
莱布尼兹 36篇文献引用(1997–2022) 软件作者： K.Truempha公司 相关软件： SATO；糠；HeerHugo… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；凸和离散几何（52-XX）…
洛拉 26篇文献引用(2000–2021) 软件作者： 卡斯滕·施密特（Karsten Schmidt）；K·沃尔夫。 相关软件： 玛丽亚；Uppaal；BPEL2PN… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
模块图形形式 14篇文献引用(2020–2023) 软件作者： 简·E·格肯 相关软件： Mathematica；表格；PSS系统 主要字段： 组合数学（05-XX）；数论（11-XX）；微分几何（53-XX）…
SCC人行道 8份文件引用(2020–2023) 软件作者： 王一元；蔡少伟；陈杰江；尹明浩 相关软件： NuMVC；irace；CCLS… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
GraphSAINT公司 引用于3份文件(2023) 软件作者： 曾汉庆、周洪宽、阿吉特斯·斯利瓦斯塔瓦、拉戈帕尔·坎南、维克托·普拉桑纳 相关软件： DeepWalk；github；群集-GCN… 主要字段： 计算机科学（68-XX）；运筹学，数学编程（90-XX）
GYutsis公司 5份文件引用(2004–2021) 软件作者： Van Dyck，D。；V·法克。 相关软件： RACAH；NJGRAF；新闻稿… 主要字段： 组合数学（05-XX）；特殊功能（33-XX）；计算机科学（68-XX）…
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；赛纳；TAJ… 主要字段： 计算机科学（68-XX）
特征CFA 引用于3份文件(2011–2012) 软件作者： 塔伦·帕布；Shreyas Ramalingam；马修，可能；霍尔，玛丽 相关软件： PETSc；CUDA；THORS… 主要字段： 计算机科学（68-XX）
光谱网 2份文件引用(2011) 软件作者： Forman JJ1，Clemons PA，Schreiber SL，Haggarty SJ。 相关软件： 图形调查员；StOCNET；LAPACK… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
子MAP 2份文件引用(2013–2018) 软件作者： Ay，F.，Kellis，M.，Kahveci，T。 相关软件： ils-mwis；4ti2；MetNetAligner… 主要字段： 运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
特征GNN 在0个文档中引用 软件作者： Ziwei Zhang、Peng Cui、Jian Pei、Xin Wang、Wenwu Zhu 相关软件： 配对范数；DropEdge；图形SAGE… 主要字段： ——
图形演示 1份文件引用(2012) 软件作者： 马蒂亚斯·海因；乌尔里克·冯·卢克斯堡 相关软件： Matlab公司 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
信息模式 2份文件引用(2017–2022) 软件作者： 艾伯克·泽廷、哈坎·艾拉尔、A.穆罕默德·乌卢达 相关软件： 组织环境信息系统；PARI/GP公司 主要字段： 组合数学（05-XX）；数论（11-XX）；群论与推广（20-XX）
阿那戈波斯 1份文件引用(2011) 软件作者： Bugge Grathwohl，尼尔斯·比约恩；杰罗·凯特马（Jeroen Ketema）；帕莱森、延斯·杜伦德；雅各布·格鲁·西蒙森 相关软件： TILC；郁金香；格拉夫维兹 主要字段： 计算机科学（68-XX）
KPlex池 1份文件引用(2021) 软件作者： 大卫·巴丘；阿莱西奥·孔蒂；罗伯托·格罗西；弗朗西斯科·兰多尔菲；安德烈亚·马里诺 相关软件： TU数据集；格拉克勒斯；布伦达… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）
皮卡莱 在0个文档中引用 软件作者： 陆海平、刘显元、罗伯特·特纳、白培珍、雷沃·E·库特、朔周、穆斯塔法·查斯迈、劳伦斯·肖布斯 相关软件： ImageNet；火炬；TensorLy… 主要字段： ——
TRaCE公司+ 1份文件引用(2019) 软件作者： Ud-Dean SMM、Heise S、Klamt S、Gunawan R 相关软件： sva；KLU；FATODE… 主要字段： 生物学和其他自然科学（92-XX）
TRANSWESD公司 1份文件引用(2016) 软件作者： S.Klamt、R.J.Flassig、K.Sundmacher 相关软件： 学习；CGBayesNets；JASPAR… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）