岩浆 4007文件引用(1994–2024) 软件作者： W.Bosma、A.Steel、G.Matthews、D.Fisher、J.Cannon、S.Contini、B.Smith 相关软件： 间隙；SageMath；PARI/GP… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
间隙 3685份文件引用(1990–2024) 软件作者： GAP集团 相关软件： 岩浆；SageMath；ATLAS集团代表… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
PARI/GP公司 744份文件中引用(1992–2024) 软件作者： 亨利·科恩；卡里姆·贝拉巴斯（Karim Belabas）；PARI组 相关软件： 岩浆；SageMath；间隙… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
水獭 326篇文献引用(1988–2023) 软件作者： 比尔·麦库恩；阿莫尔·蒙塔诺，何塞·阿尔弗雷多；米兰达·佩雷亚（Miranda Perea）、法维奥·埃泽奎尔（Favio Ezequiel） 相关软件： TPTP；VAMPIRE公司；SPASS… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
回路 55份文件引用(2006–2023) 软件作者： Petr Vojtechovsky，Gabor Nagy 相关软件： 缺口；梅斯4；校准仪9… 主要字段： 组合数学（05-XX）；通用代数系统（08-XX）；群论与推广（20-XX）…
中心群框架 10篇文献引用(2018–2024) 软件作者： 约瑟夫·艾弗森。；约翰·贾斯珀；混合物，Dustin G。 相关软件： 间隙；ATLAS集团代表；岩浆… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；欧氏空间的调和分析（42-XX）…
轨道飞行器 9份文件引用(2018–2023) 软件作者： 安东·贝滕 相关软件： github；岩浆；nauty… 主要字段： 组合数学（05-XX）；几何（51-XX）；凸和离散几何（52-XX）…
sl2泡沫 10篇文献引用(2018–2023) 软件作者： Donà，彼得罗；乔治·萨诺 相关软件： github；CUDAnative.jl；CUDA.jl… 主要字段： 拓扑群，李群（22-XX）；微分几何（53-XX）；统计学（62-XX）…
空间组Irep 5份文件引用(2010–2023) 软件作者： 刘贵宾、朱苗、张泽英、俞志明、姚玉贵 相关软件： 各向同性；Mathematica；ABINIT… 主要字段： 群论与推广（20-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…