铆钉 在11份文件中引用(2020–2024) 软件作者： 迈克尔·莱斯尼克、马修·赖特 相关软件： 裂土器；辛巴；GitHub… 主要字段： 交换代数（13-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
合理化根 在11份文件中引用(2020–2023) 软件作者： 马可·贝西尔（Marco Besier）、帕斯卡尔·瓦塞尔（Pascal Wasser）、斯特凡·温泽尔（Stefan Weinzierl） 相关软件： 火灾；雷杜泽；ε… 主要字段： 数论（11-XX）；代数几何（14-XX）；数值分析（65-XX）…
RealCertify公司 10篇文献引用（2018年-2023年） 软件作者： Victor Magron，Mohab Safey El Din 相关软件： TSSOS；塞杜米；Mosek… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
msolve公司 6篇文献引用(2022–2024) 软件作者： Jérémy Berthomieu、Christian Eder、Mohab Safey El-Din 相关软件： 单一；岩浆；奥斯卡… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）…
q函数 8份文件引用(2020–2023) 软件作者： 雅各布·阿布林格（Jakob Ablinger）、阿里·K·恩库（Ali K.Uncu） 相关软件： qMultiSum；qGeneratingFunctions；速率… 主要字段： 组合数学（05-XX）；数论（11-XX）；非结合环和代数（17-XX）…
CLUE公司 5份文件引用(2021–2024) 软件作者： Alexey Ovchinnikov、Isabel Cristina Pérez Verona、Gleb Pogudin、Mirco Tribastone 相关软件： 侵蚀；尼莫；微分方程.jl… 主要字段： 结合环与代数（16-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
FunGrim公司 引用于2份文件(2020–2023) 软件作者： 弗雷德里克·约翰逊 相关软件： DLMF；匹配Py；仲裁… 主要字段： 特殊功能（33-XX）；计算机科学（68-XX）；量子理论（81-XX）
多元动力系列 1份文件引用(2021) 软件作者： 穆罕默德·阿萨迪（Mohammadali Asadi）、亚历山大·勃兰特（Alexander Brandt）、马赫萨·卡泽米（Mahsa Kazemi）、马克·莫雷诺·马扎（Marc Moreno Maza）、埃里克·波斯塔 相关软件： SageMath；枫树；NTL… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
OGRe公司 1份文件引用(2023) 软件作者： 巴拉克·肖沙尼 相关软件： CADSOL；朱莉娅；旋转BlackHoles.jl… 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；流形和细胞复合体（57-XX）…
参数估计.jl 在0个文档中引用 软件作者： Soo Go、Hoon Hong、Ilia Ilmer、Alexey Ovchinnikov、Pedro Soto、Chee Yap 相关软件： sbtoolbox；数据2Dynamics；微分方程.jl… 主要字段： –
符号GPT 1份文件引用(2023) 软件作者： Mojtaba Valipour、Bowen You、Maysum Panju、Ali Ghodsi 相关软件： github；PMLB；SMCPy… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）