JDQZ公司 引用于644份文件(1996–2024) 软件作者： D.R.福克马；G.L.G.Sleijpen；范德沃斯特 相关软件： JDQR；ARPACK；eigs… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
HOL公司 592份文件引用(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套件；ode45… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
沙斯塔 279篇文献引用(1973–2024) 软件作者： Jay P Boris、David L Book 相关软件： HE-E1GODF；HLLE；雷亚尔… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
SVM灯 214篇文献引用(2000–2023) 软件作者： 托尔斯滕·约阿希姆斯 相关软件： LIBSVM；UCI毫升；SVM或… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CoSaMP公司 267篇文献引用(2009–2023) 软件作者： Needell，D。；J.A.特罗普。 相关软件： PDCO；SPGL1；CVX… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
NBI公司 237篇文献引用(1998–2024) 软件作者： 达斯（Das），因德雷尼尔（Indraneel）；J.E.丹尼斯。 相关软件： MOEA/D；SPEA2；HypE… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
E定理证明器 229篇文献引用(2001–2023) 软件作者： 斯蒂芬·舒尔茨 相关软件： VAMPIRE公司；TPTP；SPASS… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…
Tensor工具箱 220篇文献引用(2007–2024) 软件作者： 布雷特·巴德（Brett W.Bader）。；塔马拉·科尔达。 相关软件： 算法862；Matlab；Tensorlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
酯类 137篇文献引用(1985–2023) 软件作者： 杰拉德·贝瑞 相关软件： 卢斯特；信号；Uppaal… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-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）…
班德拉 105篇文献引用(2000–2023) 软件作者： 约翰·哈特克利夫；马修·德怀尔 相关软件： 自旋蛋白；Java PathFinder；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
开放式基金 95篇文献引用(2008–2024) 软件作者： Breunig，M.、Kriegel，H.、Ng，R.、Sander，J。 相关软件： UCI毫升；奥尔卡；IsolationForest… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
HMQV公司 105篇文献引用(2001–2023) 软件作者： 雨果·克劳茨克 相关软件： NAXOS；金利；XooTools… 主要字段： 组合数学（05-XX）；动力学系统和遍历理论（37-XX）；计算机科学（68-XX）…
普林斯 104篇文献引用(2012–2023) 软件作者： 朱莉娅·博格霍夫（Julia Borghoff）；Canteaut，Anne；G“uneysu，Tim；Kavun，Elif Bilge；Knezevic，Miroslaf；Knudsen，Lars R.；Leander，Gregor；Nikov，Ventzislav；Paar，Christof；Rechberger，Christian；Rombouts，Peter；Thomsen，S{o} 任美国。；雅克{c}{i} n个，托尔加 相关软件： 出席；西蒙；Midori… 主要字段： 组合数学（05-XX）；数论（11-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.伦迪。 相关软件： Matlab；多线性发动机；R、 … 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
索波尔.cc 83份文件引用(2003–2023) 软件作者： Stephen Joe；Kuo，Frances Y。 相关软件： 汤s659；MersenneTwister；QMC4PDE… 主要字段： 数论（11-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
截止2001年 74份文件引用(2000–2023) 软件作者： 大卫·J·汉德（David J.Hand）。；罗伯特·J·蒂尔（Robert J.Till）。；安德烈亚斯·多米尼克·卡尔曼；埃德加·库布林 相关软件： UCI毫升；C4.5；SMOTE… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MRMC公司 引用于71份文件(2006–2023) 软件作者： Joost-Pieter Katoen；亚琛工业大学 相关软件： 棱镜；Uppaal；CADP… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
雏菊 引用于71份文件(2008–2024) 软件作者： 朱塞皮娜·贝鲁、玛丽亚·皮亚·萨科马尼、斯蒂芬妮娅·奥多利、莱昂蒂娜·达朗戈 相关软件： 西安；COMBOS公司；GenSSI… 主要字段： 交换代数（13-XX）；常微分方程（34-XX）；统计学（62-XX）…
GpBiCg公司 68篇文献引用(1997–2023) 软件作者： 藤野精二；张绍良 相关软件： CGS；BiCGstab；稀疏矩阵… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
TOUGH（艰难） 61篇文献引用(1997–2023) 软件作者： K.普鲁斯、C.奥尔登堡、G.莫里迪斯、芬斯特勒、S 相关软件： PFLOTRAN；DuMuX；iTOUGH2… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
运输 61篇文献引用(1986–2023) 软件作者： Kee，R.、Warnatz，J.、Miller，J 相关软件： CHEMKIN公司；预混料；GRI-科技3.0… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
CFSQP公司 57篇文献引用(1996–2020) 软件作者： 劳伦斯，C。；周杰伦；A.山雀 相关软件： SNOPT；CONOPT公司；禁忌搜索… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DnCNN公司 60篇文献引用(2017–2023) 软件作者： 张凯、左望猛、陈云锦、孟德宇、张磊 相关软件： FFD网络；亚当；ImageNet… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
FADBAD公司++ 59篇文献引用(2000–2023) 软件作者： Ole Stauring；克劳斯·本特森 相关软件： ADOL-C；舒适的；ValEncIA-IVP… 主要字段： 常微分方程（34-XX）；数值分析（65-XX）；计算机科学（68-XX）…
米多里 60篇文献引用(2015–2023) 软件作者： 巴尼克，Subhadeep；安德烈·博格达诺夫；Isobe，Takanori；Shibutani，Kyoji；Hiwatari，Harunaga；秋田，Toru；弗朗西斯科·雷加佐尼 相关软件： 王子；瘦骨嶙峋；存在… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
预混合 52篇文献引用(1987–2023) 软件作者： R.J.Kee、J.F.Grcar、M.D.Smooke、J.A.Miller、E.Meeks 相关软件： CHEMKIN公司；运输；GRI-科技3.0… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；经典热力学，传热（80-XX）…
ProVerify公司 49份文件中引用(2005–2023) 软件作者： inria.fr；布鲁诺·布兰切特 相关软件： AVISPA；塔马林；OFMC… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；量子理论（81-XX）…
Daikon公司 41篇文献引用(2005–2022) 软件作者： 迈克尔·D·恩斯特。；杰夫·帕金斯。；菲利普·郭（Philip J.Guo）。；斯蒂芬·麦卡曼特；卡洛斯·帕切科；马修·桑茨（Matthew S.Tschantz）。；肖，陈 相关软件： JML；胡迪尼；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
Freshml公司 48篇文献引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： Coq；名义上的伊莎贝尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
CIRR公司 44篇文献引用(2007–2023) 软件作者： 樱井、铁冢；Hiroto Tadano 相关软件： FEAST；稀疏矩阵；ARPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；复变量函数（30-XX）；近似和展开（41-XX）…
轨道 44篇文献引用(2008–2023) 软件作者： Wild S、Regis R、鞋匠C 相关软件： EGO；DFO；MLMSRBF… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
巴基斯坦国家税务局 42篇文献引用(1996–2023) 软件作者： Hantao Zhang、Maria Paola Bonacina、Jieh Xiang 相关软件： SATO；MiniSat；箔条… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；群论和推广（20-XX）…
快速 42篇文献引用(2005–2023) 软件作者： Bardin，S.、Leroux，J.、Finkel，A.、Petrucci，L。 相关软件： TREX公司；睫毛；阿斯匹克… 主要字段： 数学逻辑与基础（03-XX）；凸和离散几何（52-XX）；数值分析（65-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）…
违约 35篇文献引用(2011–2023) 软件作者： 亚历山大·唐泽 相关软件： S-TaLiRo；流量*；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
半群 37篇文献引用(2011–2023) 软件作者： J.D.米切尔。 相关软件： 间隙；组织环境信息系统；Smallsemi… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；范畴理论；同调代数（18-XX）…
博拉索 36篇文献引用(2010–2023) 软件作者： 弗朗西斯·巴赫 相关软件： R；PDCO；ElemStatLearn… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
斯巴达人 37篇文献引用(2020–2023) 软件作者： 斯里纳特，塞蒂 相关软件： 力比奥；马林鱼；GitHub… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；量子理论（81-XX）…
防抱死制动系统 33篇文献引用(2012–2022) 软件作者： Johnsen，E.B.、Hähnle，R.、Schäfer，J.、Schlatte，R.和Steffen，M。 相关软件： JCobox公司；中美合作所；Erlang… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
ADMiRA公司 35篇文献引用（2010年至2022年） 软件作者： Lee，Kiryung；约拉姆·布雷斯勒 相关软件： CoSaMP；LMaFit；PROPACK… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Poly1305-AES公司 34份文件引用(2005–2023) 软件作者： 丹尼尔·伯恩斯坦。 相关软件： MMH；查查；Salsa20… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；计算机科学（68-XX）…
兰德NLA 35篇文献引用（2017年至2024年） 软件作者： 德里尼亚斯，P。；马奥尼，M.W。 相关软件： 张量工具箱；rsvd；Tensorlab… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；统计学（62-XX）；数值分析（65-XX）…
ABLE公司 34份文件引用(1999–2022) 软件作者： 白昭君；Day，David；叶强 相关软件： JDQZ；JDQR；mftoolx… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
PariTOP公司 33篇文献引用(2001–2023) 软件作者： 奥萨马·凯塔尼；卡里姆·科利菲 相关软件： 林多；禁忌搜索；MOAPPS… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；数值分析（65-XX）…
zk-快照 32篇文献引用(2014–2024) 软件作者： Eli Ben-Sasson；亚历山德罗·基耶萨；特罗姆，埃兰；夫人维尔扎 相关软件： 皮诺奇；C的SNARK；GitHub… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
卡萨诺瓦 31份文件引用(2009–2023) 软件作者： Bondell，医学博士。；B.J.Reich。 相关软件： R；gvcm.cat；奥斯卡… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
PHYSALIS公司 31份文件引用(2001–2022) 软件作者： 黄华雄；高木，舒 相关软件： 变形杆菌；CMPGRD；BiCGstab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
普罗米拉 30篇文献引用(1997–2022) 软件作者： Natarajan，V。；杰拉德·J·霍尔兹曼。 相关软件： 自旋蛋白；jSpin；ProB… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
q学习 30篇文献引用(2011–2023) 软件作者： 查克拉波蒂，比巴斯；埃里克·B·拉伯（Eric B.Laber）。；赵英奇 相关软件： R；DynTx体制；DTR注册… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
APMC公司 29篇文献引用(2004–2021) 软件作者： 托马斯·Hérault；理查德·拉斯因；弗雷德里克·马涅特；Sylvain佩龙 相关软件： 棱镜；Uppaal；风暴… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
拖把 29篇文献引用(2005–2023) 软件作者： 陈，F。；罗什乌，G 相关软件： Java-MOP；洛拉；JPAX… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；流体力学（76-XX）…
全球价值链 22篇文献引用(2001–2022) 软件作者： 马歇尔，M.S。；赫尔曼，I。；梅兰松，G。 相关软件： IsoMatch；AMPL；前缀… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
西安 28篇文献引用(2019–2024) 软件作者： Hong，Hoon；阿列克谢·奥夫钦尼科夫（Alexey Ovchinnikov）；波古丁（Pogudin），格莱布（Gleb）；耶，芝士 相关软件： 雏菊；COMBOS公司；GenSSI… 主要字段： 场论与多项式（12-XX）；交换代数（13-XX）；常微分方程（34-XX）…
BPEL2oWFN型 25篇文献引用(2007–2020) 软件作者： 尼尔斯·洛曼 相关软件： 奶牛；BPEL2PN；温迪… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
希格斯信号 25篇文献引用(2014–2023) 软件作者： P.Bechtle、S.Heinemeyer、O.Stál、T.Stefaniak、G.Weiglein 相关软件： 希格斯边界；莎拉；斯费诺… 主要字段： 概率论与随机过程（60-XX）；粒子和系统力学（70-XX）；量子理论（81-XX）…
咖啡 引用于22份文件(2016–2023) 软件作者： Fabio Luporini、Ana Lucia Varbanescu、Florian Rathgeber、Gheorghe-Teodor Bercea、J.Ramanujam、David A.Ham、Paul H.J.Kelly 相关软件： Firedrake；PETSc公司；TSFC… 主要字段： 偏微分方程（35-XX）；全局分析，歧管分析（58-XX）；数值分析（65-XX）…
VESTA公司 22篇文献引用(2007–2021) 软件作者： Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件： 棱镜；莫德；霍尔… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆炸；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
CoolProp（冷却道具） 20篇文献引用(2015–2023) 软件作者： 贝尔，IH；Wronski，J；奎林，S；V·莱莫特 相关软件： Refprop；Matlab；SU2… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
CRAFT（手工艺） 21篇文献引用（2020年-2023年） 软件作者： 拜尔勒，C。；Leander，G。；莫拉迪，A。；拉苏尔扎德，S。 相关软件： 瘦骨嶙峋；出席；西蒙… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
GenSSI公司 20篇文献引用(2013–2023) 软件作者： Chis O、Banga J、Balsa-Canto E 相关软件： 雏菊；西安；组合… 主要字段： 常微分方程（34-XX）；动力学系统和遍历理论（37-XX）；统计学（62-XX）…
小支票 引用于18份文件(2010–2022) 软件作者： Runciman，C.、Naylor，M.、Lindblad，F。 相关软件： 快速检查；哈斯克尔；Nitpick… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
偏序集 19份文件引用(1996–2019) 软件作者： J.R·斯坦布里奇 相关软件： 考克斯仪；SF；OEIS… 主要字段： 组合数学（05-XX）；阶、格、有序代数结构（06-XX）；群论与推广（20-XX）…
ADER-DG公司 引用于18份文件(2014–2022) 软件作者： 莱昂哈德·兰纳鲍尔（Leonhard Rannabauer）；Michael Dumbser；迈克尔·巴德 相关软件： HE-E1GODF；MOOD；回声… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；流体力学（76-XX）…
DQGMRES公司 引用于18份文件(1995–2023) 软件作者： 萨阿德，Y。；Wu，K。 相关软件： mctoolbox；LSQR；SPARSKIT… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；概率论与随机过程（60-XX）；数值分析（65-XX）
FunArray（趣味阵列） 引用于18份文件(2011–2021) 软件作者： 帕特里克·库索特（Patrick Cousot）；库索，拉迪亚；弗朗西斯科·洛戈佐 相关软件： ASTREE公司；z3；助推器… 主要字段： 有序，格，有序代数结构（06-XX）；计算机科学（68-XX）
GSHMC公司 引用于18份文件(2008–2024) 软件作者： 埃琳娜·阿赫马茨卡亚；塞巴斯蒂安·雷奇 相关软件： 坚果；格罗姆克斯；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
尼诺菲克斯 引用于18份文件(2008–2017) 软件作者： 弗洛里安·朗辛（Florian Lonsing）、阿明·比埃尔（Armin Biere） 相关软件： DepQBF；sQueezeBF；罕见… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
阿斯卡隆 6篇文献引用(2002–2012) 软件作者： 托马斯·法林格；亚历山德鲁·朱格鲁（Alexandru Jugravu）；萨布里·普拉纳；Radu Prodan；克洛维斯·塞拉吉奥托；洪林忠 相关软件： Java CoG工具包；SCALEA公司；网格流… 主要字段： 计算机科学（68-XX）
CCASat卫星 17篇文献引用(2013–2023) 软件作者： 蔡少伟；苏凯乐 相关软件： CCLS；CCAnr；NuMVC… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；动力系统和遍历理论（37-XX）…
PAMR公司 16篇文献引用（2012年至2024年） 软件作者： B.Li、P.Zhao、S.Hoi、V.Gopalkrishnan 相关软件： 玉米；OLPS；亚当… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
裴楚丘 16篇文献引用(2008–2022) 软件作者： 蒂姆·斯特拉兹尼；罗兰·梅耶；斯文·林克尔 相关软件： MWB；SLMC；ByMC… 主要字段： 数学逻辑与基础（03-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
备用BSOS 17篇文献引用(2018–2022) 软件作者： Tillmann Weisser；Jean B.Lasserre。；杜金川 相关软件： GloptiPoly；无斑点；SeDuMi… 主要字段： 代数几何（14-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
CPGraph（CPGraph） 16篇文献引用(2005–2022) 软件作者： Deville，Y.、Dooms，G.、Zampelli，S.、Dupont，P。 相关软件： 红衣主教；通用电气；Isabelle/HOL… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
DLV-EX公司 16篇文献引用(2007–2021) 软件作者： 弗朗西斯科·卡利默里；苏珊娜·科萨；伊安尼，乔瓦姆巴蒂斯塔 相关软件： 克林孔；克林戈；接通DLV… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
MCGP公司 12份文件引用(2008–2021) 软件作者： 盖尔·卡茨；多龙·贝利德 相关软件： 棱镜；LTL2BA；旋转… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SSPTS方法 16篇文献引用(2018–2024) 软件作者： Grant，Zachary；西格尔·戈特利布；大卫·塞尔。 相关软件： github；黎曼；imexLNL… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
沃尔夫拉姆 16篇文献引用(2010–2022) 软件作者： 安德烈·苏尔弗洛 相关软件： R；Yices；KLEE… 主要字段： 总体主题；藏品（00-XX）；动力学系统和遍历理论（37-XX）；计算机科学（68-XX）…
YASM公司 15篇文献引用(2006–2023) 软件作者： Arie Gurfinkel、Ou Wei、Marsha Chechik 相关软件： SLAM；爆炸；CUDD… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
YOGI公司 13份文件引用(2010–2022) 软件作者： Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur 相关软件： z3；投掷；可爱… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ANCFIS公司 14篇文献引用(2012–2023) 软件作者： 陈志飞；萨拉·阿格哈尼；詹姆斯·曼；斯科特·迪克 相关软件： ANFIS；TISEAN公司；NSM3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
龙 12份文件引用(2006–2019) 软件作者： 安德烈亚·莫里（Andrea Mauri）；维维亚娜·康康尼（Viviana Consonni）；曼努埃拉·巴万（Manuela Pavan）；托德斯奇尼，罗伯托；Kode srl公司；Talete SRL公司 相关软件： 超化学；OCHEM公司；MOPAC… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；统计学（62-XX）…
VeriMAP公司 13份文件引用(2015–2022) 软件作者： De Angelis E、Fioravanti F、Pettorossi A、Proietti M 相关软件： z3；跟踪器；SeaHorn… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
获胜 7份文件引用(2008–2022) 软件作者： Schleimer，S.、Wilkerson，D.S.、Aiken，A。 相关软件： 最小值2；CCFinder；CP-miner… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
自动变速箱 12份文件引用（2008年至2018年） 软件作者： D.尼科维奇，O.马勒 相关软件： Uppaal；SpaceEx；棱镜… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
CIMGS公司 13份文件引用(1997–2022) 软件作者： X.Wang、K.A.Gallivan、R.Bramley 相关软件： 稀疏矩阵；HSL；LSQR… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）；运筹学、数学规划（90-XX）
平面图 9份文件引用(1997–2005) 软件作者： 迈克尔·希克斯；潘卡杰·卡卡尔；乔纳森·摩尔（Jonathan T.Moore）。；卡尔·A·冈特。；斯科特·奈特尔斯 相关软件： OCaml；番石榴；AtomCaml… 主要字段： 计算机科学（68-XX）
RoVerGeNe公司 13份文件引用(2007–2019) 软件作者： 格雷戈里·巴特；凯琳·贝尔塔 相关软件： RAMAS；生物CHAM；迪文尼… 主要字段： 动力学系统和遍历理论（37-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
反对称RNN 11份文件引用(2020–2023) 软件作者： Bo Chang、Minmin Chen、Eldad Haber、Ed H.Chi 相关软件： 亚当；torchdiffeq；深度ONet… 主要字段： 常微分方程（34-XX）；动力学系统和遍历理论（37-XX）；数值分析（65-XX）…