数学软件 6559份文件中引用(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
UMFPACK公司 引用于459份文件(1996–2024) 软件作者： 蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： FreeFem++；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
菅直人 50篇文献引用(1998–2023) 软件作者： N.Takayama公司 相关软件： 麦考利2号；单一；Risa/Asir… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
阿尔特拉 34份文件引用(1971–2018) 软件作者： W.S.布朗；安德鲁·霍尔 相关软件： 伊斯兰教；减少；gmp… 主要字段： 群论与推广（20-XX）；近似和展开（41-XX）；数值分析（65-XX）…
利普德 32篇文献引用(1993–2019) 软件作者： 托马斯·沃尔夫 相关软件： 裂纹；应用符号；SYMMGRP… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
PDE工具 29篇文献引用(1995–2018) 软件作者： Cheb Terrab，E.S.公司。；冯·布洛，K。 相关软件： 枫树；伊斯兰教；SADE… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；微分几何（53-XX）…
MOPS公司 27篇文献引用(2006–2022) 软件作者： 爱奥那州杜米特里乌；艾伦·爱德曼（Alan Edelman）；吉恩·舒曼 相关软件： OPQ；数据捕获；SRJAC… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；特殊功能（33-XX）…
SBA公司 23篇文献引用(2007–2022) 软件作者： Manolis I.A.Lourakis；安东尼斯·阿吉罗斯（Antonis A.Argyros） 相关软件： SIFT；MonoSLAM；PCA-SIFT… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；数值分析（65-XX）…
SYNAPS公司 24篇文献引用(2002–2009) 软件作者： B.Mourrain、J.P.Pavone、Trebuchet博士、E.Tsigaridas 相关软件： 隔离；na10；单数… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；代数几何（14-XX）…
卢加雷斯 18篇文献引用（2002年-2023年） 软件作者： 博塔纳，F。；瓦尔加斯，J.L。 相关软件： 可可；灰姑娘；几何画板… 主要字段： 交换代数（13-XX）；几何（51-XX）；微分几何（53-XX）…
RM工具 17篇文献引用(2007–2023) 软件作者： N.Raj Rao、Alan Edelman 相关软件： QuEST；选择性收缩；光谱… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；功能分析（46-XX）…
极为复杂的 16篇文献引用(2005–2023) 软件作者： 我·贝尔梅乔，我·加西亚·马尔科 相关软件： 单一；cimonom；数字gps… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
安全控制中心 13份文件引用(2008–2017) 软件作者： S.Freundt、P.Horn、A.Konovalov、S.Linton、D.Roozemond 相关软件： 间隙；SageMath；枫树… 主要字段： 代数拓扑（55-XX）；计算机科学（68-XX）
VFGEN（变频发电机） 14篇文献引用(2008–2020) 软件作者： 沃伦·威克塞 相关软件： pythNon；学校；数据集… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
ATESAT卫星 在11份文件中引用(1998–2018) 软件作者： 阿巴德。；Elipe，A。；Palacián，J。；桑·胡安，J.F。 相关软件： PSPC；Mathematica；数学卫星… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
铆钉 在11份文件中引用(2020–2024) 软件作者： 迈克尔·莱斯尼克、马修·赖特 相关软件： 裂土器；GitHub；辛巴… 主要字段： 交换代数（13-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
短吻鳄 12份文件引用(2008–2023) 软件作者： 劳拉·科瓦奇 相关软件： Mathematica；fastZeil；Aligator.jl… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
RealCertify公司 10篇文献引用(2018–2023) 软件作者： Victor Magron，Mohab Safey El Din 相关软件： TSSOS；塞杜米；Mosek… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
基础知识 8份文件引用(2010–2022) 软件作者： 雷吉斯·布朗；托马斯·亨辛格。；Thibaud Hottelier；劳拉·科瓦奇 相关软件： AProVE；速度；TiML… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
凯特辛迪 9份文件引用(2016–2020) 软件作者： Setsuo Takato公司 相关软件： 灰姑娘；KETpic公司；LaTeX… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
保守法MD 9份文件引用(2011–2023) 软件作者： L.D.普尔；W.赫里曼 相关软件： PDE安保运营商；疼痛水平测试；数学… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
斯特林 9份文件引用(2007–2020) 软件作者： 曼纽尔·考尔斯 相关软件： SIGMA；DEtools；EvaluateMultiSums… 主要字段： 组合数学（05-XX）；数论（11-XX）；特殊功能（33-XX）…
阿尔巴 7份文件引用(1991–2020) 软件作者： Grant O.jun.库克。；Jeffrey F.画家。 相关软件： GENTRAN公司；PDEQSOL；CTADEL… 主要字段： 总体主题；藏品（00-XX）；积分方程（45-XX）；数值分析（65-XX）…
p面 7份文件引用(2019–2022) 软件作者： 哈立德，马哈茂德；马吉德·扎马尼 相关软件： SCOTS；ROCS；CoSyma… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
Sycraft公司 6篇文献引用(2009–2015) 软件作者： B.Bonakdarpour，S.Kulkarni 相关软件： CUDD；Uppaal公司；Vertaf… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
IRIT公司 5份文件引用(2004–2021) 软件作者： G.Elber，以色列海法Technion计算机科学系 相关软件： VTK；犰狳；C制作… 主要字段： 偏微分方程（35-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
钠25 6篇文献引用（2006年至2018年） 软件作者： 达里奥·比尼（Dario A.Bini）。；安娜·马可 相关软件： mctoolbox；根某人；MultRoot… 主要字段： 交换代数（13-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
SInt公司 6篇文献引用(2013–2021) 软件作者： 安娜·康西奥。；维克托·G·克拉夫琴科。；何塞·佩雷拉。 相关软件： Mathematica；A规格成对标尺；A规格配对矩阵… 主要字段： 复变量函数（30-XX）；近似和展开（41-XX）；积分方程（45-XX）…
变速箱 6篇文献引用(2011–2021) 软件作者： Otpuschennikov，I.、Semenov，A.、Kochemazov，S。 相关软件： MiniSat；氚；URSA… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
C群集 5份文件引用(2018–2023) 软件作者： 雷米·伊姆巴赫；Victor Y.Pan。；耶，芝士 相关软件： ANewDsc；阿伯；Lgp… 主要字段： 场论与多项式（12-XX）；复变量函数（30-XX）；数值分析（65-XX）…
建模工具包.jl 3份文件引用(2022–2024) 软件作者： 马英波（Yingbo Ma）、沙什·戈达（Shashi Gowda）、兰詹·阿南塔拉曼（Ranjan Anantharaman）、克里斯·劳夫曼（Chris Laughman）、维拉尔·沙阿（Viral Shah）、克里斯·拉卡库卡斯 相关软件： 微分方程.jl；朱莉娅；KaDE… 主要字段： 结合环与代数（16-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
参数GCD 5份文件引用(2018–2023) 软件作者： 卡普尔，迪帕克；鲁、东；迈克尔·莫纳根（Michael Monagan）；孙尧；王定康 相关软件： 单一；PGB；差异托马斯… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
Symgrid公司 4份文件引用(2008–2016) 软件作者： Hammond，K.、Al Zain，A.、Cooperman，G.、Petcu，D.、Trinder，P.W。 相关软件： 胶；伊甸园；多重显示… 主要字段： 计算机科学（68-XX）
迪克森EDF 4份文件引用(2017–2024) 软件作者： 罗伯特·刘易斯。 相关软件： 枫树；费马；Matlab… 主要字段： 交换代数（13-XX）；数值分析（65-XX）；计算机科学（68-XX）
象征性力量 4份文件引用（2002年-2023年） 软件作者： 埃洛伊萨·格里佛 相关软件： 麦考利2号；SpechtModule（透视模块） 主要字段： 交换代数（13-XX）；群论与推广（20-XX）
Drazin反向 3份文件引用(2021–2022) 软件作者： Caravantes，J。；森德拉，JR；Sendra，J。；Gerhard，J。；科齐里亚斯，I。 相关软件： 枫树 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；微分几何（53-XX）…
法迪耶娃 2份文件引用(2021–2024) 软件作者： 莫弗雷·扎格鲁尔（Mofreh R Zaghloul） 相关软件： 算法916；SPECFUN公司；算法680… 主要字段： 复变量函数（30-XX）；数值分析（65-XX）
GBGR.mpl标准 3份文件引用(2013–2021) 软件作者： 阿米尔·哈希米；帕里萨·阿尔瓦迪 相关软件： 尼莫；赫克；朱莉娅… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；计算机科学（68-XX）…
积分闭包 3份文件引用(1998–2023) 软件作者： 阿米莉亚·泰勒；戴维·艾森巴德（David Eisenbud）；迈克·斯蒂尔曼 相关软件： 克雷莫纳；麦考利2号；主分解… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
TASS公司_ 3份文件引用(2011–2012) 软件作者： Stephen Siegel指导下的验证软件实验室 相关软件： KLEE公司；ISP；cvc3… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
DisPGB.mpl公司 2份文件引用(2017–2019) 软件作者： 阿米尔·哈希米；M.Alizadeh，Benyamin；Mahdi Dehghani Darmian 相关软件： 枫树；单一；IncDisPGB.mpl… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
GENOM3CK系列 2份文件引用(2010–2013) 软件作者： 梅德利娜·霍多罗格；约瑟夫·希乔 相关软件： 阿克塞尔；MultRoot；数学… 主要字段： 代数几何（14-XX）；流形和细胞复合体（57-XX）；计算机科学（68-XX）
GoTube公司 2份文件引用(2022) 软件作者： 索菲·格伦巴赫（Sophie Gruenbacher）、马蒂亚斯·莱切纳（Mathias Lechner）、拉明·哈萨尼（Ramin Hasani）、丹妮拉·罗斯（Daniela Rus）、托马斯·汉津格（Thomas A.Henzinger）、斯科特·斯莫尔卡（Scott Smol 相关软件： 火炬差异；Reluplex；流量*… 主要字段： 计算机科学（68-XX）
GROOME公司 2份文件引用(2001) 软件作者： 维克多·甘扎（Victor G.Ganzha）。；奇比索夫（Dmytro Chibisov）；沃罗佐佐夫，叶夫根尼五世。 相关软件： SciNapse；枫树 主要字段： 计算机科学（68-XX）；流体力学（76-XX）
HOAD_运动乐趣 2份文件引用(2016–2018) 软件作者： 伊莎贝·沙彭蒂埃 相关软件： DLMF；阿博加斯特；狂犬病… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
交叉点编号。米 2份文件引用(2023) 软件作者： 帕特里克·杰斐逊；安德鲁·特纳（Andrew P.Turner）。 相关软件： 数学软件 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；量子理论（81-XX）…
最大可能障碍函数 2份文件引用(2018–2022) 软件作者： Jose Israel罗德里格斯 相关软件： 麦考利2号；CSM-A；第3264册示例… 主要字段： 代数几何（14-XX）；几个复变量与解析空间（32-XX）；整体分析，歧管分析（58-XX）
莫德沃克 2份文件引用(2003–2016) 软件作者： S.奥伯弗兰兹 相关软件： ffmodstd；modstd.lib；麦考利2… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；计算机科学（68-XX）
PGFAN.段 2份文件引用(2018–2019) 软件作者： 阿米尔·哈希米；Dehghani Darmian，Mahdi；马尔齐·巴克霍达尔 相关软件： 参数GCD；PGB；dpgb… 主要字段： 交换代数（13-XX）；计算机科学（68-XX）
PowerSeries系列 1份文件引用(2016) 软件作者： 阿尔瓦迪，帕里萨；马赫萨·卡泽米；马克·莫雷诺（Marc Moreno Maza） 相关软件： 正则链；Mathematica；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；实函数（26-XX）…
QNAT公司 1份文件引用(2001) 软件作者： 科尔，H.T。；Manjunath，D。；Bose，S.K.公司。 相关软件： SPNP；MersenneTwister；莫比乌斯… 主要字段： 计算机科学（68-XX）
出生日期 1份文件引用(1999) 软件作者： 安东尼·布莱克特（Anthony J.Blackett）。；安德里斯·斯特波维茨（Andris T.Stelbovics）。 相关软件： 枫树 主要字段： 量子理论（81-XX）
ESCO_OperatorInference_Time-Dependent问题 1份文件引用(2023) 软件作者： Yannis Schumann；菲利普·诺伊曼 相关软件： 石溪；glmnet；Python… 主要字段： 算子理论（47-XX）；数值分析（65-XX）
柔性GP 在0个文档中引用 软件作者： Veeramachaneni，K；阿纳尔多，I；德比，O；O'Reilly，UM；麻省理工学院ALFA集团 相关软件： C4.5；JXTA；EvAg… 主要字段： ——
修改.lib 1份文件引用(2009) 软件作者： Hashemi A、Pfister G、Schönemann H 相关软件： Mathematica；toric.lib；岩浆… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；生物学和其他自然科学（92-XX）
符号工具.jl 在0个文档中引用 软件作者： 沙希·戈达、马英波、亚历山德罗·切利、马贾·格沃兹兹、维拉尔·沙阿、阿兰·埃德尔曼、克里斯托弗·拉卡卡斯 相关软件： 建模工具包.jl；微分方程.jl；QuantumOptics.jl… 主要字段： ——
SYMPLER公司 1份文件引用(2018) 软件作者： David Kauzlarić、Marek Dynowski、Lars Pastewka、Andreas Greiner、Jan G.Korvink 相关软件： —— 主要字段： 计算机科学（68-XX）；流体力学（76-XX）；生物学和其他自然科学（92-XX）
火炬 在0个文档中引用 软件作者： Mike Heddes、Igor Nunes、Pere Vergés、Dheyay Desai、Tony Givargis、Alexandru Nicolau 相关软件： PyTorch；蟒蛇 主要字段： ——