红色工具箱 381份文件引用(2014–2024) 软件作者： 阿尔菲奥·夸特罗尼；安德烈亚·曼佐尼；费德里科·内格里 相关软件： 亚当；FEniCS；rbMIT… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Z 237篇文献引用(1958–2023) 软件作者： 吉姆·伍德科克；吉姆·戴维斯 相关软件： 马戏团；电源保护；罗丹… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数论（11-XX）…
LMFDB公司 273份文件中引用(2014–2024) 软件作者： http://www.lmfdb.org/确认 相关软件： 岩浆；SageMath；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；特殊功能（33-XX）…
AGG公司 71篇文献引用(1994–2023) 软件作者： 加布里埃尔·坦泽尔 相关软件： 沟槽；进度；AToM3… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；范畴理论；同调代数（18-XX）…
CHomP公司 59篇文献引用(2006–2023) 软件作者： http://chomp.rutgers.edu/People.html 相关软件： 间隙；RedHom；大写… 主要字段： 动力系统与遍历理论（37-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
伪环箍 53篇文献引用(2005–2024) 软件作者： 乔治·乔治斯库（George Georgescu）、劳伦蒂·卢斯特安（Laurentiu Leustean）、维奥雷尔·普雷奥塔萨（Viorel Preoteasa） 相关软件： – 主要字段： 数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）；一般代数系统（08-XX）…
PolyBoRi公司 50篇文献引用(2008–2023) 软件作者： 亚历山大·德雷耶（Alexander Dreyer）；迈克尔·布里肯斯坦 相关软件： 单数；SageMath；岩浆… 主要字段： 数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）；交换代数（13-XX）…
莫德-NPA 39篇文献引用(2009–2023) 软件作者： 圣地亚哥埃斯科瓦尔；梅多斯，凯瑟琳作者简介；何塞·梅塞盖尔；圣地亚哥，索尼娅 相关软件： 莫德；塔马林；AVISPA… 主要字段： 历史与传记（01-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
同源性 引用于34份文件(2001–2024) 软件作者： Jean-Guillaume杜马；弗兰克·赫肯巴赫（Frank Heckenbach）；大卫·桑德斯；沃尔克马尔·韦尔克 相关软件： 间隙；CHomP；大写… 主要字段： 组合数学（05-XX）；凸几何和离散几何（52-XX）；代数拓扑（55-XX）…
GELDA公司 33篇文献引用(1996–2018) 软件作者： 彼得·昆克尔（Peter Kunkel）、沃尔克·梅尔曼（Volker Mehrmann）、沃纳·拉思（Werner Rath）和约格·威克特（Jörg Weickert） 相关软件： GENDA公司；罗德斯；Modelica… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
阿利亚 29篇文献引用(2013–2022) 软件作者： H·欧文。；Houzeaux，G。；Samaniego，C。；莱斯基，A.C。；Vázquez，M。 相关软件： METIS；预CICE；测试… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
OFMC公司 25篇文献引用(2005–2022) 软件作者： 塞巴斯蒂安·莫德谢姆，卢卡·维甘诺 相关软件： AVISPA；NRL；Casper… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
二辉橄榄岩 28篇文献引用(2008–2022) 软件作者： G.Kitzhofer、O.Koch、G.Pulver、Ch.Simon、E.B.Weinmüller 相关软件： Matlab；雪崩；bvp4c… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
MOLGEN公司 26篇文献引用(1992–2019) 软件作者： 格兰德，R。；Kerber，A。；劳厄，R。 相关软件： 鹦鹉螺；间隙；龙… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）；凸和离散几何（52-XX）…
HipSpec（髋关节规范） 23篇文献引用(2013–2023) 软件作者： 科恩·克莱森；莫阿，约翰逊；丹·罗斯恩；尼古拉斯·斯莫尔博内 相关软件： IsaCoSy；VAMPIRE公司；CVC4… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）
精彩 20篇文献引用(2019–2023) 软件作者： Ashur，T。；德胡厄，S。 相关软件： MiMC公司；波塞冬；低MC… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
迪巴普 15篇文献引用(2008–2021) 软件作者： 亨宁·梅耶亨克；博克哈德·莫尼恩（Burkhard Monien）；托马斯·索尔瓦尔德 相关软件： 气泡-FOS/C；卡夫帕；梅蒂斯… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GENDA公司 15篇文献引用(2004–2019) 软件作者： Peter Kunkel、Volker Mehrmann、Ingo Seufer 相关软件： GELDA；Matlab；NewtonLib… 主要字段： 常微分方程（34-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
蚱蜢 14篇文献引用(2015–2023) 软件作者： R.Piskac、T.Wies和D.Zufferey 相关软件： 达菲；VeriFast公司；毒蛇… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
强稳定理想 13份文件引用(2011–2023) 软件作者： P.莱拉 相关软件： 麦考利2号；单数；OEIS… 主要字段： 组合数学（05-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
AMoRE公司 12份文件引用(1998–2010) 软件作者： O.Matz、A.Miller、A.Potthoff、W.Thomas、E.Valkema 相关软件： 自动化；间隙；圣杯… 主要字段： 总体主题；藏品（00-XX）；群论与推广（20-XX）；计算机科学（68-XX）
M网络 11份文件引用(1998–2012) 软件作者： 艾克·贝斯特（Eike Best）、沃伊切赫·弗里查克（Wojciech Frączak）、理查德·霍普金斯（Richard P.Hopkins）、汉娜·克劳代尔（Hanna Klaudel）、伊丽莎白·佩尔兹 相关软件： 政治公众人物；玛丽亚；Uppaal… 主要字段： 计算机科学（68-XX）
阿尔迪斯 11份文件引用(2013–2022) 软件作者： 亚历山德罗·维内齐亚尼（Alessandro Veneziani）；维拉，翁贝托 相关软件： FEATFLOW；FEniCS；CSparse… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
微分代数 11份文件引用(2010–2021) 软件作者： 弗朗索瓦·布利埃；弗朗索瓦·莱梅尔 相关软件： 枫树；DIFFALG公司；差异托马斯… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；偏微分方程（35-XX）…
兰道.jl 11份文件引用(2022–2023) 软件作者： 塞巴斯蒂安·米泽拉；西蒙·特伦 相关软件： PolyLogTools；天秤座；加拿大… 主要字段： 特殊功能（33-XX）；量子理论（81-XX）
弦 10篇文献引用(2016–2023) 软件作者： 迪亚戈·西富恩特斯；巴勃罗·帕里洛。 相关软件： 单一；艾司隆；正则链… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
组合学_单词 10篇文献引用(2017–2023) 软件作者： Štěpán Holub；马丁·拉什卡；Štěpán Starosta 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 计算机科学（68-XX）
DVNIZK公司 10篇文献引用(2018–2023) 软件作者： 白鹿座；杰弗里·库托 相关软件： xJsnark；gmp；FLINT… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
四点二 8份文件引用(2013–2020) 软件作者： 克里斯托弗·希拉尔。；亚伯拉罕·马丁·德尔·坎波 相关软件： symmChainGens；麦考利2号；4ti2… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
高标签2 10篇文献引用(2009–2021) 软件作者： – 相关软件： 粮食；RAKAPOSHI；OpenCL… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；交换代数（13-XX）…
AoPA公司 8份文件引用(2009–2017) 软件作者： Mu，Shin-Cheng；Ko、Xiang-Shang；帕特里克·詹森 相关软件： 阿格达；Coq；Idris… 主要字段： 数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
Java+ITP 7份文件引用(2007–2013) 软件作者： Sasse，R.，Meseguer，J。 相关软件： 莫德；爪哇风扇；K校准仪… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
针 8份文件引用(2019–2022) 软件作者： De Coninck，A。；De Baets，B。；库鲁尼斯，D。；Verbosio，F。；申克，O。；Maenhout，S。；J.福斯蒂尔。 相关软件： 流行性腮腺炎；PETSc；PCBDDC… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
HEPMath公司 5份文件引用(2017–2021) 软件作者： 马丁·威布什 相关软件： FeynCalc；Mathematica；表格… 主要字段： 复变量函数（30-XX）；代数拓扑（55-XX）；统计学（62-XX）…
讨厌的人 7份文件引用(2021–2024) 软件作者： 帕特里克·法雷尔（Patrick E.Farrell）。；罗伯特·C·柯比。；豪尔赫·马切纳·梅内德斯 相关软件： 萤火虫；罗德斯；MFEM… 主要字段： 数值分析（65-XX）；流体力学（76-XX）
LIPSAT公司 6篇文献引用（2018年至2021年） 软件作者： 马塞洛·芬格；桑德罗·普雷托 相关软件： MiniSat；玲玲；Yices… 主要字段： 数理逻辑与基础（03-XX）；有序，格，有序代数结构（06-XX）；测量和集成（28-XX）…
低碳所 6篇文献引用(2009–2022) 软件作者： 米罗斯拉夫·哈利洛维奇；Vrh，马尔科；鲍里斯·斯托克 相关软件： ABAQUS；GitHub；UMAT… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）
拉尔夫 6篇文献引用(1997–2014) 软件作者： 克劳迪娅·哈登斯珀格、鲁道夫·伯哈默、冈特·施密特 相关软件： RALL；RelView；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数理逻辑与基础（03-XX）…
超级加州 3份文件引用（1991年至1998年） 软件作者： W.M.塞勒 相关软件： Mathematica；小茴香；减少… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FLAM（火焰） 4份文件引用(2020–2022) 软件作者： 肯尼思·L·何 相关软件： STRUMPACK；Hm-toolbox；HODLR库… 主要字段： 偏微分方程（35-XX）；积分方程（45-XX）；数值分析（65-XX）…
勒梅 3份文件引用(1995–2019) 软件作者： H·特里基。 相关软件： MIMOLA公司；MAHA；PIPS… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
Lsolver公司 5份文件引用(2005–2021) 软件作者： J.Avellar、L.G.S.Duarte、S.E.S.Duarte、L.A.C.P.da Mota 相关软件： 枫树；RationalFirstinegals；PSsolver… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）
PHquintic公司 5份文件引用(2015–2024) 软件作者： Dong，B.，Farouki，R.T。 相关软件： BPOLY公司 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
UDDAE_优化 5份文件引用(2017–2022) 软件作者： Luca Fenzi；密歇根州 相关软件： UQLab；HIFOO；DDE-BIFTOOL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
Aximo公司 4份文件引用（2009-2016年） 软件作者： 理查兹，S.，M.萨达德 相关软件： 演示；佩斯卡 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
初始DAE 4份文件引用(2020–2021) 软件作者： Estévez Schwarz，D.，Lamour，R。 相关软件： AlgoPy；蟒蛇；索引网… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；粒子和系统力学（70-XX）…
向量场的李代数 4份文件引用(2017–2021) 软件作者： I.G.Lisle；S.-L.T.黄 相关软件： SADE；微分几何；GeM… 主要字段： 场论与多项式（12-XX）；非结合环与代数（17-XX）；常微分方程（34-XX）…
矿石代数分析 4份文件引用(2017–2020) 软件作者： 托马斯·克鲁索；克里斯托夫·库彻恩 相关软件： 矿石形态；矿石模块；NL控制… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；变分法与最优控制；优化（49-XX）…
ParElag公司 4份文件引用(2018–2023) 软件作者： 安德鲁·巴克尔（Andrew T.Barker）；Delyan Kalchev；李泽成；莎拉·奥斯本 相关软件： MFEM；炒作；GitHub… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
芬奇 4份文件引用(2014–2021) 软件作者： B.Büeler、A.Enge、K.Fukuda 相关软件： lrs；Normaliz；cdd… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；凸和离散几何（52-XX）…
AGL评分 3份文件引用(2021–2022) 软件作者： D.Nguyen；G.-W.魏 相关软件： 拓扑网；爱马仕；酒神… 主要字段： 微分几何（53-XX）；代数拓扑（55-XX）；流形和细胞复合体（57-XX）…
菲奥迪 3份文件引用(2014–2019) 软件作者： Avellar，J。；杜阿尔特，L.G.S。；达莫塔，L.A.C.P。 相关软件： InSyDE；菲奥迪；枫树 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）
MetaMol公司 3份文件引用(2013–2018) 软件作者： Chavent M.、Levy B.、Maigret B。 相关软件： SIMS；PAFMPB；GT引擎… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
操作En 3份文件引用(2022–2023) 软件作者： Pantelis Sopasakis、Emil Fresk、Panagiotis Patrinos 相关软件： ProximalAlgorithms.jl；UNLocBoX；阿尔根卡… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
鳄鱼 2份文件引用(2010–2020) 软件作者： 托马斯·亨辛格（Thomas A.Henzinger）。；Thibaud Hottelier；劳拉·科瓦奇（Laura Kovács）；安德烈·里巴尔琴科 相关软件： z3；助推器；Daikon… 主要字段： 计算机科学（68-XX）
凸松弛RungeKutta 2份文件引用(2020–2023) 软件作者： 戴维·凯奇森一世 相关软件： RRK_rr；minpack；GitHub… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
FourierSAT公司 2份文件引用(2021) 软件作者： Kyrillidis、Anastasios；Shrivastava，Anshumali；Vardi，Moshe Y。；张志伟 相关软件： MiniSat；玲玲；弯曲… 主要字段： 有序，格，有序代数结构（06-XX）；计算机科学（68-XX）
幽灵克星 2份文件引用（2016年至2019年） 软件作者： 特雷弗·L·麦克唐纳。；Timothy A.K.Zakian。；马蒂奥·西米尼；Ryan R.牛顿。 相关软件： 举起；转让；立方体… 主要字段： 计算机科学（68-XX）
图形调查员 2份文件引用(2011–2016) 软件作者： 捷克语，Wojciech；维托尔德·德兹温；Sławomir Goryczka；托马斯·阿罗兹；阿卡迪乌斯·杜德克。 相关软件： SpectralNET；StOCNET网络 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
K角 2份文件引用(2016–2021) 软件作者： 尼古拉·基尔科奇耶夫（Nikolay Kyurkchiev）；斯维托斯拉夫·马尔科夫 相关软件： ENZPACK公司；Matlab；SigrafW… 主要字段： 生物学和其他自然科学（92-XX）
QuBiLs-MIDAS公司 2份文件引用(2015–2020) 软件作者： 加西亚·加卡斯，C.R。；Marrero-Pone，Y。；阿塞韦多·马丁内斯，L。；Barigye，S.J。；巴尔德斯·马丁尼，J.R。；孔特拉斯·托雷斯，E 相关软件： ToMoCoMD-CARDD；FoldRate；MuLiMs-MCOMPA… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
自旋角度 1份文件引用(2021) 软件作者： 盖加拉斯、盖迪米亚斯；斯蒂芬·弗里茨彻 相关软件： 抓2k；朱莉娅；枫树 主要字段： 代数几何（14-XX）；实函数（26-XX）；偏微分方程（35-XX）…
超越_系列_Hancl_Rucki 2份文件引用(2021–2022) 软件作者： Angeliki Koutsukou Argyraki；李文达（Wenda Li） 相关软件： 开普勒98；非理性系列；非理性_J_Hancl… 主要字段： 数理逻辑与基础（03-XX）；数论（11-XX）；计算机科学（68-XX）
XPTO公司 2份文件引用(2011) 软件作者： 弗拉维奥·费雷拉（Flávio Ferreira）、雨果·帕切科（Hugo Pacheco） 相关软件： XPath；哈斯克尔；Stratego… 主要字段： 计算机科学（68-XX）
EASAL公司 1份文件引用(2018) 软件作者： 艾塞古尔·奥兹坎（Aysegul Ozkan）；拉胡尔·帕布；特洛伊·贝克；詹姆斯·彭斯（James Pence）；Jorg Peters；米拉·西塔拉姆 相关软件： – 主要字段： 数值分析（65-XX）
渔民_不平等 1份文件引用(2023) 软件作者： Edmonds，C.、Paulson，L.C 相关软件： 周长彩色；伊莎贝尔；Roth_算法_程序… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
泄漏强制力 1份文件引用(2024) 软件作者： 约瑟夫·阿拉米达（Joseph S.Alameda）。；香农·迪尔曼；富兰克林·肯特 相关软件： – 主要字段： 组合数学（05-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
多LiMs-MCoMPAs 1份文件引用(2020) 软件作者： 约瓦尼Marrero-Pone；朱利奥·特兰（Julio E.Teran）。；埃内斯托·孔特拉斯·托雷斯；塞萨尔·R·加西亚·加卡斯。；佩雷兹·卡斯蒂略（Perez-Castillo），尤尼尔基斯（Yunierkis）；内斯特库比兰；Peréz-Giménez，法昆多；瓦尔德斯·马提尼（JoséR。 相关软件： FoldRate；PseAAC生成器；PROFEAT… 主要字段： 统计学（62-XX）；生物学和其他自然科学（92-XX）
OPUS公司 1份文件引用(2023) 软件作者： 我，H.G。；Raja，L.L。；Kee，R.J。；卢茨，A.E。；佩佐德，L.R。 相关软件： 处理ExpACF；罗德斯；CHEMKIN… 主要字段： 流体力学（76-XX）；经典热力学，传热（80-XX）
PAFSV公司 在0个文档中引用 软件作者： 曼，卡洛克；Lei，Chi-Un；赫曼吉·K·卡普尔。；托马斯·克里拉维修斯（Tomas Krilavicius）；马杰明；张楠 相关软件： Verilog公司；Uppaal；自旋蛋白 主要字段： 计算机科学（68-XX）
随机基本点 在0个文档中引用 软件作者： Sankhaneel Bisui、Zhan Jiang、Sarasij Maitra、Thai Thánh Nguyán、Karl Schwede 相关软件： FastLinAlg；基本原理；克雷莫纳… 主要字段： –
图萨（Tusas） 1份文件引用(2022) 软件作者： Supriyo Ghosh；克里斯托弗·纽曼（Christopher K.Newman）。；玛丽安·弗朗索瓦（Marianne M.Francois）。 相关软件： 硝酚；Amesos2；CUDA… 主要字段： 数值分析（65-XX）；流体力学（76-XX）