BoomerAMG公司 224篇文献引用(2002–2023) 软件作者： 范·埃姆登（Van Emden Henson）；尤里克·梅耶尔·杨 相关软件： 炒作；PETSc；ML… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
基拉 57篇文献引用(2018–2024) 软件作者： Maierhöfer，P。；乌索维奇，J。；尤尔，P。 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）…
数字代数几何 33篇文献引用(2011–2024) 软件作者： 安东·莱金 相关软件： 贝尔蒂尼；麦考利2号；PHCpack… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
同源性 34份文件引用(2001–2024) 软件作者： Jean-Guillaume杜马；弗兰克·赫肯巴赫（Frank Heckenbach）；大卫·桑德斯；沃尔克马尔·韦尔克 相关软件： 间隙；CHomP；大写… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；代数拓扑（55-XX）…
微分几何 33篇文献引用（2001年-2023年） 软件作者： I.M.安德森。；C.G.托瑞。 相关软件： 枫树；宝石；向量场的李代数… 主要字段： 偏微分方程（35-XX）；微分几何（53-XX）；整体分析，流形分析（58-XX）…
隔离 在25份文件中引用(2005–2023) 软件作者： 塞德尔，雷蒙德；尼古拉·沃尔珀特 相关软件： 隔离；枫树；阿克塞尔… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
MAPC公司 23篇文献引用(1999–2012) 软件作者： J.Keyser、T.Culver、D.Manocha、S.Krishnan。 相关软件： LEDA；CGAL；EXACUS… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；凸和离散几何（52-XX）…
同意 19份文件引用(2015–2023) 软件作者： Corradini，A.、Duval，D.、Echahed，R.、Prost，F.、Ribeiro，L。 相关软件： Verigraph公司；AGG；Isabelle/HOL… 主要字段： 范畴理论；同调代数（18-XX）；计算机科学（68-XX）
CRAG公司 12份文件引用(2010–2023) 软件作者： 亚历克斯·迈斯尼科夫（Alex Myasnikov）；沃尔克·迪克特；Jürn Laun；亚历山大·乌沙科夫 相关软件： 间隙；核桃DSA；github 主要字段： 群论和概括（20-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
兰道.jl 11份文件引用(2022–2023) 软件作者： 塞巴斯蒂安·米泽拉；西蒙·特伦 相关软件： HyperInt公司；PolyLogTools；天秤座… 主要字段： 特殊功能（33-XX）；量子理论（81-XX）
跟踪器 10篇文献引用(1995–2023) 软件作者： 马提亚斯·贾明；马库斯·劳滕巴赫 相关软件： Mathematica；表格；FeynCalc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ExaGeoStat公司 8份文件引用(2018–2023) 软件作者： 阿卜杜拉，S。；Ltaief，H。；孙，Y。；根顿，M.G。；凯斯，D.E。 相关软件： R；FRK公司；ExaGeoStatR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
四点二 8份文件引用(2013–2020) 软件作者： 克里斯托弗·希勒（Christopher J.Hillar）。；亚伯拉罕·马丁·德尔·坎波 相关软件： 符号链根；麦考利2号；4ti2… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
EdgeRewire公司 8份文件引用(2016–2023) 软件作者： Chan，Hau；莱曼·阿科格鲁 相关软件： 科内克特；网络通信；帕杰克… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
DFBA实验室 6篇文献引用(2016–2022) 软件作者： 戈麦斯，J；霍夫纳，K；Barton，P， 相关软件： Matlab；libMC；CPLEX… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
Doodle博士 引用于7份文件(2004–2019) 软件作者： 丹尼尔·温特斯坦（Daniel Winterstein）；阿兰·邦迪（Alan Bundy）；科林·古尔 相关软件： 防开启；Isabelle/HOL；超防… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
pAQFT公司 引用于7份文件(2015–2020) 软件作者： 卡塔兹纳·雷杰兹纳 相关软件： DLMF公司 主要字段： 功能分析（46-XX）；微分几何（53-XX）；粒子和系统力学（70-XX）…
平滑（Smoothtst） 6篇文献引用(2017–2021) 软件作者： 杨科·伯姆；Frühbis-Krüger，安妮 相关软件： 单一；GPI-空间；库斯汀·米勒… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
郁金香醇 4份文件引用(2021–2022) 软件作者： 弗林，达伦；科多尔·沙姆塞迪内 相关软件： 舒适的；ADiGator；DiffSharp… 主要字段： 总体主题；藏品（00-XX）；实函数（26-XX）；复变量函数（30-XX）…
多胞菌属 引用于3份文件(2020–2023) 软件作者： 马库斯·加维；约翰·伯克特 相关软件： 组织环境信息系统；古罗比；CPLEX… 主要字段： 组合数学（05-XX）；凸和离散几何（52-XX）；计算机科学（68-XX）…
ADG公司 2份文件引用(2019–2021) 软件作者： Enevoldsen，瑟伦；Larsen，Kim Guldstrand；吉·斯尔巴 相关软件： 塔帕尔；PRISM-游戏 主要字段： 计算机科学（68-XX）
本西 2份文件引用(1995–2001) 软件作者： G.B.Ferraris；E.特隆科尼 相关软件： DASSL；DIFSUB公司；森金… 主要字段： 数值分析（65-XX）；经典热力学，传热（80-XX）；运筹学、数学规划（90-XX）
迪达森++ 2份文件引用(1999–2015) 软件作者： Wierzbicki，Andrzej P。；贾努斯·格拉纳特 相关软件： GAMS；CAMOS公司 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
DisPGB.mpl公司 2份文件引用(2017–2019) 软件作者： 阿米尔·哈希米；M.Alizadeh，Benyamin；Mahdi Dehghani Darmian 相关软件： 枫树；单一；IncDisPGB.mpl；…公司… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
GAMPACK公司 2份文件引用(2014–2015) 软件作者： K.P.Esler，V.Natoli；A.萨马尔季奇 相关软件： CUDA；推力；超级LU… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
多步控制 2份文件引用(2020–2021) 软件作者： 路易斯·索尔多·维埃拉；Laubenbacher，Reinhard C。；大卫·默鲁加拉 相关软件： CANA；github；亚当… 主要字段： 生物学和其他自然科学（92-XX）；系统论；对照（93-XX）
Isogeny_问题 1份文件引用(2022) 软件作者： 藤崎隆彦；池松、靖子；莫莫纳利·库多；安田、Masaya；横山和弘 相关软件： SIKE公司 主要字段： 代数几何（14-XX）；信息与通信理论，电路（94-XX）
重建。米 1份文件引用（2023年） 软件作者： Belitsky，A.V。；斯米尔诺夫，A.V。；雅科夫列夫，R.V。 相关软件： LiteRed；火灾；FiniteFlow… 主要字段： 拓扑群，李群（22-XX）；几个复变量与解析空间（32-XX）；功能分析（46-XX）…
减压阀E 1份文件引用(2022) 软件作者： Škrlj，布拉日；季埃洛斯基，萨索；拉夫拉奇，纳达；佩特科维奇（Matej Petković） 相关软件： UMAP；缓解F；Tensor2传感器… 主要字段： 计算机科学（68-XX）