DLMF公司 3806文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： Mathematica；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
雪佛兰 266份文件引用(1994–2024) 软件作者： Geck，Meinolf；希斯，格哈德；吕贝克，弗兰克；Gunter Malle；格茨·普菲弗 相关软件： 间隙；岩浆；SageMath… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
马克西玛 171篇文献引用(1998–2024) 软件作者： 威廉·谢尔特 相关软件： Mathematica；SageMath；枫叶… 主要字段： 群论与推广（20-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LiE公司 179份文件引用(1993–2024) 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： Mathematica；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
工程计算 138篇文献引用(1991–2022) 软件作者： 参数技术公司 相关软件： Mathematica；枫树；Matlab… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
克罗内克 132份文件引用(2000–2024) 软件作者： M.Giusti、G.Lecerf和B.Salvy；埃里克·肖斯特（Eric Schost）、卢兹·莱曼（Lutz Lehmann）、泽维尔·苏拉德（Xavier Suraud） 相关软件： 隔离；RAGlib；FGb… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
SYMMGRP公司 121篇文献引用(1993–2024) 软件作者： 威利·赫里曼；B.香槟；P.温特尼茨 相关软件： 枫树；SYMMGRP公司。最大值；谎言… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
生物-PEPA 97篇文献引用(2008–2024) 软件作者： 费德里卡·乔切塔（Federica Ciocchetta）、玛丽亚·路易莎·格雷耶罗（Maria Luisa Guerriero）、瓦什蒂·加尔宾（Vashti Galpin）、简·希尔斯顿（Jane Hillston）、朱利奥·卡拉瓦尼亚（Giulio Caravagna）、艾伦·克拉克（Allan Clark）、安德烈亚·德加斯佩里（Andrea Degasperi）、亚当·杜吉 相关软件： 政治公众人物协议；棱镜；生物活性炭… 主要字段： 常微分方程（34-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
GiNaC公司 92份文件引用(2002–2024) 软件作者： 欧洲专利局（EPO）；C.W.Bauer、A.Frink、R.Kreckel 相关软件： 表格；雷杜泽；火灾… 主要字段： 复变量函数（30-XX）；几何（51-XX）；数值分析（65-XX）…
导出 51篇文献引用(1991–2023) 软件作者： 伯恩哈德·库兹勒；沃尔，伯恩哈德；弗兰茨·温克勒 相关软件： Mathematica；枫树；马西玛… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
裂纹 57篇文献引用(1993–2021) 软件作者： 托马斯·沃尔夫 相关软件： 减少；LIEPDE公司；枫叶… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；简·大卫·奎塞尔 相关软件： 太空探索技术公司；凯伊迈拉X；高科技… 主要字段： 数理逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
因瓦 39篇文献引用(1996–2023) 软件作者： J.M.Martin-Garcia，R.葡萄牙，L.R.U.Manssur 相关软件： x张量；xPert；xPerm… 主要字段： 交换代数（13-XX）；微分几何（53-XX）；量子理论（81-XX）…
FiniteFlow有限流量 38篇文献引用(2020–2024) 软件作者： 蒂齐亚诺·佩拉罗 相关软件： LiteRed公司；雷杜泽；火灾… 主要字段： 几个复变量与解析空间（32-XX）；功能分析（46-XX）；数值分析（65-XX）…
SIMATH公司 31份文件引用(1988–2010) 软件作者： 霍斯特·G·齐默。；松井，T。；小林，D。；亚伯，M。；Nakamula，K。 相关软件： KANT/KASH；PARI/GP；岩浆… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
蓝铜矿 29篇文献引用(2017–2024) 软件作者： 亚历山德罗·乔治迪斯、卡斯珀·拉森、杨张 相关软件： 雷杜泽；火灾；LiteRed… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
量子力学 27篇文献引用(2009–2023) 软件作者： 亚历克斯·基辛格 相关软件： 球状；PyZX；凹槽… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
切尼-金凯 23篇文献引用(1985–2012) 软件作者： 沃德·切尼（Ward Cheney）；大卫·金凯 相关软件： Matlab；伊斯兰教；数学… 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）…
SACLIB公司 23篇文献引用（1993年至2009年） 软件作者： David G.Richardson：沃纳·克兰迪克 相关软件： QEPCAD；枫树；FOXBOX… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
德索尔VII 24篇文献引用(2012–2021) 软件作者： Vu，K.T。；杰斐逊，G.F。；J.卡米蒂娜。 相关软件： ASP；宝石；枫叶… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
汞R 21篇文献引用(2011–2022) 软件作者： 中山弘；肯塔州西山；马赛尤基·诺罗；Katsuyoshi Ohara；Sei，Tomonari；高山、Nobuki；赤池竹村 相关软件： 瑞萨/阿西尔；DLMF；R、 … 主要字段： 结合环与代数（16-XX）；几个复变量与解析空间（32-XX）；特殊功能（33-XX）…
数学张量 21篇文献引用(1997–2021) 软件作者： 史蒂文·克里斯滕森（Steven M.Christensen）。 相关软件： ATENSOR公司；Mathematica；卡达布拉… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
奥斯卡 17篇文献引用(2020–2024) 软件作者： Wolfram Decker；克劳斯·费克尔；马克斯·霍恩；迈克尔·乔斯维格；等。 相关软件： 单数；SageMath；朱莉娅… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
玛丽亚 19份文件引用(2000–2021) 软件作者： M“akel”a，马可 相关软件： LoLA；Uppaal；M网络… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；生物学和其他自然科学（92-XX）…
拉丁语 17篇文献引用(2011–2021) 软件作者： Codescu，Mihai；霍罗扎尔、富利亚；Michael Kohlhase；莫萨科夫斯基（Till Mossakowski）；弗洛里安·拉贝 相关软件： MMT；OMDoc；伊莎贝尔… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
多变量部分 15篇文献引用(2021–2024) 软件作者： 马提亚斯·海勒（Matthias Heller）、安德烈亚斯·冯·曼特乌费尔（Andreas von Manteuffel） 相关软件： FiniteFlow；LiteRed公司；表格… 主要字段： 实函数（26-XX）；数值分析（65-XX）；计算机科学（68-XX）…
里杰姆 15篇文献引用(1994–2021) 软件作者： R.葡萄牙 相关软件： ATENSOR公司；数学张量；xTensor… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TeXmacs公司 15篇文献引用(2004–2021) 软件作者： Van Der Hoeven，J。 相关软件： Coq；伊莎贝尔；Isabelle/HOL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；特殊功能（33-XX）…
克兰克 12份文件引用(1990–2019) 软件作者： Sascha Husa、Ian Hinder、Christiane Lechner 相关软件： 爱因斯坦工具包；仙人掌；地毯… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；相对论与引力理论（83-XX）…
英国石油协会 10篇文献引用（2010年-2023年） 软件作者： Changbo Chen、Farnam Mansouri、Marc Moreno Maza、Ning Xie、Yuzhen Xie 相关软件： 岩浆；打火石；正则链… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
数学检查 13份文件引用(2015–2021) 软件作者： 明亮，柯蒂斯；维杰·加内什；阿尔伯特·海因勒；科齐里亚斯、伊利亚斯；赛义德·内贾蒂；Czarnecki，Krzysztof；爱德华·祖尔科斯基 相关软件： 山猫；枫树；FFTW… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
CTADEL公司 12份文件引用(1998–2020) 软件作者： 范恩格伦，罗伯特·亚历山大 相关软件： Mathematica；手指；SciNapse… 主要字段： 总体主题；藏品（00-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
MBSymba手机 12份文件引用(2004–2021) 软件作者： R地块。；M·达里奥。 相关软件： 枫树；罗德斯；Ipopt… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
纯度过滤 11份文件引用(1997–2022) 软件作者： 阿尔班Quadrat 相关软件： 矿石模块；homalg；奇异… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；几个复变量和分析空间（32-XX）…
S评估 11份文件引用(2013–2020) 软件作者： A.Heinle，V.Levandovsky 相关软件： 符号数据；单数；枫叶… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
亚当 10篇文献引用(2011–2023) 软件作者： Hinkelmann F、Brandon M、Guang B、McNeill R、Blekherman G、Veliz-Cuba A、Laubenbacher R 相关软件： 麦考利2号；金西姆；BoolNet… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）…
ExaGeoStat公司 8份文件引用(2018–2023) 软件作者： 阿卜杜拉，S。；Ltaief，H。；孙，Y。；根顿，M.G。；凯斯，D.E。 相关软件： R；FRK；ExaGeoStatR… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
数学Dox 10篇文献引用(2006–2014) 软件作者： A.M.Cohen、H.Cuypers、E.Reinaldo Barrero 相关软件： 动态数学；LeActiveMath；OMDoc… 主要字段： 几何（51-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）…
费因GKZ 8份文件引用(2023–2024) 软件作者： Ananthanaarayan，B。；巴尼克、苏米特；苏维克·贝拉；苏丹达塔 相关软件： Olsson.wl；PolyLogTools；HYPERDIRE… 主要字段： 特殊功能（33-XX）；常微分方程（34-XX）；数值分析（65-XX）…
Ginv公司 9份文件引用(2006–2023) 软件作者： 于布林科夫。答：。；副总裁Gerdt。 相关软件： 珍妮特；枫树；代数托马斯… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；偏微分方程（35-XX）…
msolve公司 6篇文献引用(2022–2024) 软件作者： Jérémy Berthomieu、Christian Eder、Mohab Safey El-Din 相关软件： 单数；岩浆；奥斯卡… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）…
VSDITLU公司 9份文件引用(1999–2013) 软件作者： 亚当斯，A.A。；Gottliebsen，H。；Linton，S.A.公司。；美国马丁。 相关软件： PVS；自动化；枫叶… 主要字段： 群论与推广（20-XX）；实函数（26-XX）；计算机科学（68-XX）…
隔间 7份文件引用(2005–2019) 软件作者： B.E.夏皮罗、A.列夫琴科、E.M.梅耶洛维茨、B.J.沃尔德、E.D.姆约尔斯内斯。 相关软件： Mathematica；生物CHAM；STOCHSIM… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
李焕庆执导的韩国电影 7份文件引用(2015–2023) 软件作者： 乌尔里希·泰尔 相关软件： 岩浆；间隙；雪维… 主要字段： 代数几何（14-XX）；结合环与代数（16-XX）；群论与推广（20-XX）…
NL控制 7份文件引用(2016–2020) 软件作者： Belikov，J.、Kotta，UE、Tónso，M。 相关软件： Mathematica；矿石代数分析；矿石形态… 主要字段： 实函数（26-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
PoCaB公司 7份文件引用（2012年至2015年） 软件作者： 萨玛尔、萨蒂亚·斯瓦鲁普；哈桑·埃拉米；安德烈亚斯·韦伯 相关软件： 生物模型；多品牌；z3… 主要字段： 代数几何（14-XX）；常微分方程（34-XX）；数值分析（65-XX）…
ATISBAT公司 5份文件引用(2017–2023) 软件作者： 加布里埃尔·阿奎列拉·维内加斯（Gabriel Aguilera-Venegas）；加兰-加西亚，何塞·L。；恩里克·梅里达·卡塞梅罗；佩德罗·罗德里格斯·西洛斯 相关软件： ATISMART公司；马克西玛；枫叶… 主要字段： 复变量函数（30-XX）；数值分析（65-XX）；计算机科学（68-XX）…
EDS公司 6篇文献引用(1997–2010) 软件作者： D.哈特利 相关软件： 减少；MuPAD；奇异… 主要字段： 交换代数（13-XX）；偏微分方程（35-XX）；整体分析，流形分析（58-XX）…
LINA01系列 6篇文献引用(2005–2006) 软件作者： 余。A.Ukolov、N.A.Chekanov、A.A.Gusev、V.A.Rostovtsev、S.I.Vinitsky、Y.Uwano 相关软件： GITA；枫树；pchip… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
LinModel（线性模型） 6篇文献引用(2009–2022) 软件作者： 安德烈·班什奇科夫 相关软件： 数学软件 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；流体力学（76-XX）…
Phcmaple公司 6篇文献引用(2005–2016) 软件作者： A.莱金；J.Verschelde先生 相关软件： PHCpack；正则链；数学… 主要字段： 总体主题；藏品（00-XX）；交换代数（13-XX）；数值分析（65-XX）…
Polynome公司 6篇文献引用(2010–2017) 软件作者： 迪米特洛娃，埃琳娜；加西亚·普恩特（García-Puente），路易斯·戴维（Luis David）；弗兰齐斯卡·辛克尔曼；阿卜杜勒·贾拉。；莱因哈德·劳本巴赫；布兰迪林·斯蒂格勒；迈克尔·斯蒂尔曼；维拉·利科纳（Vera-Licona，Paola） 相关软件： ADAM；麦考利2号；SageMath… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
BranchCuts（分支切割） 5份文件引用(2013–2019) 软件作者： 英格兰，马修；拉塞尔·布拉德福德（Russell Bradford）；James H.Davenport。；大卫·威尔逊 相关软件： 枫树；梅蒂塔斯基；QEPCAD… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）
CREP公司 5份文件引用(1998–2003) 软件作者： P.Dräxler，R.Nörenberg 相关软件： – 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
FIDE公司 4份文件引用(1989–2012) 软件作者： 里斯卡（R.Liska）；L.Drsda博士 相关软件： QEPCAD；减少；重新记录… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
守护者 5份文件引用(1997–2021) 软件作者： 安德烈亚斯·多尔兹曼；托马斯·斯特姆 相关软件： REDLOG；QEPCAD；TDDS… 主要字段： 数理逻辑与基础（03-XX）；场论与多项式（12-XX）；常微分方程（34-XX）…
数学卫星 3份文件引用(2012–2014) 软件作者： 胡安·费利克斯·圣胡安、路易斯·玛丽亚·洛佩斯、罗萨里奥·洛佩斯 相关软件： TSA；采摘；ATESAT… 主要字段： 粒子和系统力学（70-XX）
仿射。米 4份文件引用(2012–2021) 软件作者： 安东·纳扎罗夫 相关软件： Mathematica；仿射；LiE… 主要字段： 非结合环与代数（17-XX）；群论与推广（20-XX）；数值分析（65-XX）…
ATISMART公司 4份文件引用(2015–2023) 软件作者： JoséL.Galán-García、Gabriel Aguilera-Venegas、Pedro Rodríguez-Cielos 相关软件： ATISBAT；马克西玛；枫叶… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
埃因斯 4份文件引用(1998–2007) 软件作者： 科利纳，S.A 相关软件： 数学张量；EXCALC；减少… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）；相对论和引力理论（83-XX）
通用矢量分析 3份文件引用(1999–2020) 软件作者： 秦，H。；Tang，W.M。；改写，G。 相关软件： Mathematica；背心；枫叶… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）；流体力学（76-XX）
鲁比 4份文件引用(2020–2022) 软件作者： 阿尔伯特·里奇；Patrick Scheibe；纳赛尔·阿巴斯。 相关软件： MultiZeilberger；DEtools；匹配Py… 主要字段： 场论与多项式（12-XX）；实函数（26-XX）；特殊功能（33-XX）…
A规格配对矩阵 3份文件引用(2014–2021) 软件作者： Ana C.Conceiáo，JoséC.Pereira 相关软件： A规格成对标尺；Mathematica；SInt公司 主要字段： 欧氏空间（42-XX）的调和分析；积分方程（45-XX）；算子理论（47-XX）…
A规格成对标尺 3份文件引用(2014–2021) 软件作者： Ana C.Conceiáo，JoséC.Pereira 相关软件： A规格配对矩阵；Mathematica；SInt公司 主要字段： 欧氏空间（42-XX）的调和分析；积分方程（45-XX）；算子理论（47-XX）…
BI基础 3份文件引用(2008–2012) 软件作者： M.V.锌。 相关软件： FGb；多项式系统数据库；PoSSo… 主要字段： 有序，格，有序代数结构（06-XX）；交换代数（13-XX）；计算机科学（68-XX）…
CDiffElim公司 3份文件引用(2001–2014) 软件作者： 艾伦·维特科普夫（Allan D.Wittkopf）。；格雷戈里·里德。 相关软件： PHCpack；珍妮特；SADE… 主要字段： 场论与多项式（12-XX）；代数几何（14-XX）；偏微分方程（35-XX）…
FDCD公司 3份文件引用(2002–2009) 软件作者： 高敏；加藤、靖国神社；伊藤、马萨基 相关软件： 冷凝水；不变量对称性；减少… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；差分和函数方程（39-XX）…
LPDO公司 3份文件引用(2013–2016) 软件作者： 叶卡捷琳娜·舍米亚科娃 相关软件： 枫树；图形理论 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；积分变换，运算微积分（44-XX）…
节点 3份文件引用（1992年至1997年） 软件作者： M.科杜蒂。 相关软件： 格罗布纳；ODEPAINLEVE；马西玛… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）
NPTOOLS公司 3份文件引用(1998–2002) 软件作者： S.Cyganowski和J.Carminia 相关软件： 枫树；GRTensorII型 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ProbRel公司 3份文件引用(2003–2020) 软件作者： 伊戈尔·波洛斯科夫。 相关软件： MomCumConvert；Mathematica；R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）
SFOPDES公司 3份文件引用(2019–2023) 软件作者： 加兰·加西亚（Galán-García），何塞·路易斯（JoséLuis）；加布里埃尔·阿奎列拉·维内加斯（Gabriel Aguilera-Venegas）；罗德里格斯·西埃洛斯，佩德罗；尤兰达帕迪拉·多明格斯；加兰·加西亚，玛丽亚·安格尔 相关软件： 得到；枫树；Python… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；数学教育（97-XX）
XSSR公司 3份文件引用(2002–2003) 软件作者： 迪特尔·霍夫鲍尔（Dieter Hofbauer）；弗里德里希·奥托（Friedrich Otto）；科格尔，克里斯托夫；克劳斯·马德勒（Klaus E.Madlener）。 相关软件： TOPCOM公司；CMPSm；所有类型… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；计算机科学（68-XX）
3BA公司 2份文件引用(2018) 软件作者： Horáckek，Jan；马丁·克鲁泽 相关软件： LELA；GBLA；安东尼… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）
DisPGB.mpl公司 2份文件引用(2017–2019) 软件作者： 阿米尔·哈希米；M.Alizadeh，Benyamin；Mahdi Dehghani Darmian 相关软件： 枫树；单数；IncDisPGB.mpl… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
逻辑浏览器 2份文件引用（2011年-2014年） 软件作者： 罗恩·洛扎诺，尤金尼奥；阿隆索、何塞·安东尼奥；安东尼奥·埃尔南多；路易斯·莱塔。；Roanes-Mac公司{i} 作为，尤金尼奥 相关软件： 枫树；MUltlog；伊斯兰教 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
LSSS公司 2份文件引用(2012–2020) 软件作者： 托马斯·沃尔夫（Thomas Wolf）；埃伯哈特·施尔·乌弗（Eberhard Schr“ufer）；肯尼思·韦伯斯特（Kenneth Webster） 相关软件： streamsolve.red；裂纹；减少… 主要字段： 代数几何（14-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-XX）…
新加坡金融管理局 2份文件引用(2014–2015) 软件作者： 马来亚，N.，Estacio-Hiroms，K.C.，Stogner，R.H.，Schulz，K.W.，Bauman，P.T.，Carey，G.F。 相关软件： Spalart-Allmaras；libMesh；PETSc… 主要字段： 可变形固体力学（74-XX）；流体力学（76-XX）
数学TOUCH 2份文件引用(2018) 软件作者： Shirai，Shizuka；福井、铁雄；吉多米，肯塔罗；川崎，三井；中原、高弘；中村康树；Kato，Katsuya；田口，Tetsuya 相关软件： 马克西玛；MeLQS；数学… 主要字段： 计算机科学（68-XX）；数学教育（97-XX）
NEWEUL公司 2份文件引用(1989–1990) 软件作者： 沃尔夫冈·赫施贝格（Wolfgang Hirschberg）；迪特尔·施拉姆 相关软件： DEtools；Alkahest III；SPDE… 主要字段： 场论与多项式（12-XX）；常微分方程（34-XX）；微分几何（53-XX）…
Nusschecker（数字检查器） 2份文件引用(2020–2023) 软件作者： 丹尼尔·考夫曼（Daniela Kaufmann）；阿明·比尔 相关软件： 帕切克；博斯普鲁斯；RevSCA… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
开源GR 2份文件引用(2019–2023) 软件作者： 托尔加比尔坎丹；Güzelgün，Ceren；Širin，Elif；乌斯鲁、穆斯塔法坎 相关软件： SageMath；DLMF；Maxima… 主要字段： 偏微分方程（35-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
ORACLS公司 2份文件引用(1980–1985) 软件作者： 阿姆斯特朗（Ernest S.Armstrong）。 相关软件： – 主要字段： 数值分析（65-XX）；粒子和系统力学（70-XX）；系统论；控制（93-XX）
皮诺奇 2份文件引用(2022) 软件作者： Carpentier，J.，Saurel，G.，Buondonno，G.、Mirabel，J.、Lamiraux，F.、Stasse，O.、Mansard，N。 相关软件： RBDL；Ipopt；力NLP… 主要字段： 粒子和系统力学（70-XX）；系统论；控制（93-XX）
PowerSeries系列 1份文件引用(2016) 软件作者： 阿尔瓦迪，帕里萨；马赫萨·卡泽米；马克·莫雷诺（Marc Moreno Maza） 相关软件： 正则链；Mathematica；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；实函数（26-XX）…
拉塔普尔 2份文件引用(2003–2016) 软件作者： 波波夫，B.，劳什尼克，O。 相关软件： numapprox；评估；SLEEF… 主要字段： 实函数（26-XX）；近似和展开（41-XX）；数值分析（65-XX）…
SimplifySum公司 2份文件引用(2014–2015) 软件作者： David H.Bailey。；乔纳森·博文（Jonathan M.Borwein）。；亚历山大·凯泽。 相关软件： DLMF；ARPREC；GitHub… 主要字段： 数论（11-XX）；计算机科学（68-XX）
斯鲁玛 2份文件引用(2008–2010) 软件作者： 马诺伊库马尔·克里希南（Manojkumar Krishnan）、贾里克·尼普洛查（Jarek Nieplocha） 相关软件： MATLAB实验；mftoolbox；彪马… 主要字段： 计算机科学（68-XX）；量子理论（81-XX）