JDQZ公司 653份文件引用(1996–2024) 软件作者： D.R.福克马；G.L.G.Sleijpen；H.A.范德沃斯特 相关软件： JDQR；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
HOL公司 593份文件引用(1985–2023) 软件作者： 迈克尔·J·C·戈登。 相关软件： 伊莎贝尔；Isabelle/HOL；ML… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
JDQR公司 540份文件引用(1996–2024) 软件作者： 杰拉德·L.G.斯莱杰本 相关软件： JDQZ；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
代码23 379份文件引用（1995年-2023年） 软件作者： MathWorks公司 相关软件： Matlab；MATLAB ODE套件；代码23s… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
SVM灯 214篇文献引用(2000–2023) 软件作者： 托尔斯滕·约阿希姆斯 相关软件： LIBSVM；UCI-ml；SVM或… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
NBI公司 237篇文献引用（1998年至2024年） 软件作者： 达斯（Das），因德雷尼尔（Indraneel）；J.E.丹尼斯。 相关软件： MOEA/D；SPEA2；HypE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
E定理证明器 233份文件引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： VAMPIRE公司；TPTP；SPASS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
张量工具箱 228篇文献引用(2007–2024) 软件作者： 布雷特·巴德（Brett W.Bader）。；塔马拉·科尔达。 相关软件： 算法862；Matlab；Tensorlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
费恩规则 145篇文献引用(2010–2024) 软件作者： A.Alloul、N.D.Christensen、C.Degrade、C.Duhr、B.Fuks 相关软件： FeynArts；MadGraph；PYTHIA8… 主要字段： 概率论与随机过程（60-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
RKC公司 138篇文献引用(1996–2024) 软件作者： Sommeijer，B.P.公司。；Shampine，L.F.公司。；J.G.韦尔。 相关软件： 罗达斯；投票；S-ROCK… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
开放式基金 95篇文献引用(2008–2024) 软件作者： Breunig，M.、Kriegel，H.、Ng，R.、Sander，J。 相关软件： UCI-ml；奥尔卡；IsolationForest… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
HypE公司 94份文件引用(2010–2023) 软件作者： Bader，J.、Zitzler，E。 相关软件： MOEA/D；SPEA2；SMS-EMOA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
石蜡 85篇文献引用(1976–2023) 软件作者： R.A.哈什曼。；M.E.伦迪。 相关软件： Tensorlab公司；Matlab；多语言引擎… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
截止2001年 75篇文献引用(2000–2024) 软件作者： 大卫·J·汉德（David J.Hand）。；罗伯特·J·蒂尔（Robert J.Till）。；安德烈亚斯·多米尼克·卡尔曼；埃德加·库布林 相关软件： UCI-ml；C4.5；SMOTE… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
索波尔.cc 83份文件引用(2003–2023) 软件作者： Stephen Joe；Kuo，Frances Y。 相关软件： TOMS659；MersenneTwister公司；测试包… 主要字段： 数论（11-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MRMC公司 71篇文献引用(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
雏菊 72份文件引用(2008–2024) 软件作者： 朱塞皮娜·贝鲁、玛丽亚·皮亚·萨科马尼、斯蒂芬妮娅·奥多利、莱昂蒂娜·达朗戈 相关软件： 西安；COMBOS公司；GenSSI… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；统计学（62-XX）…
立方英尺平方英寸 57篇文献引用(1996–2020) 软件作者： 劳伦斯，C。；周杰伦；A.山雀 相关软件： SNOPT；CONOPT公司；禁忌搜索… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FADBAD公司++ 59篇文献引用(2000–2023) 软件作者： Ole Stauring；克劳斯·本特森 相关软件： ADOL-C；舒适的；ValEncIA-IVP… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ProVerify公司 49篇文献引用(2005–2023) 软件作者： inria.fr；布鲁诺·布兰切特 相关软件： AVISPA；塔马林；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
CoLoR公司 40篇文献引用(2006–2022) 软件作者： F.Blanqui、W.Delobel、S.Coupet Grimal、S.Hinderer、A.Koprowski 相关软件： Coq；Isabelle/HOL；CeTA… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）…
RM-MEDA公司 31份文件引用(2010–2022) 软件作者： 张庆福；周爱民；金耀初 相关软件： MOEA/D；SPEA2；HypE… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
防抱死制动系统 34份文件引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
PariTOP公司 33篇文献引用(2001–2023) 软件作者： 奥萨马·凯塔尼；卡里姆·科利菲 相关软件： 林多；禁忌搜索；移动应用程序… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；数值分析（65-XX）…
卡萨诺瓦 31份文件引用(2009–2023) 软件作者： 邦德尔·H·D。；B.J.Reich。 相关软件： R；gvcm.cat；奥斯卡… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
拖把 30篇文献引用(2005–2023) 软件作者： 陈，F。；罗什乌，G 相关软件： Java-MOP；LOLA；JPAX… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；流体力学（76-XX）…
散步 30篇文献引用(1997–2022) 软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。 相关软件： 自旋蛋白；jSpin；ProB… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
西安 29篇文献引用(2019–2024) 软件作者： Hong，Hoon；阿列克谢·奥夫钦尼科夫（Alexey Ovchinnikov）；波古丁（Pogudin），格莱布（Gleb）；耶，芝士 相关软件： 雏菊；COMBOS公司；GenSSI… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；常微分方程（34-XX）…
MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
PAMR公司 16篇文献引用(2012–2024) 软件作者： B.Li、P.Zhao、S.Hoi、V.Gopalkrishnan 相关软件： 玉米；OLPS；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MCGP公司 12份文件引用(2008–2021) 软件作者： 盖尔·卡茨；多龙·贝利德 相关软件： 棱镜；LTL2BA；旋转… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
沃尔夫拉姆 16篇文献引用(2010–2022) 软件作者： 安德烈·苏尔弗洛 相关软件： R；Yices；KLEE… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
ANCFIS公司 14篇文献引用(2012–2023) 软件作者： 陈志飞；萨拉·阿格哈尼；詹姆斯·曼；斯科特·迪克 相关软件： ANFIS；TISEAN公司；NSM3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
CertiKOS公司 12份文件引用(2017–2022) 软件作者： Gu，R.，Shao，Z.，Chen，H.，Wu，X.N.，Kim，J.，Sjöberg，V.，Costanzo，D。 相关软件： seL4；Coq；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
PPROJ公司 10篇文献引用(2016–2023) 软件作者： 威廉·海格（William W.Hager）。；张宏超 相关软件： QSDPNAL；CPLEX；FPC_AS… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
破旧的 10篇文献引用(2012–2022) 软件作者： 罗德里克·布隆姆、亚历山德罗·西马蒂、卡琳·格雷梅尔、乔治·霍夫雷克、罗伯特·科尼霍费尔、马可·罗弗瑞、维克托·舒潘、理查德·西伯 相关软件： NuSMV；JTLV；数学SAT… 主要字段： 数学逻辑与基础（03-XX）；测量和集成（28-XX）；计算机科学（68-XX）…
PenPC公司 9份文件引用(2016–2024) 软件作者： 哈，闵进；孙伟；谢吉春 相关软件： TETRAD公司；玻璃；pcalg… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
深度LOB 8份文件引用(2019–2023) 软件作者： 张子豪；斯特凡·佐伦（Stefan Zohren）；罗伯茨，斯蒂芬 相关软件： 亚当；TensorFlow；Keras… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）…
克 7份文件引用(2018–2023) 软件作者： 丹尼斯·普林格尔 相关软件： 天文ABC；DR-ABC；EasyABC… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MultiVeStA公司 6篇文献引用(2016–2023) 软件作者： 斯特凡诺·塞巴斯蒂奥；安德烈·范丁 相关软件： 莫德；PVeStA；皮尔洛… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
提示 5份文件引用(1999–2023) 软件作者： 祖潘，布拉泽；博哈内克，马尔科；Janez Demšar；伊万·布拉特科 相关软件： 数据交换；形状；proDEX… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MS_进度 5份文件引用(2016–2022) 软件作者： 马塞洛·佩林 相关软件： 风险度量；量化风险管理；CAViaR公司 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
版本X 4份文件引用(2020–2022) 软件作者： Permenev，A.、Dimitrov，D.、Tsankov，P.、Drachsler-Cohen，D.、Vechev，M。 相关软件： solc-verify；深海；ABCL… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；信息与通信理论，电路（94-XX）
DChaos公司 引用于3份文件(2020–2022) 软件作者： Julio E.Sandubete，洛伦佐·埃斯科特 相关软件： TISEAN公司；XPPAUT；自动-07P 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；统计学（62-XX）…
剂量反应 引用于3份文件(2012–2023) 软件作者： Bia M、Mattei A 相关软件： Stata公司；drf；字段… 主要字段： 统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
图书馆短文本 1份文件引用(2014) 软件作者： Yu，H.-F.，Ho，C.-H.，Juan，Y.C.，Lin，C.-J 相关软件： TimeML；HunPos；GULP… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
p2poc型 1份文件引用(2017) 软件作者： H.尤克 相关软件： OCMat；pde2path；AUTO（自动） 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
生产力 1份文件引用(2020) 软件作者： K HervéDakpo、Yann Desjeux、Laure-Latruffe 相关软件： Matlab；索引；DPIN… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）