SIFT公司 382份文件引用(2006–2024) 软件作者： 大卫·罗伊 相关软件： 冲浪；PCA-SIFT；PASCAL VOC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
纽顿图书馆 335篇文献引用(2001–2024) 软件作者： 彼得·德弗哈德（Peter Deufhard）；卢茨·魏曼 相关软件： PETSc；罗德斯；Matlab… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
Normaliz公司 210份文件引用(1998–2024) 软件作者： Winfried Bruns、Bogdan Ichim、Tim Römer、Christof Söger 相关软件： 麦考利2号；4ti2；聚乙烯… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
PHAVer公司 119篇文献引用(2005–2024) 软件作者： 戈兰·弗雷斯 相关软件： 高科技；SpaceEx；RSOLVER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SpaceEx公司 90篇文献引用(2011–2023) 软件作者： 戈兰·弗雷泽（Goran Frehse）、科拉斯·勒格尼奇（Colas Le Guernic）、亚历山大·唐泽（Alexandre Donzé）、斯科特·科顿（Scott Cotton）、拉贾西·雷（Rajarshi Ray）、奥利维尔·勒贝泰尔（Olivier Lebeltel）、鲁道夫·里帕多（Rodolf 相关软件： 高科技；流量*；PHAVer… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
主持人 60篇文献引用（2017年至2024年） 软件作者： 丹尼尔·福尔曼·马基、大卫·霍格、达斯汀·朗、乔纳森·古德曼 相关软件： Python；SciPy；Matplotlib… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
STRSCNE公司 63份文件引用(2003–2023) 软件作者： 贝拉维亚，斯蒂芬妮娅；玛丽亚·麦科尼；贝内代塔·莫里尼 相关软件： 利瓦尔；CoDoSol公司；minpack… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
电子频率检测器 59篇文献引用(2007–2023) 软件作者： 丹尼尔·伯恩斯坦（Daniel J.Bernstein）；Tanja Lange女士 相关软件： 25519号曲线；mpFq；SageMath… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
TRICE公司 48篇文献引用(1997–2022) 软件作者： 丹尼斯，J.E。；Heinkenschloss，Matthias；吕维森特{i} 秒N。 相关软件： 兰斯洛特；Ipopt；SNOPT… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
椭圆工具箱 38篇文献引用(2006–2022) 软件作者： Kurzhanskiy，A.A。；瓦莱亚，P。 相关软件： 太空探索技术公司；MPT；流量*… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ASIFT公司 34份文件引用(2009–2022) 软件作者： Jean-Michel Morel，余国深 相关软件： SIFT；冲浪；PCA-SIFT… 主要字段： 微分几何（53-XX）；数值分析（65-XX）；计算机科学（68-XX）…
凸面的 36篇文献引用(2004–2022) 软件作者： 马蒂亚斯·弗兰兹 相关软件： Normaliz；枫树；LattE… 主要字段： 数论（11-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
深面（DeepFace） 33篇文献引用(2015–2023) 软件作者： Taigman Y，Yang M，Ranzato M，Wolf L。 相关软件： ImageNet；AlexNet；FaceNet… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
HECC公司 引用于29份文件(2003–2022) 软件作者： 范俊峰；莱杰拉·巴蒂纳；英格丽德·韦伯韦德 相关软件： NTL；EFD；mCrypton… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
混合工具箱 在30份文件中引用(2004–2023) 软件作者： 贝姆帕德A。 相关软件： HYSDEL公司；MPT；CPLEX… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
密码技术 29篇文献引用(2001–2015) 软件作者： 瓦西尔·乌斯廷科 相关软件： 密码；Galois字段算术库 主要字段： 组合数学（05-XX）；代数几何（14-XX）；计算机科学（68-XX）…
CSM-A公司 24篇文献引用(2003–2022) 软件作者： 保罗·阿鲁菲 相关软件： 麦考利2号；特征类；FMP截面理论… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
调情 20篇文献引用（2001年-2023年） 软件作者： Jesper Andersson、Peter Bannister、Christian Beckmann、Timothy Behrens、Michael Chappell、Gwena“elle Doaud、Ivana Drobnjak、David Flitney、Adrian Groves、Saad Jbabdi、Mark Jenkinson、Heidi Johansen-Berg、Duncan Mortimer、Rami Niazy、Tom Nichols、Brian Patenaude、Reza Salimi、Steve Smith、John Vickers、Matthew Webster、Mark Woolrich、Yongyue Zhang 相关软件： FSL；AFNI；下注… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
复合式MuPAD 24篇文献引用(2004–2019) 软件作者： 弗朗索瓦·德斯库恩斯 相关软件： MuPAD；组织环境信息系统；SageMath… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
柯迪 9份文件引用(2014–2023) 软件作者： 丹尼尔·波维；阿纳布·戈沙尔；Gilles Boulianne；汉堡，卢卡斯；Ondrej Glembek；戈尔，纳根德拉；米尔科·汉内曼；佩特·莫特里切克；钱燕民；彼得·施瓦兹 相关软件： PyTorch；自由演讲；TensorFlow… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；量子理论（81-XX）…
OPECgen公司 20篇文献引用(1999–2019) 软件作者： 姜厚元；丹尼尔·拉尔夫 相关软件： MacMPEC；SDPT3；Matlab… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
SeDiMO公司 17篇文献引用(2007–2023) 软件作者： Karin Baur；Draisma，Jan；威廉·德·格拉夫。 相关软件： 麦考利2号；贝尔蒂尼；间隙… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；结合环与代数（16-XX）…
极为复杂的 16篇文献引用(2005–2023) 软件作者： 我·贝尔梅乔，我·加西亚·马尔科 相关软件： 单一；cimonom；数字gps… 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
IBEX公司 14篇文献引用(2009–2023) 软件作者： 查伯特，G；约旦尼宁 相关软件： filib++；数字；个人资料/偏见… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
AIFS公司 14篇文献引用(2001–2011) 软件作者： 科奇，卢比{s} 一个M。 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；测量和集成（28-XX）；动力系统和遍历理论（37-XX）…
芬斯勒 13份文件引用(2001–2021) 软件作者： Rutz，Solange F。；葡萄牙，雷纳托 相关软件： 枫树；芬斯勒；NF… 主要字段： 常微分方程（34-XX）；微分几何（53-XX）；计算机科学（68-XX）…
CoDoSol公司 12份文件引用(2012–2023) 软件作者： 贝拉维亚，斯蒂芬妮娅；玛丽亚·麦科尼；桑德拉·皮耶拉西尼 相关软件： STRSCNE公司；最小包装；MCPLIB… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；流体力学（76-XX）…
混合稳定样条线工具箱 12份文件引用（2016年-2023年） 软件作者： 吉安路易吉·皮洛内托 相关软件： Matlab；PRMLT；GitHub… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
岛屿 11份文件引用(2009–2018) 软件作者： 斯文·威尔多拉耶格（Sven Verdoolaege） 相关软件： 欧米茄；巴维诺克；TRACO… 主要字段： 组合数学（05-XX）；数论（11-XX）；凸和离散几何（52-XX）…
单项式代数 12份文件引用(2003–2023) 软件作者： Le Tuan Hoa、Juergen Stueckrad、J.Boehm；戴维·艾森巴德（David Eisenbud）；M.尼切 相关软件： 麦考利2号；单一；可可 主要字段： 组合数学（05-XX）；数论（11-XX）；交换代数（13-XX）…
纽顿KKTqp 12份文件引用(2006–2022) 软件作者： Absil，P.-A.公司。；安德烈·提茨 相关软件： 最小值；Matlab；Ipopt… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
拉马斯 12份文件引用(2006–2013) 软件作者： 马吕斯·克劳泽（Marius Kloetzer）；卡林·贝尔塔 相关软件： RoVerGeNe；高科技；PHAVer… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
减少的LP 12份文件引用（1992年至2019年） 软件作者： AndréL.Tits、P.-A.Absil、William P.Woessner 相关软件： rMPC；SDPT3；纽顿KKTqp… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；数值分析（65-XX）…
SB方法 12份文件引用(2002–2017) 软件作者： 克里斯托夫·赫尔姆贝里 相关软件： CSDP；SDPLR；SDPT3… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
raSAT系统 11份文件引用（2016年-2023年） 软件作者： T.V.Khanh，M.小川。 相关软件： SMT-RAT；z3；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；数值分析（65-XX）…
SM4公司 11份文件引用(2017–2023) 软件作者： 张，X。；郭，H。；张，X。；王，C。；刘，J。 相关软件： 打火机-R；凯卡克；深度_啄… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）…
SDLS系统 10篇文献引用(2010–2023) 软件作者： Didier Henrion、Jéróme Malick 相关软件： 塞杜米；SDPT3；SDPLR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；凸和离散几何（52-XX）…
S每个工具 10篇文献引用(2019–2023) 软件作者： 亚伯拉罕·维诺德（Abraham P.Vinod）。；约瑟夫·格里森（Joseph D.Gleason）。；Oishi、Meeko M.K。 相关软件： ProbReach；FAUST2；AMYTISS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
QPALM公司 8份文件引用(2020–2023) 软件作者： Ben Hermans、Andreas Themelis、Panagiotis Patrinos 相关软件： OSQP；qpOASES；OOQP… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FiOrdOs公司 8份文件引用(2015–2022) 软件作者： F.乌尔曼，S.里希特 相关软件： CVXGEN；qpOASES；fast_mpc… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
海斯特 引用于7份文件(2015–2019) 软件作者： Stanley Bak、Sergiy Bogomolov、Taylor T.Johnson 相关软件： SpaceEx；CORA；C2e2… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
法线.lib 6篇文献引用(2004–2020) 软件作者： 格雷厄尔，G.-M.，拉普拉涅，S.，塞利什，F。 相关软件： 单一；麦考利2号；resolve.lib… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
SVCCA公司 8份文件引用(2020–2023) 软件作者： Maithra Raghu、Justin Gilmer、Jason Yosinski、Jascha Sohl-Dickstein 相关软件： 十字花科植物；ImageNet；MNIST… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
流量++ 5份文件引用(2021–2023) 软件作者： Jonathan Ho、Xi Chen、Aravind Srinivas、Yan Duan、Pieter Abbeel 相关软件： 辉光；低碳所；火炬差异… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）…
多面体 引用于7份文件(2009–2020) 软件作者： M.Dutour Sikirić先生 相关软件： 间隙；多品牌；港口… 主要字段： 数论（11-XX）；代数几何（14-XX）；几何（51-XX）…
RNAforester公司 引用于7份文件(2011–2018) 软件作者： 斯基默，斯蒂芬妮；罗伯特·吉格里奇 相关软件： 哈斯克尔；CONTRAlign公司；维也纳RNA… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
水晶 6篇文献引用(2006–2019) 软件作者： Bettina Eick、Franz Gähler、Werner Nickel 相关软件： 间隙；岩浆；克拉… 主要字段： 群论与推广（20-XX）；凸和离散几何（52-XX）；代数拓扑（55-XX）…
HyLAA公司 6篇文献引用(2017–2023) 软件作者： 斯坦利·巴克；帕拉萨拉·斯里达尔·达吉拉拉 相关软件： CORA；SpaceEx；流量*… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；系统论；控制（93-XX）
国际可持续发展委员会 5份文件引用(2007–2021) 软件作者： FIZ卡尔斯鲁厄 相关软件： OQMD；AiiDA；芹菜… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
IFS瓷砖 6篇文献引用(2017–2022) 软件作者： 德米特里·梅霍恩采夫 相关软件： 混沌中的对称性 主要字段： 测量和集成（28-XX）；动力系统与遍历理论（37-XX）；凸和离散几何（52-XX）…
mnt公司 6篇文献引用(2020–2023) 软件作者： Lucas Butsch、Bruno Ebner、Jaco Visagie、Johann Siemens 相关软件： R；枫树；mvShapiroTest… 主要字段： 偏微分方程（35-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
m集群 6篇文献引用(2019–2022) 软件作者： 弗朗西斯科·多托；阿莱西奥·法科梅尼 相关软件： TCLUST；R；受污染混合物… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
Noetherian运算符 5份文件引用(2022–2023) 软件作者： Justin Chen、Yairon Cid-Ruiz、Marc Härkönen、Robert Krone、Anton Leykin 相关软件： 麦考利2号；带微分算子的原语分解；贝尔蒂尼… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；特殊功能（33-XX）…
Normaliz接口 6篇文献引用(2016–2021) 软件作者： S.Gutsche、M.Horn、C.Söger 相关软件： Normaliz；间隙；GitHub… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；交换代数（13-XX）…
虚拟排列 6篇文献引用(2019–2022) 软件作者： Eric Marberg；张一峰 相关软件： github 主要字段： 组合数学（05-XX）；代数几何（14-XX）；结合环与代数（16-XX）…
仿射 4份文件引用(2012–2019) 软件作者： 安东·纳扎罗夫 相关软件： Mathematica；LiE；仿射.m… 主要字段： 非结合环与代数（17-XX）；拓扑群，李群（22-XX）；计算机科学（68-XX）…
哈斯 5份文件引用（2017年至2024年） 软件作者： 弗洛里安·科尔；李彦西；Johannes Rauh；鲁里科·吉田 相关软件： Normaliz；麦考利2号；标准对… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
马尔科 5份文件引用(2007–2018) 软件作者： 伯曼，春天；阿拉斯（Halász，Ádám）；维杰·库马尔 相关软件： 高科技；PHAVer；流量*… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
MoSeL公司 5份文件引用(2018–2023) 软件作者： Robbert Krebbers；雅克·亨利·乔丹（Jacques-Henri Jourdan）；Ralf Jung；约瑟夫·塔萨罗蒂；Kaiser，Jan-Oliver；阿明·蒂曼尼；亚瑟·查古埃罗（Arthur Charguéraud）；德雷克·德雷尔 相关软件： Coq；VeriFast；草蜢… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PLuTo公司 5份文件引用(2012–2022) 软件作者： Bondhugula，U.、Hartono，A.、Ramanujam，J.、Sadayappan，P。 相关软件： github；CompCertTSO；火焰… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；可变形固体力学（74-XX）
仿射。米 4份文件引用(2012–2021) 软件作者： 安东·纳扎罗夫 相关软件： Mathematica；仿射；LiE… 主要字段： 非结合环与代数（17-XX）；群论与推广（20-XX）；数值分析（65-XX）…
算法963 4份文件引用(2016–2022) 软件作者： 马尔科斯·埃斯科瓦尔（Marcos Escobar）；鲁道夫（Rudolph，Benedikt）；Rudi Zagst先生 相关软件： Matlab公司 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
陪衬 3份文件引用(2018–2020) 软件作者： 托比·迪伦·霍金（Toby Dylan Hocking）、吉伦·里盖尔（Guillem Rigaill）、保罗·费恩黑德（Paul Fearnhead）、吉尧姆·波克（Guillaume Bourque） 相关软件： R；wbs；CRAN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
DynTile公司 4份文件引用(2011–2018) 软件作者： Hartono，A。；Baskaran，M。；Ramanujam，J。；萨达亚潘，P。 相关软件： PLuTo；精密路径指示器；PHiPAC… 主要字段： 常微分方程（34-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
FaPAS公司 4份文件引用(2013–2018) 软件作者： B.约丹诺夫，C.贝尔塔 相关软件： NuSMV；VeriSIMPL；算法97… 主要字段： 组合数学（05-XX）；生物学和其他自然科学（92-XX）；系统论；控制（93-XX）
HIT公司 4份文件引用(2007–2018) 软件作者： 法拉利Trecate G。 相关软件： 混合稳定样条工具箱；古罗比；MSVMpack… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；生物学和其他自然科学（92-XX）…
libnormalize（库正常化） 4份文件引用（2014年至2018年） 软件作者： 约翰·阿伯特（John Abbott）；安娜·玛丽亚·比加蒂；克里斯托夫·索格 相关软件： CoCoALib；可可；正常（amp；N）… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
主PVA 3份文件引用(2017–2018) 软件作者： 马特奥·卡萨蒂（Matteo Casati）、丹尼尔·瓦莱里（Daniele Valeri） 相关软件： WAlg；Mathematica；CDIFF… 主要字段： 非结合环与代数（17-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
OPERA公司 4份文件引用(1997–2007) 软件作者： 文森特·洛克纳（Vincent Loechner）、凯瑟琳·蒙格内特（Catherine Mongenet） 相关软件： 伊甸园；剑麻；自杀… 主要字段： 计算机科学（68-XX）
复曲面 3份文件引用(2004–2015) 软件作者： 大卫乔伊纳 相关软件： 岩浆；枫树；ToricVarieties… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
VeriSIMPL公司 3份文件引用(2015–2018) 软件作者： 阿兹基亚（Adzkiya）、迪基（Dieky）；张以宁；亚历山德罗·阿巴特 相关软件： 算法97；蛋白石；椭圆工具箱… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；系统论；控制（93-XX）
acrt公司 3份文件引用(2018–2019) 软件作者： David Preinerstorfer公司 相关软件： AS 155；z3；Yosys… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
循环经济 3份文件引用(2007–2015) 软件作者： 贝尔梅乔，I.，加西亚·马尔科，I.、萨拉扎尔·冈萨雷斯，J.J。 相关软件： 复杂；单一；麦考利2… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
交换幺半群 3份文件引用(2022–2024) 软件作者： Díaz-Ramírez，J.D。；加西亚-加西亚，J.I。；Marín-Aragón，D。；维格纳伦·特诺里奥（Vigneron-Tenorio），A。 相关软件： github；Python；带Genus；的数字半群… 主要字段： 交换代数（13-XX）；群论与推广（20-XX）；计算机科学（68-XX）
CosmoHammer公司 2份文件引用(2017–2021) 软件作者： 乔尔·阿克雷特、塞巴斯蒂安·塞哈斯、亚当·阿马拉、亚历山大·弗雷杰尔、安德烈·西尔拉希 相关软件： 希望；化妆品；CosmoSpec… 主要字段： 微分几何（53-XX）；相对论与引力理论（83-XX）；天文学和天体物理学（85-XX）…
晶体间隙 3份文件引用(2016) 软件作者： Bettina Eick、Franz Gähler、Werner Nickel 相关软件： 间隙；HAP；SymbCompCC… 主要字段： 群论与推广（20-XX）；代数拓扑（55-XX）
除数.lib 3份文件引用(2017–2020) 软件作者： Yue Ren、Janko Boehm、Lars Kastner、Benjamin Lorenz、Hans Schönemann 相关软件： 单一；马克西玛；SageMath… 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
FiLM公司 2份文件引用(2020) 软件作者： Ethan Perez、Florian Strub、Harm de Vries、Vincent Dumoulin、Aaron Courville 相关软件： PyTorch；Python；伊瓦多德… 主要字段： 计算机科学（68-XX）
GIANT公司 3份文件引用(2004–2017) 软件作者： U.Nowak和L.Weimann 相关软件： 枫树 主要字段： 数值分析（65-XX）；流体力学（76-XX）；天文学和天体物理学（85-XX）
整体闭合 3份文件引用(1998–2023) 软件作者： 阿米莉亚·泰勒；戴维·艾森巴德（David Eisenbud）；迈克·斯蒂尔曼 相关软件： 克雷莫纳；麦考利2号；主分解… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
locnormal.lib（位置正常.lib） 2份文件引用(2016–2017) 软件作者： Böhm，J.、Decker，W.、Laplagne，S.、Pfister，G.、Steenpa，A.、Steidel，S。 相关软件： 法线.lib；单一；副平面曲线.lib… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；计算机科学（68-XX）
PropModSemig公司。米 3份文件引用(2020–2022) 软件作者： 迪亚斯·拉米雷斯（Díaz-Ramírez，J.D.）、加西亚·加西亚（García，J.I.）、桑切兹·罗·纳瓦罗（Sánchez-R-Navarro，a.）、维格伦·特诺里奥（Vigneron-Tenorio，a.）。 相关软件： github；交换幺半群；Python… 主要字段： 组合数学（05-XX）；群论与推广（20-XX）
限制MVN 3份文件引用(2018–2023) 软件作者： 乔纳森·泰勒；尤瓦尔·本杰米尼 相关软件： PMTK；tmg；QSIMVN… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学、数学规划（90-XX）
SageManifolds公司 3份文件引用(2019–2020) 软件作者： Eric Gourgoulhon、Micha l Bejger等人。 相关软件： SageMath；西姆西伦；Maxima… 主要字段： 微分几何（53-XX）；全局分析，流形分析（58-XX）；粒子力学与系统（70-XX）…
标准对 3份文件引用(2021–2024) 软件作者： Yu，白俄罗斯 相关软件： SageMath；麦考利2号；HASE… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
WAlg公司 2份文件引用(2017–2018) 软件作者： 马特奥·卡萨蒂（Matteo Casati）、丹尼尔·瓦莱里（Daniele Valeri） 相关软件： MasterPVA；Mathematica；MasterPVAmulti… 主要字段： 非结合环与代数（17-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
Zarisk框架 3份文件引用(2021–2023) 软件作者： 穆罕默德·巴拉卡特（Mohamed Barakat）、汤姆·库米切尔（Tom Kuhmichel）、马库斯·兰格·赫格曼（Markus Lange-Hegerman） 相关软件： homalg；CAP；单数… 主要字段： 组合数学（05-XX）；交换代数（13-XX）；代数几何（14-XX）…
爱丽丝 2份文件引用（2014年至2018年） 软件作者： 费维安·梅森纽夫（Vivien Maisonneuve）、奥利维尔·赫曼特（Olivier Hermant）、弗朗索瓦·伊里戈因（François Irigoin） 相关软件： ASTREE公司；煤烟；PPL… 主要字段： 计算机科学（68-XX）
差距Mis 2份文件引用(2015–2023) 软件作者： 卡尔·巴顿；弗洛里（Flouri）、托马夫（Tom'av）；伊利奥普洛斯，科斯塔斯·S。；Pissis，Solon P。 相关软件： T-咖啡；BWA；EMBOSS… 主要字段： 一般拓扑（54-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
LPABO公司 2份文件引用(2000–2003) 软件作者： 宋达尔公园；Kim，Woo-Je；Seol、Tongryeol；Seong、Myongki；Chan-Kyoo公园 相关软件： DEVEX公司；LPAKO；HOPDM… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
modnormal.lib格式 1份文件引用(2016) 软件作者： Böhm，J.、Decker，W.、Laplagne，S.、Pfister，G.、Steenpa，A.、Steidel，S。 相关软件： resolve.lib；homalg；parallel.lib… 主要字段： 代数几何（14-XX）；计算机科学（68-XX）