禁忌搜索 1027份文件引用(1991–2022) 软件作者： 弗雷德·格洛弗（Fred Glover）；埃里克·泰勒；多米尼克·德韦拉 相关软件： 分散搜索；CPLEX；VRP… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
z3型 761份文件引用(2001–2024) 软件作者： 微软研究院；莱昂纳多·德·莫拉；尼古拉·比约纳 相关软件： CVC4；SMT-LIB；Yices… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
自动化 461份文件引用(1970–2023) 软件作者： N.G.de Bruijn；弗里克·维迪jk；卡马雷迪内（Kamaredine，Fairouz）；Twan Laan；罗伯·奈德佩尔特 相关软件： Coq；Nuprl公司；ML… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
MIPLIB公司 374份文件引用(1994–2024) 软件作者： 阿切特伯格，托拜厄斯；科赫、托尔斯滕；亚历山大·马丁 相关软件： SCIP；MIPLIB2003；CPLEX… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PVM公司 279篇文献引用(1992–2022) 软件作者： 盖斯特；贝格林；东加拉；江；曼切克；桑德拉姆 相关软件： 磁粉检测；LAPACK；ScaLAPACK… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
掌中宽带 258篇文献引用(2017–2024) 软件作者： O.Ronneberger。；菲舍尔，P。；布罗克斯，T。 相关软件： 亚当；ImageNet；AlexNet… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
LaTeX公司 251份文件引用(1988–2024) 软件作者： 莱斯利·兰伯特 相关软件： 特克斯；到期4；枫树… 主要字段： 总体主题；藏品（00-XX）；数值分析（65-XX）；计算机科学（68-XX）…
QUADPACK公司 267篇文献引用(1982–2024) 软件作者： Robert Piessens、Elise de Donker、C.Ueberhuber、David Kahaner 相关软件： R；Matlab；LAPACK… 主要字段： 特殊功能（33-XX）；近似和展开（41-XX）；统计学（62-XX）…
MPFR公司 249篇文献引用(2001–2024) 软件作者： 纪尧姆·汉洛（Guillaume Hanrot）、文森特·列夫雷（Vincent Lefèvre）、帕特里克·佩利西尔（Patrick Pélissier）、菲利普·塞维尼（Philippe Théveny）、保罗·齐默尔曼（Paul Zimmermann） 相关软件： gmp；Mathematica；mctoolbox… 主要字段： 数论（11-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
HYPLAS公司 235篇文献引用(1996–2023) 软件作者： De Souza Neto EA、PerićD、Owen DRJ 相关软件： ABAQUS；FEAPpv；Matlab… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
SMT-LIB公司 222篇文献引用(2004–2024) 软件作者： 克拉克·巴雷特；莱昂纳多·德·莫拉；西尔维奥·兰伊斯；阿伦·斯塔姆（Aaron Stump）；塞萨尔·蒂内利 相关软件： z3；CVC4；Yices… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
irace公司 225篇文献引用(2013–2024) 软件作者： 曼努埃尔·洛佩兹·伊瓦涅斯（Manuel López-Ibáñez）、杰雷米·杜波斯·拉科斯特（Jérémie Dubois-Lacoste）、托马斯·斯图策（Thomas Stützle）、毛罗·比拉塔里（Mauro Birattari）、埃里克·袁（ 相关软件： SPOT；帕拉米尔斯；SMAC… 主要字段： 组合数学（05-XX）；统计学（62-XX）；计算机科学（68-XX）…
全球野生动物组织 186篇文献引用(2014–2024) 软件作者： 米尔贾利利，S。；米尔贾利利，S.M。；A.刘易斯。 相关软件： WOA；GSA；SSA… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Yices公司 168篇文献引用(1992–2023) 软件作者： B.杜特雷；L.de Moura村 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
玉 129篇文献引用(2010–2024) 软件作者： 张杰，Sanderson AC 相关软件： CEC 05；ABC；CEC 13… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
XSB公司 139篇文献引用(1995–2022) 软件作者： Sagonas，K.F.、Swift，T.、Warren，D.S.、Freire，J.、Rao，P。 相关软件： YAP-Prolog；平滑；B-Prolog… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
地理PDE 142篇文献引用(2011–2023) 软件作者： de Falco，C。；Reali，A。；瓦兹奎兹，R。 相关软件： ISOGAT；IETI；Matlab… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
迷你锌 130篇文献引用(2008–2024) 软件作者： 吉多·塔克（Guido Tack），NICTA/莫纳什大学（与塞巴斯蒂安·布兰德（Sebastian Brand）、马克·布朗（Mark Brown）、蒂鲍特·费迪（Thibaut Feydy）、朱利安·菲舍尔（Julien Fischer）、玛丽亚·加西亚·德拉班达（Maria Garcia de la Banda）、 相关软件： 通用电气；CHUFFED公司；CPLEX… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
LattE公司 134篇文献引用(2003–2024) 软件作者： De Loera，J.A.，Hemmecke，R.，Tauzer，J.，Yoshida，R；科普先生 相关软件： Normaliz；多品牌；4ti2… 主要字段： 组合数学（05-XX）；数论（11-XX）；凸和离散几何（52-XX）…
C-XSC 2.0版 128篇文献引用(1979–2023) 软件作者： 沃纳·霍夫舒斯特；沃尔特·克雷默；R.Klatte公司 相关软件： C-XSC；国际实验室；进入PT_90… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
M-MACBETH公司 121篇文献引用(1994–2024) 软件作者： 卡洛斯·巴纳·科斯塔；让-马里·德·科尔特；Jean-Claude Vansnick女士 相关软件： UTA Plus；视觉UTA；电气… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；计算机科学（68-XX）…
帕拉梅什 110篇文献引用(2000–2024) 软件作者： P.MacNeice、K.M.Olson、C.Mobarry、R.de Fainchtein、C.Packer 相关软件： Chombo；闪光；Gerris… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
Cabri-几何 16篇文献引用(2000–2019) 软件作者： 拉博德，C。 相关软件： 几何画板；灰姑娘；GeoGebra… 主要字段： 总体主题；藏品（00-XX）；线性代数和多线性代数；矩阵理论（15-XX）；几何（51-XX）…
SHOGUN公司 89份文件引用(2005–2023) 软件作者： Sonnenburg，Sören；冈纳州Rätsch；Christin Schäfer；Schölkopf，伯恩哈德；塞巴斯蒂安·亨舍尔；克里斯蒂安·维德默（Christian Widmer）；乔纳斯·贝尔（Jonas Behr）；亚历山大·齐恩（Alexander Zien）；Fabio De Bona；亚历山大·宾德（Alexander Binder）；基督教徒盖尔；弗朗西语，VojtŞch 相关软件： SimpleMKL；LIBSVM；UCI毫升… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GeM公司 107篇文献引用(1990–2024) 软件作者： 亚历克谢·契维亚科夫 相关软件： 枫树；SYMMGRP；裂纹… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；变形固体力学（74-XX）…
Trivium公司 100篇文献引用(2006–2023) 软件作者： Shahram Khazaei；迈赫迪·哈桑扎德；克里斯托夫·德·卡尼埃；巴特·普雷尼尔； 相关软件： 粮食；eSTREAM；米奇… 主要字段： 数论（11-XX）；交换代数（13-XX）；计算机科学（68-XX）…
rstan公司 89份文件引用(2017–2024) 软件作者： 郭继强、乔纳·加布里、本·古德里奇、丹尼尔·李、科兹托夫·萨克雷吉达、奥列格·斯克莱尔、延斯·奥赫施莱格尔·阿基约希、哈德利·威克姆、乔尔·德古兹曼、约翰·弗莱彻、托马斯·海勒、埃里克·尼伯勒 相关软件： RStan；R；斯坦… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
精益 94份文件引用(2015–2024) 软件作者： 微软；莱昂纳多·德·莫拉；孔顺浩；杰里米·阿维加德；弗洛里斯·范·道恩（Floris van Doorn）；雅各布·冯·劳默 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；数论（11-XX）；范畴理论；同调代数（18-XX）…
GeneSrF公司 69篇文献引用(2008–2024) 软件作者： 拉蒙·迪亚斯·乌里亚特；萨拉·阿尔瓦雷斯·德·安德烈斯 相关软件： 随机森林；R；UCI毫升… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
坦索拉布 87份文件引用(2013–2023) 软件作者： L.Sorber、M.Van Barel、L.De Lathauwer 相关软件： 张量工具箱；Matlab；算法862… 主要字段： 代数几何（14-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
名义伊莎贝尔 82份文件引用(2005–2023) 软件作者： 城市，基督教；塞萨里·卡利西克 相关软件： Isabelle/HOL；流行标志；Coq… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
美国食品和药物管理局 73篇文献引用(2012–2024) 软件作者： 曼努埃尔·费布雷罗·班德；Manuel Oviedo de la Fuente；佩德罗·加莱亚诺；Alicia Nieto；爱德华多·加西亚-葡萄牙 相关软件： fda（R）；R；退款… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
科莱姆 65篇文献引用(2000–2023) 软件作者： 德尼古拉，R。；法拉利，G.L。；普格利泽，R。 相关软件： 琳达；克拉瓦；SCEL… 主要字段： 数学逻辑与基础（03-XX）；一般拓扑（54-XX）；计算机科学（68-XX）…
TRANSFAC公司 34份文件引用（2001年至2020年） 软件作者： E.Wingender、X.Chen、R.Hehl、H.Karas、I.Liebich、V.Matys、T.Meinhardt、M.Prüß、I.Reuter、F.Schacherer 相关软件： JASPAR；KEGG；生物浏览… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
汞 73篇文献引用(2009–2018) 软件作者： 梅耶，卢卡斯；Sara van de Geer；彼得·伯尔曼；曼纽尔·尤格斯特（Manuel Eugster）。。。 相关软件： 半标准杆；R；gss… 主要字段： 功能分析（46-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
猿 59篇文献引用(2004–2023) 软件作者： 伊曼纽尔·帕拉迪斯、本·博尔克、朱利安·克劳德、霍森·库恩、理查德·德斯珀、贝诺伊特·杜兰德、朱利恩·杜泰尔、奥利维尔·加斯库尔、克里斯托夫·海布尔、丹尼尔·劳森、文森特·勒福特、皮埃尔·勒让德、吉姆·莱蒙、伊冯尼克·诺埃尔、约翰·尼兰德、雷内尔·奥普根·瑞恩、安德烈·阿林·波佩斯库、克劳斯·施利普、科尔比尼安·斯特里默、达米安·德维埃纳 相关软件： R；植物醇；ggplot2… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；概率论与随机过程（60-XX）…
阿勒夫 59篇文献引用(2004–2023) 软件作者： 斯里尼瓦桑，A 相关软件： ProbLog；github；Metagol… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
卡坦 64篇文献引用(2009–2023) 软件作者： de Cannière，C.，Dunkelman，O.，Knezéević，M。 相关软件： KTANTAN公司；出席；西蒙… 主要字段： 组合数学（05-XX）；数论（11-XX）；计算机科学（68-XX）…
KTANTAN公司 63份文件引用（2009年至2022年） 软件作者： 克利斯朵夫·德·卡尼埃；奥尔·邓克尔曼；米罗斯拉夫·奈日·埃维奇 相关软件： 卡坦；出席；高度… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
幼儿保育和教育 64篇文献引用(1998–2022) 软件作者： Leuschel，M.、Martens，B.和De Schreye，D 相关软件： DPPD；LOGEN公司；汞… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
代码_主 59篇文献引用（1995年至2024年） 软件作者： 法国电力公司（EDF；法国电力） 相关软件： ABAQUS；Gmsh；COMSOL… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
PLAPACK系列 60篇文献引用(1998–2019) 软件作者： P.Alpatov、G.Baker、C.Edwards、J.Gunnels、G.Morrow、J.Overfelt、R.van de Geijn和Y.J.Wu， 相关软件： ScaLAPACK；LAPACK；BLAS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GiD公司 58篇文献引用(2000–2022) 软件作者： R Ribó，MA de Riera Pasenau，E Escolano；CIMNE公司 相关软件： 彗星；Matlab；VTK… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
GAP字符表库 59篇文献引用(2004–2024) 软件作者： 托马斯·布罗伊尔 相关软件： CTblLib；间隙；岩浆… 主要字段： 组合数学（05-XX）；结合环与代数（16-XX）；非结合环与代数（17-XX）…
多个点 59篇文献引用(1999–2024) 软件作者： 范德格尔（Gerard van der Geer）；埃弗雷特·W·豪。；Kristin E.Lauter。；克利斯朵夫·利岑塔勒 相关软件： 岩浆；SageMath；薄荷… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
FSL公司 48篇文献引用(2008–2023) 软件作者： M.W.Woolrich、S.Jbabdi、B.Patenaude、M.Chappell、S.Makni、T.Behrens、C.Beckmann、M.Jenkinson、S.M.Smith 相关软件： AFNI；R；飞行… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
获取DP 55份文件引用(2004–2023) 软件作者： Patrick Dular；克里斯托夫·久赞 相关软件： Gmsh；FreeFem++；PETSc… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
出口4 54篇文献引用(1997–2023) 软件作者： L.Gr.Ixaru、H.De Meyer、G.Vanden Berghe、M.Van Daele 相关软件： 乳胶；枫树；NEW9p… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；数值分析（65-XX）…
奶牛 46篇文献引用(2007–2020) 软件作者： 亚历山德罗·拉帕杜拉；罗萨里奥·普格利泽；弗朗西斯科·蒂埃齐 相关软件： 自旋蛋白；CC-Pi；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）
ConGolog公司 40篇文献引用(1999–2022) 软件作者： 德贾科莫；Lespérance，Y。；H.J.列夫斯克。 相关软件： 高尔夫；AgentSpeak；METATEM… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
感觉++ 40篇文献引用(1999–2023) 软件作者： 克里斯托夫·普鲁德霍姆（Christophe Prud’homme）、文森特·查班内斯（Vincent Chabannes）、圣埃芬·韦斯（Stéphane Veys）、阿卜杜拉耶·萨姆克（Abdoulay Samake）、塞西莉·达沃森（Cecile Daversin）、克里斯托夫·特罗菲姆（Christphe Trophime）、贡卡洛·佩纳（Goncalo Pena）、纪尧姆·多利（Guillau 相关软件： PETSc；交易.ii；FreeFem++… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
党派主义 44篇文献引用(1996–2023) 软件作者： 哈维尔·洛佩兹·德拉卡莱 相关软件： 其mr；meboot；fdrtool… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；动力系统与遍历理论（37-XX）；概率论与随机过程（60-XX）…
DeMat公司 29篇文献引用(2008–2023) 软件作者： Storn R、Price K、Neumaier A、Zandt合资公司 相关软件： 玉；CEC 05；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
CLP公司 42篇文献引用(2006–2023) 软件作者： 约翰·福雷斯特；朱利安·霍尔；Clp团队；David de la Nuez；罗宾·劳基·海默 相关软件： CPLEX；中国银行；古罗比… 主要字段： 组合数学（05-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
路易斯安那州 24篇文献引用（2002年-2023年） 软件作者： 罗伯托·伊鲁萨利姆希；Waldemar Celes；路易斯·恩里克·德菲格雷多 相关软件： 蟒蛇；R；鲁比… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
灵活的 36篇文献引用(2017–2023) 软件作者： 佩里·德瓦尔平（Perry de Valpine）、克里斯托弗·帕西奥雷克（Christopher Paciorek）、丹尼尔·图雷克（Daniel Turek 相关软件： R；斯坦；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
法国DUNE-FEM 41篇文献引用(2010–2023) 软件作者： 安德烈亚斯·德纳；Klöfkorn，罗伯特；马丁·诺尔特；马里奥·奥伯格 相关软件： 沙丘；PETSc；交易.ii… 主要字段： 偏微分方程（35-XX）；全局分析，流形分析（58-XX）；数值分析（65-XX）…
蜥蜴 39篇文献引用(2015–2024) 软件作者： 弗朗西斯科·德维塔；Jose-Maria Fullana；杰弗里·柯斯特特（Geoffroy Kirstetter）；皮埃尔·伊夫·拉盖尔；艾米丽·莱恩；何塞·洛佩兹·埃雷拉；约翰·麦克法兰；圣埃芬府绸 相关软件： 格里斯；炒作；PROST… 主要字段： 数值分析（65-XX）；可变形固体力学（74-XX）；流体力学（76-XX）…
LMI银行 41篇文献引用(2006–2023) 软件作者： 罗伯特·奥尔西 相关软件： YALMIP；塞杜米；彭巴迪… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；微分几何（53-XX）；量子理论（81-XX）…
火焰 39篇文献引用(1997–2022) 软件作者： 保罗·比伦特斯；恩里克·S·金塔纳·奥尔蒂。；范德盖恩（Robert A van de Geijn） 相关软件： LAPACK；BLAS；图集… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
近似值 37篇文献引用(2011–2023) 软件作者： 卢西安·布索尼乌 相关软件： ElemStatLearn；Scikit；Python… 主要字段： 变分法与最优控制；优化（49-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
DEAP公司 21篇文献引用(2015–2023) 软件作者： 费利克斯·安托万·福廷；弗朗索瓦·马歇尔·德雷恩维尔；马克·安德烈·加德纳；Marc Parizeau；克里斯蒂安·加涅 相关软件： 蟒蛇；Scikit；科学… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
独立性测试 37篇文献引用(2009–2023) 软件作者： P Lafaye de Micheaux，M比洛多 相关软件： R；TwoCop；能源… 主要字段： 近似和展开（41-XX）；功能分析（46-XX）；概率论与随机过程（60-XX）…
同位素 32篇文献引用(2012–2023) 软件作者： de Leeuw，J.、Hornik，K.、Mair，P。 相关软件： R；Iso；coneproj… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MpCCI公司 38篇文献引用(2002–2022) 软件作者： SCAI弗劳恩霍夫研究所；W.Joppich、M.Kurschner 相关软件： 预CICE；COMSOL公司；OpenFOAM… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
海洋标志 39篇文献引用(2019–2023) 软件作者： Luca De Feo；史蒂文·加尔布雷思。 相关软件： CSI-FiSh；SageMath；CSIDH… 主要字段： 数论（11-XX）；代数几何（14-XX）；计算机科学（68-XX）…
ALCON公司 38篇文献引用(1986–2022) 软件作者： 邮政编码；P.Deufhard、P.Kunkel 相关软件： PITCON；纽顿图书馆；主页… 主要字段： 常微分方程（34-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
m状态 24篇文献引用(2012–2023) 软件作者： Hein Putter、Liesbeth de Wrede、Marta Fiocco 相关软件： R；msm；生存… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
验证 33篇文献引用(2011–2023) 软件作者： 托马斯·鲍顿（Thomas Bouton）、迭戈·卡米尼亚·B·德·奥利维拉（Diego Caminha B.de Oliveira）、大卫·德哈贝（David Déharbe）、帕斯卡尔·方丹（Pascal Fontaine） 相关软件： z3；CVC4；SMT-LIB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；实函数（26-XX）…
A至M3 18篇文献引用(2002–2021) 软件作者： 胡安·德·拉腊（Juan de Lara）；汉斯·旺格鲁 相关软件： AGG；VIATRA2；进度… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
黛西 32篇文献引用(2001–2022) 软件作者： B.De Moor、P.De Gersem、B.De Schutter、W.Favoreel 相关软件： FastICA；ICALAB；SLRA… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）…
高密度指数 36篇文献引用(2015–2023) 软件作者： 卢卡斯·梅耶、鲁本·德泽尔、尼古拉·梅绍森、马丁·梅克勒、彼得·布埃尔曼 相关软件： R；cov测试；选择性推理… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
斯马科夫 30篇文献引用(1997–2024) 软件作者： Jan de Leeuw，帕特里克·梅尔 相关软件： R；t-SNE；SPSS… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ASF+SDF 32篇文献引用(1996–2022) 软件作者： 范登·布兰德，M.G.J。；van Deursen，A。；希林，J。；德容，H.A。；de Jonge，M。 相关软件： Stratego；莫德；ATERM… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
拨号 24篇文献引用(2001–2022) 软件作者： B.摩根斯坦 相关软件： ClustalW；肌肉；T-咖啡… 主要字段： 总体主题；藏品（00-XX）；统计学（62-XX）；计算机科学（68-XX）…
派克斯 23篇文献引用(2009–2018) 软件作者： 尼古拉·蒂尔曼（Nikolai Tillmann）、乔纳森·德哈勒克斯（Jonathan de Halleux） 相关软件： 投掷；可爱的；z3… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；数值分析（65-XX）…
德尔菲斯 30篇文献引用(2011–2023) 软件作者： Ovyn，X.Rouby，V.Lemaitre；J.de Favereau、C.Delaere、P.Demin、A.Giammanco、A.Mertens、M.Selvaggi 相关软件： PYTHIA8；费恩规则；MadGraph5_aMC@NLO; … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
Seaborn公司 12份文件引用(2018–2023) 软件作者： M.Waskom、O.Botvinnik、D.Okane、P.Hobson、David、Y.Halchenko、S.Lukauskas、J.B.Cole、J.Warmenhoven、J.de Ruiter、S.Hoyer、J.Vanderplas、S.Villalba、G.Kunter、E.Quintro、M.Martin、A.Miles、K.Meyer、T.Augspurger、T.Yarkoni、P.Bachant、M.Williams、C.Evans、C.Fitzgerald、Brian、D.Wehner、G.Hitz、E.Ziegler、A.Qalieh和A。李。 相关软件： 蟒蛇；Matplotlib；数字标识… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
斯特马克 28篇文献引用(2001–2023) 软件作者： Fabien A.P.Petitcolas、Ross J.Anderson、Markus G.Kuhn 相关软件： U-Net公司；亚当；禁忌搜索… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）…
反链 34份文件引用(2006–2022) 软件作者： De Wulf M、Doyen L、Henzinger TA、Raskin JF 相关软件： MONA；HIP；旋转… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
云模拟 引用于22份文件(2012–2023) 软件作者： 罗德里戈·N·卡莱罗斯、拉吉夫·兰扬、塞萨尔·A·F·德·罗斯、拉杰库马尔·布亚 相关软件： iFogSim；网格模拟；pMapper… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
GDE3型 24篇文献引用(2008–2023) 软件作者： S.Kukkonen、J.Lampinen 相关软件： SPEA2；MOEA/D；jMetal… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
建模师 引用于19份文件(2005–2021) 软件作者： AndrejŠali等人。 相关软件： 爆炸；PSI-爆炸；PROCHECK… 主要字段： 组合数学（05-XX）；几个复变量与解析空间（32-XX）；统计学（62-XX）…
PariTOP公司 33篇文献引用(2001–2023) 软件作者： 奥萨马·凯塔尼；卡里姆·科利菲 相关软件： 林多；禁忌搜索；MOAPPS… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；数值分析（65-XX）…
SUMMA（总结） 31份文件引用(1998–2023) 软件作者： 罗伯特·范德盖恩；杰雷尔·瓦茨 相关软件： ScaLAPACK；LAPACK；BLAS… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；数值分析（65-XX）…
复杂优化工具箱 33篇文献引用(2012–2023) 软件作者： L.Sorber、M.Van Barel、L.De Lathauwer 相关软件： Tensorlab公司；YALMIP；SDPT3… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；算子理论（47-XX）…
天鹅绒 26篇文献引用(2012–2022) 软件作者： D.R.Zerbino和E.Birney 相关软件： ALLPATHS公司；深渊；SPAdes… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；统计学（62-XX）…
PPRN公司 32篇文献引用(1996–2018) 软件作者： 乔迪·卡斯特罗；纳西斯·纳博纳 相关软件： 综合项目管理；KORBX；MINOS… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
QNM光谱 31份文件引用(2017–2024) 软件作者： 阿伦·詹森 相关软件： 数学；github；铃声… 主要字段： 偏微分方程（35-XX）；粒子和系统力学（70-XX）；流体力学（76-XX）…
斯科特 31份文件引用(2016–2023) 软件作者： 马蒂亚斯·伦格；马吉德·扎马尼 相关软件： PESSOA；科西马；p面… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
编程辅助工具 引用于22份文件(2004–2023) 软件作者： D.范·赫什 相关软件： LAPACK；蟒蛇；GitHub… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
歧管 28篇文献引用(1993–2023) 软件作者： 医学博士Bonsangue。；Arbab，F。；de Bakker，J.W。；Rutten，J.J.M.M。；A.斯库特拉。 相关软件： 琳达；里奥；石灰… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
SIMATH公司 31份文件引用(1988–2010) 软件作者： 霍斯特·G·齐默。；松井，T。；小林，D。；阿贝，M。；Nakamula，K。 相关软件： KANT/KASH；PARI/GP；岩浆… 主要字段： 数论（11-XX）；场论与多项式（12-XX）；代数几何（14-XX）…
ViT公司 24篇文献引用(2021–2024) 软件作者： Alexey Dosovitskiy、Lucas Beyer、Alexander Kolesnikov、Dirk Weissenborn、Xiaohua Zhai、Thomas Unterthiner、Mostafa Deghani、Matthias Minderer、Georg Heigold、Sylvain Gelly、Jakob Uszkoreit、Neil Houlsby 相关软件： Tensor2传感器；BERT；亚当… 主要字段： 偏微分方程（35-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
G流量 24篇文献引用(2017–2023) 软件作者： 亚历山大·德·马修斯（Alexander G.De G.Matthews）。；范德威尔克，马克；汤姆·尼克森；藤井圭介；布库瓦拉斯，亚历克西斯；巴勃罗León-Villagrá；Ghahramani、Zoubin；詹姆斯·亨斯曼 相关软件： TensorFlow；亚当；GPy… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
LifeV公司 29篇文献引用(2007–2021) 软件作者： L.Formaggia、J.Gerbeau和C.Prud'homme 相关软件： 特里利诺斯；红色套件；交易.ii… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
捕捉 30篇文献引用(1999–2019) 软件作者： 奥利弗·古德曼 相关软件： SnapPea；SnapPy；岩浆… 主要字段： \（K\）理论（19-XX）；群论与推广（20-XX）；微分几何（53-XX）…
通用KADS 26篇文献引用（1994年-2014年） 软件作者： 范德维尔德·布鲁克 相关软件： NeuroGaz；github；投票Sim… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
达尔文 在28份文件中引用(2005–2023) 软件作者： Peter Baumgartner、Alexander Fuchs、Hans de Nivelle、Cesare Tinelli 相关软件： E-Darvin公司；TPTP；iProver… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）