PHAVer公司 119篇文献引用(2005–2024) 软件作者： 戈兰·弗雷斯 相关软件： 高科技；SpaceEx；RSOLVER… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
船体 78篇文献引用(1992–2023) 软件作者： K.L.克拉克森 相关软件： LEDA；Q船体；CGAL… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；凸和离散几何（52-XX）…
打火石 68篇文献引用(2009–2023) 软件作者： 威廉·哈特。 相关软件： SageMath；岩浆；NTL… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
alpha认证 68篇文献引用(2011–2024) 软件作者： 乔纳森·霍恩斯坦（Jonathan D.Hauenstein）；弗兰克·索蒂尔 相关软件： 贝尔蒂尼；麦考利2号；PHCpack… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；数值分析（65-XX）…
ACRITH-XSC公司 在48份文件中引用(1985–2019) 软件作者： 沃尔夫冈·沃尔特。 相关软件： C-XSC；C-XSC 2.0；PASCAL-XSC… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
迷你球 47篇文献引用(2001–2023) 软件作者： 卡斯帕·菲舍尔；Gärtner，伯尔尼；阿迪蒂亚·古普塔；亚历山大·康斯坦蒂纳基斯·卡米斯 相关软件： SDPT3；SeDuMi公司；CGAL… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
国际RRAM 44篇文献引用(2001–2022) 软件作者： 诺伯特·米勒 相关软件： RealLib；MPFR；哈斯克尔… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；动力系统和遍历理论（37-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）…
算法913 24篇文献引用(2011–2022) 软件作者： M.B.van Gijzen；P.Sonneveld公司 相关软件： BiCGstab；CGS；GpBiCg… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
QShopt-精确 18篇文献引用(2006–2022) 软件作者： David Applegate、William Cook、Sanjeeb Dash、Daniel Espinoza。 相关软件： QSopt_ex；gmp；SoPlex… 主要字段： 数论（11-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
真实图书馆 16篇文献引用(2006–2023) 软件作者： 布兰尼米尔·兰博夫 相关软件： iRRAM；MPFR；RZ… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；测量和集成（28-XX）…
MPC公司 15篇文献引用(2003–2022) 软件作者： 安德烈亚斯·恩格、米卡·加斯蒂诺、菲利普·塞维尼、保罗·齐默尔曼；INRIA Bordeaux-Sud-Ouest公司 相关软件： MPFR；gmp；ECPP… 主要字段： 数论（11-XX）；代数几何（14-XX）；拓扑群，李群（22-XX）…
CIMGS公司 13份文件引用(1997–2022) 软件作者： X.Wang、K.A.Gallivan、R.Bramley 相关软件： 稀疏矩阵；HSL；LSQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
PMAD公司 12份文件引用(2007–2022) 软件作者： L.F.沙姆平 相关软件： Matlab；MATLAB实验；mftoolx… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
埃索利德 10篇文献引用(2005–2018) 软件作者： J.Keyser、T.Culver、M.Foskey、S.Krishnan、D.Manocha。 相关软件： MAPC；EXACUS（考克斯）；隔离… 主要字段： 代数几何（14-XX）；数值分析（65-XX）；计算机科学（68-XX）…
歌利亚 在11份文件中引用（1991年至2008年） 软件作者： 彼得·阿尔菲尔德；大卫·J·爱。 相关软件： – 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；粒子力学与系统（70-XX）…
光谱 9份文件引用(2016–2023) 软件作者： Didier Henrion、Simone Naldi、Mohab Safey El Din 相关软件： FGb；枫树；克罗内克… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；动力系统和遍历理论（37-XX）…
EvoDyn-3秒 8份文件引用(2019–2023) 软件作者： 路易斯·伊兹奎尔多（Luis R.Izquierdo）；Segismundo S.Izquierdo；威廉·桑德霍姆 相关软件： ABED；发电机；PD工具箱… 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
VIPR公司 8份文件引用(2017–2023) 软件作者： Kevin K.H.Cheung、Ambros Gleixner、Daniel E.Steffy 相关软件： SCIP；MIPLIB公司；DRAT-饰件… 主要字段： 组合数学（05-XX）；数值分析（65-XX）；计算机科学（68-XX）…
熊猫 7份文件引用(2015–2022) 软件作者： 斯特凡·勒沃德（Stefan Lörwald）、格哈德·雷内特（Gerhard Reinelt） 相关软件： 港口；摩卡；JBool… 主要字段： 凸和离散几何（52-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…
rcdd公司 7份文件引用(2009–2023) 软件作者： 查尔斯·盖尔（Charles J.Geyer）；格伦·D·米登 相关软件： cdd；R；MCAR测试… 主要字段： 凸和离散几何（52-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
xrc公司 7份文件引用(2004–2023) 软件作者： 凯斯·布里格斯 相关软件： RealLib；蟒蛇；iRRAM… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；数值分析（65-XX）…
DLASQ公司 6篇文献引用(2010–2014) 软件作者： Aishima、Kensuke；松下、高山松；Kazuo Murota；Masaaki杉原 相关软件： LAPACK；高密度脂蛋白胆固醇；AggDef2… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
3D球形内核 5份文件引用(2009–2012) 软件作者： 佩德罗·德·卡斯特罗（Pedro M.M.de Castro）。；卡扎尔斯，埃里克神父；斯埃巴斯蒂安·洛里奥（S'ebastien Loriot）；莫妮克·泰劳德 相关软件： 二维布置；CGAL；力量外壳… 主要字段： 代数几何（14-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
动态优先权 4份文件引用(2018–2024) 软件作者： 安德斯·延森（Anders Jensen）、杰夫·索马斯（Jeff Sommars）、扬·维舍尔（Jan Verschelde） 相关软件： 格凡；单一；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；凸和离散几何（52-XX）…
精确KS2SidedOneSample 3份文件引用(2016–2023) 软件作者： J.Brown；米尔顿·哈维 相关软件： KS1 SidedOne样品；k.c；设置测试… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）
终结者 4份文件引用(2013–2022) 软件作者： 徐明；李志斌 相关软件： LoAT；停机坪；GitHub… 主要字段： 数学逻辑与基础（03-XX）；群论与推广（20-XX）；动力系统和遍历理论（37-XX）…
平底冲浪 3份文件引用(2018–2019) 软件作者： V.德莱克斯；W.P.胡珀 相关软件： GitHub；内格斯奈尔 主要字段： 动力系统与遍历理论（37-XX）；流形和细胞复合体（57-XX）；光学、电磁理论（78-XX）
LMBOPT公司 3份文件引用(2022) 软件作者： 莫特扎·基米艾；阿诺德·诺伊梅尔；贝扎德·阿兹米 相关软件： CUTEst公司；LBFGS-B；CG_DESCENT… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）
对数cf 2份文件引用(2015–2019) 软件作者： 戴丽云、夏碧灿 相关软件： Mathematica；国际实验室；隔离… 主要字段： 场论与多项式（12-XX）；数值分析（65-XX）；计算机科学（68-XX）
多边形铺装器 3份文件引用(2014–2018) 软件作者： 米查尔·科内奇、扬·杜拉茨 相关软件： CkAnalytic；泰勒；大写… 主要字段： 动力系统与遍历理论（37-XX）；数值分析（65-XX）；计算机科学（68-XX）
SLV公司 2份文件引用(2016–2019) 软件作者： 伊莱亚斯·齐加里达斯 相关软件： 枫树；ANewDsc；微小的… 主要字段： 场论与多项式（12-XX）；数值分析（65-XX）；计算机科学（68-XX）
可见性 2份文件引用(2010–2023) 软件作者： K.J.Obermeyer。 相关软件： 道芬；自由Fem++ 主要字段： 偏微分方程（35-XX）；算子理论（47-XX）；运筹学、数学规划（90-XX）
首次公开募股 1份文件引用(2022) 软件作者： 沃尔克·凯贝尔（Volker Kaibel）、马蒂亚斯·沃尔特（Matthias Walter） 相关软件： RobinX；古罗比；github 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
克里洛夫·阿德 1份文件引用(2022) 软件作者： 克里斯·肖特洛普（Chris Schoutrop）；10 Thije Boonkkamp，一月；范·迪克（Jan van Dijk） 相关软件： IDRStab；特征值；COMSOL… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）
LEMA公司 1份文件引用(2010) 软件作者： 文森特·列夫雷（Vincent Lefèvre）；菲利普·塞维尼；德迪内钦，佛罗伦萨；克劳德·皮埃尔·珍妮罗德（Claude-Pierre Jeannerod）；克利斯朵夫·莫里勒伦（Christophe Mouilleron）；戴维·普范霍尔泽（David Pfannholzer）；娜塔莉·雷沃 相关软件： – 主要字段： 数值分析（65-XX）
PLSS公司 1份文件引用(2023) 软件作者： 约翰·布鲁斯特（Johannes J.Brust）。；迈克尔·桑德斯。 相关软件： 稀疏矩阵；CRAIG公司；LSMR… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
实代数 1份文件引用(2010) 软件作者： 马克·莫里格（Marc Mörig）、斯特凡·席拉（Stefan Schirra） 相关软件： 促进；核心2；增强C++库… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）
RecInt公司 1份文件引用(2016) 软件作者： 亚历克西斯·布鲁斯特（Alexis Breust）；克里斯托夫·查博特；Jean-Guillaume杜马；劳伦特·福塞；帕斯卡尔·乔尔吉 相关软件： GAUT；mpFq；LinBox… 主要字段： 数值分析（65-XX）
重建。米 1份文件引用(2023) 软件作者： Belitsky，A.V。；斯米尔诺夫，A.V。；雅科夫列夫，R.V。 相关软件： LiteRed；火灾；FiniteFlow… 主要字段： 拓扑群，李群（22-XX）；几个复变量与解析空间（32-XX）；功能分析（46-XX）…
SPEX左LU 1份文件引用(2022) 软件作者： 克里斯托弗·劳伦科（Christopher Lourenco）；陈金浩；埃里克·莫雷诺-康蒂诺（Erick Moreno-Centeno）；蒂莫西·戴维斯（Timothy A.Davis）。 相关软件： GitHub；NTL；LinBox… 主要字段： 数值分析（65-XX）