艾菲尔 234篇文献引用(1989–2023) 软件作者： 贝特朗·梅耶 相关软件： JML；闲聊；规范#… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
阿兹特科 80篇文献引用(1997–2023) 软件作者： 约翰·沙迪德（John N.Shadid）；斯科特·哈钦森；雷·图米纳罗（Ray Tuminaro）；Lydie Prevost；Charles Tong；迈克·希罗 相关软件： 阿兹特克；PETSc；特里利诺斯… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
夹子 64篇文献引用(1992–2020) 软件作者： 加里·莱利；吉亚兰托 相关软件： 杰斯；蛋白质；马格特… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
茂物 引用于27份文件(2003–2014) 软件作者： 马修·德怀尔（Matthew B.Dwyer）。；约翰·哈特克利夫；马修·胡西尔（Matthew Hoosier）；马修·罗比 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MRST-AD公司 引用于27份文件(2016–2024) 软件作者： Krogstad，S.、Lie，K.-A、Møyner，O.、Nilsen，H.M.、Raynaud，X.、Skaflestad，B 相关软件： MRST；Matlab；MRST-co2lab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
IFPACK软件包 20篇文献引用(2008–2021) 软件作者： M.Sala；M.希罗 相关软件： 特里利诺斯；毫升；帕梅蒂斯… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
皮科拉 16篇文献引用(1999–2017) 软件作者： 弗兰茨·阿赫尔曼（Franz Achermann）；马库斯·隆佩；施耐德，Jean-Guy；奥斯卡·尼尔斯特拉斯 相关软件： 里奥；琳达；图片… 主要字段： 计算机科学（68-XX）
LSUN公司 12份文件引用(2019–2023) 软件作者： 俞敏洪、阿里·塞夫、张银达、宋树然、托马斯·芬克豪斯、肖建雄 相关软件： ImageNet；亚当；Wasserstein GAN… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
工厂 11份文件引用(2011–2020) 软件作者： 安德鲁·麦卡伦、卡尔·舒尔茨、萨米尔·辛格 相关软件： 教会；IBAL；ProbLog… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
球体 5份文件引用(2013–2019) 软件作者： 加雷斯·布拉德肖；卡罗尔·奥沙利文 相关软件： 权力外壳；OBB树；CGAL… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ALLUVSIM公司 8份文件引用(2013–2023) 软件作者： Pyrcz MJ、Boisvert J、Deutsch CV 相关软件： FLUVSIM公司；宝石；QuadCover… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
卡塔布兰卡 引用于7份文件（2003年至2020年） 软件作者： W.B.范德海登。；Dendy，E.D。；新墨西哥州帕迪亚尔·科林斯。 相关软件： BLAS；睡衣；LAPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Gpd公司 8份文件引用(2002–2010) 软件作者： 艾玛·摩尔（Emma Moore）、克里斯·温斯利（Chris Wensley） 相关软件： 间隙；XMod；群胚 主要字段： 历史与传记（01-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
独角兽 6篇文献引用(2015–2021) 软件作者： Jonathan F.Donges、Jobst Heitzig、Boyan Beronov、Marc Wiedermann、Jakob Runge、Qing Yi Feng、Liubov Tupikina、Veronika Stolbova、Reik V.Donner、Norbert Marwan、Henk A.Dijkstra、J.Kurth 相关软件： SciPy；TISEAN公司；图表… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
依偎 引用于7份文件(2010–2021) 软件作者： Chandra，S.、Fink，S.J.、Sridharan，M。 相关软件： 投掷；z3；STP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
快速CSWT 6篇文献引用(2007–2019) 软件作者： J.D.McEwen、M.P.Hobson、D.J.Mortlock、A.N.Lasenby 相关软件： Healpix；S2LET；萨帕… 主要字段： 近似和展开（41-XX）；欧氏空间（42-XX）的调和分析；算子理论（47-XX）…
项目MoT 5份文件引用(2000–2021) 软件作者： F Tránkle、M Zeitz、M Ginkel；罗兰·沃施勒（Roland Waschler）；安吉莱斯·帕拉西奥斯（Angeles-Palacios），奥登（Odon）；马丁·金克尔（Martin Ginkel）；阿希姆·基恩勒 相关软件： 塔巴斯科；lpSolve；日晷… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；偏微分方程（35-XX）…
斯坦·数学 5份文件引用(2018–2020) 软件作者： Bob Carpenter、Matthew D.Hoffman、Marcus Brubaker、Daniel Lee、Peter Li、Michael Betancourt 相关软件： 斯坦；锥体；ADOL-C… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
多项式的 5份文件引用(2016–2023) 软件作者： 豪尔赫·德尔加多；胡安·曼纽尔·佩纳 相关软件： TNTool；Padua2D；Padua2DM… 主要字段： 近似和展开（41-XX）；数值分析（65-XX）
UPIC公司 引用于3份文件(2013–2016) 软件作者： UCLA；Decyk V.K.公司。 相关软件： 快速采集；OSIRIS；Oracle… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
编码理论.m2 引用于3份文件(2021–2023) 软件作者： 泰勒·鲍尔、爱德华多·坎普斯、亨利·奇马尔·德祖尔、德利奥·贾拉米洛·维莱兹、希拉姆·洛佩兹、内森·尼科尔斯、马修·珀金斯、伊万·索普鲁诺夫、德国维拉马丁内斯、格温·威登 相关软件： 评估代码；线性代码；麦考利2 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
ORI-REVO公司 4份文件引用(2012–2021) 软件作者： Jun Mitani先生 相关软件： 苔丝；生命精灵 主要字段： 几何（51-XX）；凸和离散几何（52-XX）；数值分析（65-XX）…
算法1020 引用于3份文件(2022–2023) 软件作者： 亨德里克·斯佩利尔斯 相关软件： 正规化工具；算法999 主要字段： 近似和展开（41-XX）；统计学（62-XX）；数值分析（65-XX）
科吉托 引用于3份文件(1997–1998) 软件作者： Michael Thuné；伊娃·莫斯伯格；彼得·奥尔森（Peter Olsson）；Jarmo Rantakokko；克里斯特·奥伦德；库尔特·奥托 相关软件： ELEMD公司；扩散器；PETSc公司 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）
评估代码 引用于3份文件(2021–2023) 软件作者： Ball，Taylor；爱德华多坎普斯；Henry Chimal-Dzul；德利奥·贾拉米洛·维莱兹；洛佩兹，希拉姆；内森·尼科尔斯（Nathan Nichols）；马修·珀金斯（Matthew Perkins）；伊凡·索普鲁诺夫（Ivan Soprunov）；Vera-Martínez，德国；格温·惠顿 相关软件： 线性代码；编码理论.m2；麦考利2 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
线性代码 引用于3份文件(2021–2023) 软件作者： Ball，Taylor；爱德华多坎普斯；Henry Chimal-Dzul；德利奥·贾拉米洛·维莱兹；洛佩斯，希拉姆；内森·尼科尔斯（Nathan Nichols）；马修·珀金斯（Matthew Perkins）；伊万·索普鲁诺夫；Vera-Martínez，德国；格温·惠顿 相关软件： 评估代码；编码理论.m2；麦考利2 主要字段： 数论（11-XX）；交换代数（13-XX）；代数几何（14-XX）…
GIS-EEDB公司 2份文件引用(2013–2015) 软件作者： 卡林尼科夫，I.I。；Mikheeva，A.V.公司。 相关软件： – 主要字段： 计算机科学（68-XX）；地球物理学（86-XX）
利普曼_施温格 2份文件引用(2022–2023) 软件作者： 瓦什纳维古朱拉；西瓦拉姆·安比卡萨兰 相关软件： HODLR库；促进；DLMF… 主要字段： 势能理论（31-XX）；偏微分方程（35-XX）；数值分析（65-XX）
模拟方法工具包 1份文件引用（2014年） 软件作者： 爱德华多·桑切斯。；克里斯托弗·保里尼（Christopher P.Paolini）。；Jose E.卡斯蒂略。 相关软件： LAPACK；促进；gnuplot… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）