alpha认证 68篇文献引用(2011–2024) 软件作者： 乔纳森·霍恩斯坦（Jonathan D.Hauenstein）；弗兰克·索蒂尔 相关软件： 贝尔蒂尼；麦考利2号；PHCpack… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
迷你球 47篇文献引用(2001–2023) 软件作者： 卡斯帕·菲舍尔；伯恩德·加特纳；阿迪蒂亚·古普塔；亚历山大·康斯坦蒂纳基斯·卡米斯 相关软件： SDPT3；塞杜米；CGAL… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
MIRACL公司 26篇文献引用(1989–2021) 软件作者： 斯科特·M。；CertiVox有限公司。 相关软件： 遗迹；电子飞机控制系统；eBATS… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
UBASIC公司 28篇文献引用(1988–2006) 软件作者： 克里斯·考德威尔（Chris K.Caldwell）。；Y.基达 相关软件： ecdata；组织环境信息系统；ECPP… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
QSopt_ex（首选项） 26篇文献引用(2007–2022) 软件作者： Daniel Espinoza、William Cook、Sanjeeb Dash、David Applegate、Kati Wolter 相关软件： QShopt-Exact；CPLEX；SoPlex… 主要字段： 数论（11-XX）；数值分析（65-XX）；计算机科学（68-XX）…
VIPR公司 8份文件引用(2017–2023) 软件作者： Kevin K.H.Cheung、Ambros Gleixner、Daniel E.Steffy 相关软件： SCIP；MIPLIB公司；DRAT-饰件… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
达格伍德 7份文件引用(1988–2020) 软件作者： 蒂莫西·弗里曼。；格雷戈里·伊米尔齐安（Gregory M.Imirzian）。；埃里希·卡尔托芬；拉克希曼·雅加蒂 相关软件： 克罗内克；FOXBOX；TeXmacs… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；交换代数（13-XX）…
rcdd公司 7份文件引用（2009年-2023年） 软件作者： 查尔斯·盖尔（Charles J.Geyer）；格伦·D·米登 相关软件： cdd；R；MCAR测试… 主要字段： 凸和离散几何（52-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
KS1侧面一个样品 引用于3份文件(2016–2023) 软件作者： J.Randall Brown、Milton E.Harvey 相关软件： 精确KS2SidedOneSample；k.c；数学… 主要字段： 统计学（62-XX）
精确KS2SidedOneSample 引用于3份文件(2016–2023) 软件作者： J.Brown；米尔顿·哈维 相关软件： KS1 SidedOne样品；k.c；设置测试… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
gmpy2型 引用于3份文件(2015–2018) 软件作者： 霍森CV 相关软件： gmp；皮诺奇；C；…的SNARK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
边界六角 1份文件引用(2016) 软件作者： 菲利普·特雷布歇；伯纳德·穆兰（Bernard Mourrain）；Marta Abril Bucero 相关软件： 贾克；Xcas；Mosek… 主要字段： 交换代数（13-XX）；数值分析（65-XX）；计算机科学（68-XX）