Matlab公司 13834年文献引用(1982–2025) 软件作者： MathWorks公司 相关软件： Simulink；LMI工具箱；枫树… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
数学软件 引用于6560份文件(1986–2024) 软件作者： 沃尔夫勒姆研究公司 相关软件： 枫树；Matlab；R、 … 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DLMF公司 3806文件引用(2000–2024) 软件作者： 丹尼尔·洛泽尔（Daniel W.Lozier）。 相关软件： 数学；Matlab；OEIS… 主要字段： 特殊功能（33-XX）；偏微分方程（35-XX）；概率论与随机过程（60-XX）…
Coq公司 1974年文献引用(1993–2024) 软件作者： 克利斯朵夫·德林格；让-弗朗索瓦·杜富尔德 相关软件： Isabelle/HOL；伊莎贝尔；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
单一 引用于1650份文件(1991–2024) 软件作者： Wolfram Decker；格特·马丁·格雷尔（Gert-Martin Greuel）；格哈德·普菲斯特；汉斯·舍内曼 相关软件： 麦考利2号；可可；SageMath… 主要字段： 交换代数（13-XX）；代数几何（14-XX）；几个复变量和分析空间（32-XX）…
Simulink公司 引用于704份文件(1994–2024) 软件作者： MathWorks公司 相关软件： Matlab；歌曲15；状态流… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
减少 738份文件引用(1970–2023) 软件作者： Anthony C.Hearn；雷娜，格哈德；Rainer Schöpf；托马斯·斯特姆 相关软件： 枫树；数学；马西玛… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
MATCONT公司 526份文件引用(2003–2024) 软件作者： Dhooge，A。；乌龟，B。；Govaerts，W。；于库兹涅佐夫。答：。 相关软件： 自动；Matlab；CL_MATCONT… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
马特普洛特利布 309份文件引用(2007–2024) 软件作者： John Hunter、Darren Dale、Eric Firing、Michael Droettboom和matplotlib开发团队 相关软件： 数字Py；Python；科学… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GeoGebra公司 203篇文献引用(2007–2024) 软件作者： – 相关软件： 几何画板；灰姑娘；GEX… 主要字段： 一般性和全局性主题；藏品（00-XX）；交换代数（13-XX）；几何（51-XX）…
卢比 173篇文献引用（2013年至2024年） 软件作者： 德克·埃德布特尔；罗曼·弗朗索瓦；JJ Allaire；约翰·钱伯斯；道格拉斯·贝茨；凯文·乌西 相关软件： R；RcppArmadillo；ggplot2… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
HOL灯 320篇文献引用(1998–2024) 软件作者： 约翰·哈里森 相关软件： Coq；Isabelle/HOL；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
QEPCAD公司 295篇文献引用(1991–2024) 软件作者： Hoon Hong；克里斯托弗·布朗（Christopher W.Brown）。 相关软件： 红线；枫树；发现者… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；数值分析（65-XX）…
OCaml公司 274份文件引用（1998年-2023年） 软件作者： INRIA公司；X.Leroy、D.Rémy、J.Vouillon、D.Doligez 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
国际财务报告准则 286份文件引用(2003–2024) 软件作者： H.Elman、A.Ramage、D.Silvester 相关软件： Matlab；HSL_MI20；AGMG… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）…
克里斯托费尔 271份文件引用(1996–2024) 软件作者： 托宾·A·德里斯科尔 相关软件： SC工具箱；Matlab；SCPACK… 主要字段： 复变量函数（30-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
几何画板 67篇文献引用(1997–2023) 软件作者： 2009年KCP技术。 相关软件： 灰姑娘；GeoGebra；Cabri-geometry… 主要字段： 一般性和全局性主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
SC工具箱 234篇文献引用(1996–2024) 软件作者： 托宾·A·德里斯科尔。 相关软件： 施瓦兹-克里斯托菲尔；Matlab；SCPACK… 主要字段： 复变量函数（30-XX）；势能理论（31-XX）；偏微分方程（35-XX）…
GLIM公司 202篇文献引用(1976–2022) 软件作者： M.R.B.克拉克。；约翰·内尔德 相关软件： R；MINITAB公司；半标准杆… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
物理工具包 162篇文献引用(2001–2024) 软件作者： Goldberger AL、Amaral LAN、Glass L、Hausdorff JM、Ivanov PCh、Mark RG、Mietus JE、Moody GB、Peng C-K、Stanley HE 相关软件： fda（R）；UCI-ml；R、 … 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；计算机科学（68-XX）…
LiE公司 180篇文献引用(1993–2024) 软件作者： A.M.Cohen、B.Lisser、M.A.A.van Leeuwen 相关软件： 数学；岩浆；麦考利2… 主要字段： 代数几何（14-XX）；非结合环与代数（17-XX）；群论与推广（20-XX）…
CESAR公司 160篇文献引用(1982–2023) 软件作者： Queille，J.P。；J.西法基斯。 相关软件： 自旋蛋白；SLAM；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
控制系统工具箱 166篇文献引用（1995年至2024年） 软件作者： MathWorks公司；格雷斯，A。；Laub，A.J。；Little，J.N。；汤普森，C.M。 相关软件： Matlab；LMI工具箱；鲁棒控制工具箱… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）；变分法与最优控制；优化（49-XX）…
ETPS公司 162篇文献引用(1986–2022) 软件作者： Peter Andrews、Matthew Bishop、Chad E.Brown、Sunil Issar、Dan Nesmith、Frank Pfenning、Xi Hongwei 相关软件： TPS；Isabelle/HOL；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
大锤 165篇文献引用(2010–2023) 软件作者： Nik苏尔塔纳；布兰切特，贾斯敏·克里斯蒂安；劳伦斯·C·鲍尔森。 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
灰姑娘 95篇文献引用(1999–2023) 软件作者： 尤尔根·里希特·盖伯特（Jürgen Richter-Gebert）；乌尔里希·科尔滕坎普 相关软件： 几何画板；GeoGebra；GEX… 主要字段： 一般性和全局性主题；藏品（00-XX）；几何（51-XX）；数值分析（65-XX）…
伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
Why3号机组 144篇文献引用(2004–2023) 软件作者： 弗朗索瓦·博博特；Jean-Christophe Filliátre；克劳德·马奇；纪尧姆·梅尔金德；安德烈·帕斯科维奇 相关软件： Coq；卡拉卡拉；z3… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
闪亮的 63份文件引用(2014–2023) 软件作者： W.Chang、J.Cheng、J.J.Allaire、Y.Xie、J.McPherson 相关软件： R；ggplot2；knitr… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
ELLPACK公司 128篇文献引用(1982–2015) 软件作者： 韦恩·戴克森（Wayne R.Dyksen）。；卡尔文·里本斯。 相关软件： ITPACK；NSPCG；EISPACK… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
抓斗切割 70篇文献引用(2007–2023) 软件作者： Rother C、Kolmogorov V、Blake A。 相关软件： MAXFLOW；BSDS；PASCAL VOC… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
M-MACBETH公司 121篇文献引用(1994–2024) 软件作者： 卡洛斯·巴纳·科斯塔；Jean-Marie De Corte；Jean-Claude Vansnick女士 相关软件： UTA Plus；视觉UTA；驻极体… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
乐高 116篇文献引用(1991–2023) 软件作者： 罗，Z.，波拉克，R。 相关软件： Coq；Nuprl；自动… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
皮奥莫 103篇文献引用(2012–2024) 软件作者： 威廉·哈特（William E.Hart）。；卡尔·莱尔德；Jean-Paul Watson；伍德拉夫，大卫·L。 相关软件： 古罗比；Ipopt；CPLEX… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SIC斯图斯 94份文件引用(1992–2024) 软件作者： Mats Carlsson，每米尔德纳 相关软件： SWI-预测；Ciao；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
现场 101篇文献引用(2002–2024) 软件作者： T.Bartz-Bielstein、J.Ziegenhirt、W.Konen、O.Flasch、M.Friese、P.Koch、M.Zaefferer、B.Naujoks 相关软件： irace；帕拉米尔斯；SMAC… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
曲面演化器 109篇文献引用(1991–2022) 软件作者： 肯·布拉克 相关软件： Matlab；ABAQUS；PETSc… 主要字段： 变分法与最优控制；优化（49-XX）；微分几何（53-XX）；数值分析（65-XX）…
DYNA3D公司 106篇文献引用(1982–2023) 软件作者： R.G.Whirley，B.E.Engelmann 相关软件： LS-DYNA；ABAQUS；PRONTO3D… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
重新查看 106篇文献引用(1991–2023) 软件作者： 鲁道夫·伯哈默（Rudolf Berghammer）；施密特，冈瑟；温特，迈克尔 相关软件： Isabelle/HOL；证明人9；Rath… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；有序，格，有序代数结构（06-XX）…
地方政府官员 106篇文献引用(1996–2024) 软件作者： János D.Pintér。 相关软件： Maple的全局优化工具箱；算法829；直接… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
OMDoc公司 93篇文献引用(2001–2022) 软件作者： 迈克尔·科尔哈斯 相关软件： MMT；Coq；Mizar… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
摩卡 85篇文献引用(1999–2023) 软件作者： Alur，R.，Henzinger，T.A.，Mang，F.Y.C.，Qadeer，S.，Rajamani，S.K.，Tasiran，S。 相关软件： MCMAS；自旋蛋白；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
veriSoft软件 76篇文献引用(2000–2022) 软件作者： 朱尔根·丁格尔 相关软件： 班德拉；自旋蛋白；Java PathFinder… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）…
精益 94份文件引用(2015–2024) 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
Gecode公司 85篇文献引用(2007–2023) 软件作者： 克里斯蒂安·舒尔特（Christian Schulte），KTH皇家理工学院 相关软件： 微量锌；CPLEX；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SAS/IML公司 59篇文献引用(1988–2023) 软件作者： SAS协会 相关软件： SAS；SAS/STAT；R、 … 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
SWI-预测 76篇文献引用(2000–2024) 软件作者： Wielemaker，J.、Schrijvers，T.、Triska，M.、Lager，T。 相关软件： SICStus公司；YAP-Prolog；XSB… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
APL公司 84份文件引用(1962–2023) 软件作者： 肯尼思·艾弗森 相关软件： 哈斯克尔；米兰达；R、 … 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CVXOPT公司 80篇文献引用(2008–2023) 软件作者： 马丁·安徒生；约阿希姆·达尔；列文·范登伯格 相关软件： 塞杜米；Python；ECOS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
格菲 71篇文献引用(2012–2024) 软件作者： M.Bastian、S.Heymann、M.Jacomy 相关软件： 力量图谱2；NetworkX；图表… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
IPython公司 引用于53份文件(2008–2023) 软件作者： F.Pérez、B.E.Granger 相关软件： Python；Matplotlib；科学… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
gnuplot卫星 59篇文献引用（1995年至2024年） 软件作者： 威廉姆斯，T。；凯利，C。 相关软件： LAPACK；朱莉娅；Matplotlib… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；流体力学（76-XX）…
马蒂塔 78篇文献引用(2007–2024) 软件作者： 安德烈亚·阿斯佩蒂（Andrea Asperti）；里奇奥蒂，威尔默；Sacerdoti Coen，Claudio；恩里科·塔西 相关软件： Coq；米扎尔；Isabelle/HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数论（11-XX）…
测试程序集 78篇文献引用(1990–2022) 软件作者： Andrews，Peter B。；乍得·E·布朗。 相关软件： TPTP；ETPS；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
DIMSYM公司 75篇文献引用(1993–2023) 软件作者： 詹姆斯·谢林；杰夫·普林斯；迈克尔·杰里 相关软件： 谎言；减少；SYMMGRP… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；整体分析，流形分析（58-XX）…
Prolog公司 58篇文献引用(1984–2022) 软件作者： 丹尼尔·迪亚兹 相关软件： SICStus公司；SWI-预测；芯片… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
CL_MATCONT公司 73篇文献引用(2003–2024) 软件作者： W.Govaerts；余。A.库兹涅佐夫 相关软件： MATCONT；Matlab；自动… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
XFOIL公司 70篇文献引用(1997–2023) 软件作者： 马克·德雷拉（Mark Drela）；哈罗德·杨格伦 相关软件： Spalart Allmaras公司；EGO；GAToolBox… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
尼姆布斯 68篇文献引用(1993–2023) 软件作者： Miettinen K。；梅克尔。 相关软件： IND-NIMBUS公司；帕累托导航器；NBI… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
签证 61篇文献引用（2011年-2023年） 软件作者： H.Childs、E.Brugger、B.Whitlock、J.Meredith、S.Ahern、D.Pugmire、K.Biagas、M.Miller、C.Harrison、G.H.Weber、H.Krishnan、T.Fogal、A.Sanderson、C.Garth、E.W.Bethel、D.Camp、O.Rübel、M.Durant、J.M.Favre、P.Navratil 相关软件： ParaView；PETSc；Python… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
ALF公司 68篇文献引用(1993–2018) 软件作者： 莉娜·马格努森 相关软件： Coq；自动化；数字（amp；N）… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；几何（51-XX）…
利比奥普 68篇文献引用(2019–2023) 软件作者： Nicholas P.沃德。 相关软件： 利格罗；斯巴达人；马林… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
rgl公司 32篇文献引用(2006–2024) 软件作者： 丹尼尔·阿德勒；邓肯·默多克；等。 相关软件： R；ggplot2；scatterplot3d… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
RICPAC公司 67篇文献引用(1987–2023) 软件作者： W.F.Arnold；艾伦·J·劳布 相关软件： 算法432；Matlab；拉帕克… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；算子理论（47-XX）；变分法与最优控制；优化（49-XX）…
EEGLAB公司 32篇文献引用(2005–2023) 软件作者： A Delorme；S马克伊格 相关软件： Matlab；现场跳闸；头脑风暴… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
LOCBIF公司 65篇文献引用(1992–2019) 软件作者： 亚历山大一世（Alexander I.Khibnik）。；尤里·库兹涅佐夫（Yuri A.Kuznetsov）。；维克多五世（Victor V.Levitin）。；尤金·尼古拉耶夫。 相关软件： 自动；DSTool；自动-86… 主要字段： 常微分方程（34-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
MATSLISE公司 63份文件引用(2005–2024) 软件作者： 维埃勒·勒杜；范·戴勒（Marnix Van Daele）；万登·伯杰，圭多 相关软件： 雪橇；SLEIGN2；SLCPM12… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
蛋糕ML 60篇文献引用(2014–2023) 软件作者： 拉马纳库马尔；玛格努斯·奥·米林（Magnus O.Myreen）。；迈克尔·诺里什（Michael Norrish）；斯科特·欧文斯 相关软件： Isabelle/HOL；Coq；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf；白鲸；Coq… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
JMP公司 39篇文献引用(1996–2021) 软件作者： SAS公司 相关软件： R；SAS；MINITAB… 主要字段： 一般性和全局性主题；藏品（00-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
XploRe公司 57篇文献引用(1995–2014) 软件作者： 沃尔夫冈·哈德尔 相关软件： R；SAS；JASP… 主要字段： 欧氏空间（42-XX）的调和分析；统计学（62-XX）；数值分析（65-XX）…
凯伊迈拉 55份文件引用(2008–2023) 软件作者： 安德烈·普拉泽；贾·戴维德·奎塞尔 相关软件： SpaceEx；凯伊迈拉X；高科技… 主要字段： 数学逻辑与基础（03-XX）；线性代数和多线性代数；矩阵理论（15-XX）；常微分方程（34-XX）…
计算机TW 54篇文献引用（2010年至2022年） 软件作者： 阿里·科斯特 相关软件： github；树维特利布；LibTW… 主要字段： 组合数学（05-XX）；代数几何（14-XX）；流形和细胞复合体（57-XX）…
GGobi公司 38篇文献引用(2003–2023) 软件作者： 黛比·斯韦恩；迪库克；邓肯寺朗；安德烈亚斯·布贾 相关软件： R；XGobi；ggplot2… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
结斗篷 56篇文献引用(2002–2022) 软件作者： 霍斯特，J。；Thistlethwaite，M。 相关软件： 节点信息；SnapPy；数学… 主要字段： 组合数学（05-XX）；数论（11-XX）；群论与推广（20-XX）…
一般证明 52篇文献引用（2000年至2020年） 软件作者： 大卫·阿斯皮纳尔 相关软件： Coq；伊莎贝尔；Isabelle/HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；偏微分方程（35-XX）…
基夫 51篇文献引用(1988–2022) 软件作者： M.Heisel、B.Langenstein、W.Reif、G.Schellhorn、K.Stenzel、W.Stephan、A.Wolpers等人。 相关软件： Z；PVS；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
Wolfram演示 49篇文献引用(2007–2023) 软件作者： 沃尔夫拉姆 相关软件： 数学；组织环境信息系统；iRRAM… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
火花 46篇文献引用(2015–2024) 软件作者： Zaharia M、Chowdhury M、Franklin MJ、Shenker S、Stoica I 相关软件： MapReduce；Hadoop；Dryad… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
印章 39篇文献引用（1998年-2023年） 软件作者： 科普曼，S.J。；哈维，A.C。；Doornik，J.A。；谢泼德，A。 相关软件： SsfPack；公牛；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MuJoCo公司 38篇文献引用(2016–2024) 软件作者： E.Todorov、T.Erez、Y.Tassa 相关软件： OpenAI健身房；亚当；GitHub… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
不明飞行物 45篇文献引用(1996–2022) 软件作者： Hartman，Jan；拉迪斯拉夫卢克桑；Zítko，Jan；M图马；J Vlcek；N Ramešová；梅西斯卡 相关软件： GradSamp；LDGB；L-BFGS… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
蛤 41篇文献引用(1989–2021) 软件作者： Bundy，A.，van Harmelen，F.，Horn，C。 相关软件： 牡蛎；Nuprl；HOL… 主要字段： 一般性和全局性主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
奇梅拉 34份文件引用(2006–2023) 软件作者： Pettersen EF、Goddard TD、Huang CC、Couch GS、Greenblatt DM、Meng EC、Ferrin TE 相关软件： 爆炸；PSI-爆炸；关系… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
伊德里斯 40篇文献引用（2011年-2023年） 软件作者： 埃德温·布雷迪 相关软件： Coq；阿格达；Irdis… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
SMIL公司 10篇文献引用(2001–2016) 软件作者： W3.org网站 相关软件： XPath；Lua；SPARQL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；数学教育（97-XX）
阿菲 24篇文献引用（2004年至2021年） 软件作者： 拉斐尔·艾里扎里；Laurent Gautier、Leslie Cope；本·博尔斯塔德 相关软件： 生物导体；R；gcrma… 主要字段： 一般性和全局性主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
微型配件 37篇文献引用(1992–2021) 软件作者： Pesaran，M.H。；B·佩萨兰。 相关软件： 沙扎姆；量子力学；俄罗斯… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MEGA公司 30篇文献引用（2001年-2023年） 软件作者： 库马尔，S。；内伊，M。；达德利，J。；田村，K。 相关软件： MEGA4；PHYLIP；贝叶斯先生… 主要字段： 组合数学（05-XX）；统计学（62-XX）；数值分析（65-XX）…
XGobi公司 在28份文件中引用(1995–2020) 软件作者： Swayne DF、Cook D、Buja A公司 相关软件： R；GGobi；ggplot2… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；计算机科学（68-XX）…
AToM3型 18篇文献引用(2002–2021) 软件作者： 胡安·德·拉腊（Juan de Lara）；汉斯·旺格鲁 相关软件： AGG；VIATRA2；进度… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯琳塔·塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
ASF+SDF 32篇文献引用(1996–2022) 软件作者： 范登·布兰德，M.G.J。；van Deursen，A。；海林，J。；德容，H.A。；de Jonge，M。 相关软件： Stratego；莫德；ATERM… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
Qsplat公司 21篇文献引用(2004–2022) 软件作者： Rusinkiewicz S，Levoy M 相关软件： 权力外壳；CGAL；OBBTree… 主要字段： 凸和离散几何（52-XX）；统计学（62-XX）；数值分析（65-XX）…
GF公司 30篇文献引用(1999–2021) 软件作者： 阿恩·兰塔 相关软件： Coq；米扎尔；Isar… 主要字段： 一般性和全局性主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
月收入 33篇文献引用（2004年至2021年） 软件作者： 约瑟夫·乌尔班 相关软件： 米扎尔；毫米波；HOL灯… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；数学教育（97-XX）