LiteRed公司 160篇文献引用(2013–2024) 软件作者： R·李 相关软件： 火灾；雷杜泽；消防5… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
短吻鳄 12份文件引用(2008–2023) 软件作者： 劳拉·科瓦奇 相关软件： Mathematica；fastZeil；Aligator.jl… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
GQLOG公司 在11份文件中引用（2010年-2023年） 软件作者： 沃尔特·高茨基 相关软件： OPQ；正交多项式；DLMF… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；近似和展开（41-XX）…
q函数 8份文件引用(2020–2023) 软件作者： 雅各布·阿布林格（Jakob Ablinger）、阿里·K·恩库（Ali K.Uncu） 相关软件： qMultiSum；qGeneratingFunctions；速率… 主要字段： 组合数学（05-XX）；数论（11-XX）；非结合环与代数（17-XX）…
斯特林 9份文件引用(2007–2020) 软件作者： 曼纽尔·考尔斯 相关软件： SIGMA；DEtools；EvaluateMultiSums… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
陆军部 7份文件引用(2016–2022) 软件作者： 弗洛恩，F。；Naaf，M。；亨塞尔，J。；Brockschmidt，M。；J·吉斯尔。 相关软件： z3；github；TPDB… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
RhoSum（节奏总和） 6篇文献引用(2018–2024) 软件作者： 约翰内斯·布吕姆林（Johannes Blümlein）；圆形，标记；卡斯滕·施耐德 相关软件： SIGMA；EvaluateMultiSums；嵌套产品… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；特殊功能（33-XX）…
r-TuBound公司 1份文件引用(2017) 软件作者： Jens Knoop；劳拉·科瓦奇（Laura Kovács）；雅各布兹维奇梅尔 相关软件： Smacc公司；STP；OTAWA… 主要字段： 计算机科学（68-XX）
蟾蜍和青蛙 2份文件引用(2009–2014) 软件作者： Thanatipananda，Thotsaporn Aek；多龙·泽尔伯格 相关软件： 枫树 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
琥珀色 2份文件引用(2022) 软件作者： 马塞尔·穆斯布鲁克；埃齐奥·巴托西；Joost-Pieter Katoen；劳拉·科瓦奇 相关软件： 依赖；SymPy；哈卡鲁… 主要字段： 计算机科学（68-XX）
Absynth.jl公司 1份文件引用(2022) 软件作者： 安德烈亚斯·休门伯格（Andreas Humenberger）；达内什瓦·阿姆罗拉希；尼古拉·比约纳；劳拉·科瓦奇 相关软件： z3（零3） 主要字段： 计算机科学（68-XX）