宝石 107篇文献引用(1990–2024) 软件作者： 亚历克谢·契维亚科夫 相关软件： 枫树；SYMMGRP；裂纹… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；可变形固体力学（74-XX）…
超级Int 96篇文献引用(2015–2024) 软件作者： 埃里克装甲 相关软件： LiteRed；火灾；PolyLogTools… 主要字段： 数论（11-XX）；代数几何（14-XX）；粒子力学与系统（70-XX）…
豆类 78篇文献引用(2004–2023) 软件作者： 阿洛克·萨特拉达尔；Paulino，Glaucio H。；莱昂纳德·格雷。 相关软件： SERBA；XFEM；ABAQUS… 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
GRTensorII型 49篇文献引用(1996–2019) 软件作者： 彼得·马斯格雷夫（Peter Musgrave）；丹尼斯·波尔尼；凯尔湖 相关软件： 枫树；数学张量；NP… 主要字段： 微分几何（53-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Ore模块 44篇文献引用(2004–2023) 软件作者： Chyzak，Frédéric；阿尔班Quadrat；丹尼尔·罗伯茨 相关软件： 单一；复数；矿石形态… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；数值分析（65-XX）…
空气 33篇文献引用（2010年至2021年） 软件作者： C.Anastasiou、A.Lazopoulos 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 代数几何（14-XX）；代数拓扑（55-XX）；整体分析，流形分析（58-XX）…
设计 30篇文献引用(2000–2023) 软件作者： 约瑟夫·希乔（Josef Schicho）；加博尔·博德纳 相关软件： PGeomlib；枫树；奇异… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
叶片 21篇文献引用(2007–2023) 软件作者： 弗朗索瓦·布利埃 相关软件： 枫树；雏菊；Epsilon… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
福克斯 20篇文献引用(1998–2023) 软件作者： 迪亚斯，安吉尔；埃里希·卡尔托芬 相关软件： 枫树；SACLIB；FireFly… 主要字段： 数论（11-XX）；交换代数（13-XX）；近似和展开（41-XX）…
PDE贝尔II 15篇文献引用(2014–2023) 软件作者： Miao，Q.，Wang，Y.H.，Chen，Y.，Yang，Y。 相关软件： 枫树；宝石；希罗塔。最大值… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
芬斯勒 13份文件引用(2001–2021) 软件作者： 鲁茨，索兰奇F。；葡萄牙，雷纳托 相关软件： 枫树；芬斯勒；NF… 主要字段： 常微分方程（34-XX）；微分几何（53-XX）；计算机科学（68-XX）…
RealCertify公司 10篇文献引用(2018–2023) 软件作者： Victor Magron，Mohab Safey El Din 相关软件： TSSOS；塞杜米；Mosek… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
RACAH公司 10篇文献引用(2001–2021) 软件作者： Fritzsche，S。；Inghoff，T。；Bastug，T。；托马塞利，M。 相关软件： 枫树；新闻稿；COEFANG1… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
多协议标签 9份文件引用(2016–2023) 软件作者： 克里斯蒂安·博格纳 相关软件： 超智能；表格；PolyLogTools… 主要字段： 组合数学（05-XX）；数论（11-XX）；代数几何（14-XX）…
xloops（xloop） 7份文件引用(1997–2022) 软件作者： Brücher，L。；Franzkowski，J。；克雷默，D。 相关软件： 枫树；GiNaC；表格… 主要字段： 算子理论（47-XX）；统计学（62-XX）；数值分析（65-XX）…
GLie公司 6篇文献引用(1992–2006) 软件作者： M.A.Ayari和V.Hussin 相关软件： SYMMGRP公司。最大值；枫树 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
spivp公司 6篇文献引用(2020–2023) 软件作者： 埃萨姆·R·埃尔·扎哈尔。 相关软件： 枫树；罗德斯 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
通用航空公司 5份文件引用(2002–2020) 软件作者： M.阿什当。 相关软件： 盖根；Clifford Multivector工具箱；GABLE… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）…
阿尔及利亚雷梅兹 4份文件引用(2013–2015) 软件作者： 克拉克硕士；A.D.肯尼迪 相关软件： github；LAPACK；算法923… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
痔疮 4份文件引用（2019年-2023年） 软件作者： 梁何汉；Thanatipananda，Thotsaporn ``Aek' 相关软件： 有限公司；组织环境信息系统 主要字段： 概率论与随机过程（60-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
AEFM公司 引用于3份文件(2012–2014) 软件作者： 赵磊；黄定江；周水耕 相关软件： ATFM；DDESpecialSolutions；RATH… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）
ONEOptimal（最佳） 引用于3份文件(2017–2023) 软件作者： 苗倩；胡晓瑞；陈勇 相关软件： 一个最优系统 主要字段： 拓扑群，李群（22-XX）；实函数（26-XX）；偏微分方程（35-XX）…
量子计算器 引用于3份文件(2010–2016) 软件作者： 阿巴赫 相关软件： 4钛2 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；非结合环与代数（17-XX）…
CGSQE公司 2份文件引用(2016–2019) 软件作者： 藤崎隆彦；伊瓦内、希德诺；佐藤、优介 相关软件： REDLOG；QEPCAD；PGB… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；计算机科学（68-XX）
联邦铁路管理委员会 2份文件引用(1994–1997) 软件作者： 阿隆索、塞萨尔；詹姆·古铁雷斯（Jaime Gutierrez）；托马斯·雷西奥 相关软件： 枫树 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；实函数（26-XX）…
GCMFEM公司 2份文件引用(2022–2023) 软件作者： 亚历山大·古塞夫（Alexander A.Gusev）。；加尔满达克的楚鲁邦巴塔；奥赫巴德拉赫·楚鲁班巴塔尔；维尼茨基，塞尔格一世。；尤里·A·布林科夫。；阿尔及尔达斯·德维基斯；彼得·O·赫斯。；海、良乐 相关软件： 哲学；Mathematica；DLMF… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；量子理论（81-XX）
LUC公司 2份文件引用(1995–2007) 软件作者： Zeilberger博士。 相关软件： MOPS；SF；枫树 主要字段： 组合数学（05-XX）；特殊功能（33-XX）；计算机科学（68-XX）…
法国试验标准 2份文件引用(2014–2021) 软件作者： Youssef，Nabil L。；埃尔根迪，S.G。 相关软件： 芬斯勒；枫树；芬斯勒 主要字段： 微分几何（53-XX）；全局分析，流形分析（58-XX）；计算机科学（68-XX）
活塞.txt 1份文件引用(2020) 软件作者： Shalosh B.Ekhad、N.J.A.Sloane、Doron Zeilberger 相关软件： 枫树；组织环境信息系统；有限公司 主要字段： 计算机科学（68-XX）
QCDMAPTF公司 2份文件引用(2013–2016) 软件作者： Nesterenko，A.V。；C·西蒙罗。 相关软件： QCDMAPT_F；QCDMAPT；FAPT… 主要字段： 量子理论（81-XX）
克哈德 2份文件引用(1996–2019) 软件作者： 多伦·齐尔伯格 相关软件： 组织环境信息系统；qZeil；数学… 主要字段： 组合数学（05-XX）；特殊功能（33-XX）；差分和函数方程（39-XX）…
拉塔普尔 2份文件引用(2003–2016) 软件作者： 波波夫，B.，劳什尼克，O。 相关软件： numapprox；评估；SLEEF… 主要字段： 实函数（26-XX）；近似和展开（41-XX）；数值分析（65-XX）…
多边形积分点上的和 1份文件引用(2011) 软件作者： 维莱达·巴尔多尼（Velleda BALDONI）、妮科尔·贝琳（Nicole BERLINE）、米歇尔·沃恩（Michèle VERGNE） 相关软件： adsimp；枫树；纸杯包装 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）
学院通信 1份文件引用(2000) 软件作者： 詹姆·古铁雷斯（Jaime Gutierrez）；罗萨里奥·鲁比奥 相关软件： 枫树 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）
dfauto公司 1份文件引用(2001) 软件作者： Strange，R。；曼比，F.R。；P.J.诺尔斯。 相关软件： MOLPRO公司；乳胶；枫树 主要字段： 量子理论（81-XX）；统计力学，物质结构（82-XX）