CPLEX公司 2956份文件引用(1992–2024) 软件作者： IBM公司 相关软件： 古罗比；SCIP；AMPL… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
朱莉娅 652份文件引用(2014–2024) 软件作者： Bezanson J、Karpinski S、Shah VB、Edelman A 相关软件： GitHub；JuMP；微分方程.jl… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
玻璃制品 658份文件引用(2008–2024) 软件作者： 拉胡尔·马祖姆德（Rahul Mazumder）；特雷弗·哈斯蒂；J.Friedman，T。；R.蒂比拉尼 相关软件： R；glmnet；巨大… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TETRAD公司 484份文件引用（1993年至2024年） 软件作者： 克拉克·格雷摩尔（Clark Glymour）；Richard Scheines；彼得·斯皮特斯；约瑟夫·拉姆齐 相关软件： pcalg；R；学习… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；统计学（62-XX）…
抱怨 引用于422份文件（1976年-2023年） 软件作者： 数值算法组 相关软件： 抱怨；Matlab；LAPACK… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
Visual Basic 168篇文献引用(1993–2023) 软件作者： 微软 相关软件： VBA；擅长；访问… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
ACL2型 287份文件引用(1998–2023) 软件作者： 马特·考夫曼（Matt Kaufmann）、斯特罗特·摩尔（Strother Moore） 相关软件： Coq；Isabelle/HOL；PVS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；代数拓扑（55-XX）…
MapReduce 214篇文献引用(2008–2024) 软件作者： 潘杰；弗莱德里克·马古莱斯；亚恩·勒比安尼克 相关软件： Hadoop；火花；Apache Spark… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
斯莫德尔斯 231篇文献引用(1999–2022) 软件作者： 伊尔卡·尼梅尔；西蒙斯，P；Syrjänen，汤米 相关软件： 亚萨特；C模型；XSB… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
KEEL公司 113篇文献引用(2009–2024) 软件作者： Alcalá-Fdez，J。；桑切斯，L。；南卡罗来纳州加西亚。；德尔·耶稣，M.J。；文图拉，S。；加雷尔，J.M。；Otero，J。；罗梅罗，C。；百加得，J。；里瓦斯，V.M。；Fernández，J.C。；F.埃雷拉。 相关软件： JStatCom；UCI-ml；C4.5… 主要字段： 测量和集成（28-XX）；统计学（62-XX）；数值分析（65-XX）…
罗马 159篇文献引用(2010–2024) 软件作者： 乔尔·吴（Joel Goh）；梅尔文·西姆 相关软件： YALMIP；CPLEX；CVX… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；运筹学，数学规划（90-XX）…
FEASPUMP公司 139篇文献引用（1979年至2024年） 软件作者： 菲舍蒂（Matteo Fischetti）；多梅尼科·萨尔瓦金 相关软件： MIPLIB公司；CPLEX；MIPLIB2003… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
方面J 99篇文献引用(2001–2022) 软件作者： 格雷戈·基泽莱斯（Gregor Kiczales）；埃里克·希尔斯代尔；Jim Hugunin；米克·克尔斯滕（Mik Kersten）；杰弗里·帕尔姆 相关软件： 凯撒J；JBoss；JAsCo… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
Java PathFinder 96篇文献引用(2000–2023) 软件作者： 克劳斯·哈维隆德；托马斯·普雷斯伯格 相关软件： 自旋蛋白；班德拉；veriSoft… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
SETHEO公司 引用于118篇文献(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；数值分析（65-XX）…
列表-统计 88篇文献引用(1977–2019) 软件作者： 卢克·蒂尔尼 相关软件： R；远景；XGobi… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
MINL库 109篇文献引用（2002年-2023年） 软件作者： Michael R.Bussieck。；阿恩·斯托尔伯格（Arne Stolbjerg Drud）；亚历山大·米罗斯 相关软件： SCIP；Ipopt；BARON… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
琳达 77份文件引用(1985–2020) 软件作者： 大卫·盖伦特 相关软件： 科莱姆；石灰；重新规范… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
马戏团 79份文件引用（2002年-2023年） 软件作者： Woodcock，J.C.P.，卡瓦尔坎蒂，A.L.C。 相关软件： Z；电源保护；Simulink… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
qpOASES公司 83份文件引用(2008–2023) 软件作者： H.J.Ferreau、C.Kirches、A.Potschka、H.G.Bock、M.Diehl 相关软件： fast_mpc；Ipopt；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；数值分析（65-XX）…
程序NLMIXED 68篇文献引用(2001–2024) 软件作者： SAS公司 相关软件： SAS；SAS/STAT；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
巴贝尔 72份文件引用(1988–2013) 软件作者： 马里奥·罗德里格斯-阿塔莱霍 相关软件： 核叶；玩具；咖喱… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
简单MKL 66份文件引用(2008–2023) 软件作者： 阿兰·阿科托马蒙杰；巴赫，弗朗西斯·R。；圣埃芬省卡努；伊夫·格兰德瓦莱特 相关软件： SHOGUN公司；LIBSVM；UCI-ml… 主要字段： 功能分析（46-XX）；统计学（62-XX）；计算机科学（68-XX）…
OMNet公司++ 引用于33份文件(2001–2021) 软件作者： 安德拉斯·瓦尔加 相关软件： ns-2；弦；GloMoSim… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
OpenMx（OpenMx） 39篇文献引用(2006–2023) 软件作者： 史蒂文·博克（Steven Boker）；迈克尔·尼尔；赫尔敏·梅斯（Hermine Maes）；迈克尔·王尔德；迈克尔·施皮格尔（Michael Spiegel）；蒂莫西·布里克；间谍，杰弗里；雷恩·埃斯塔布鲁克；Kenny，Sarah；蒂莫西·贝茨（Timothy Bates）；梅塔，帕拉斯；约翰·福克斯 相关软件： R；Mplus；熔岩… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
SPNP公司 47篇文献引用(1990–2023) 软件作者： 克里斯托夫·希雷尔（Christophe Hirel）、布鲁诺·塔芬（Bruno Tuffin）、基索尔·斯特里维迪（Kishor S.Trivedi） 相关软件： DSPNexpress；GreatSPN 1.7；分享… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
TRICE公司 48篇文献引用(1997–2022) 软件作者： 丹尼斯，J.E。；Heinkenschloss，Matthias；吕维森特{i} 秒N。 相关软件： 兰斯洛特；Ipopt；SNOPT… 主要字段： 偏微分方程（35-XX）；变分法与最优控制；优化（49-XX）；数值分析（65-XX）…
ADVI公司 47篇文献引用(2017–2023) 软件作者： Alp Kucukelbir、Rajesh Ranganath、Andrew Gelman、David M.Blei 相关软件： 斯坦；PRMLT；阿达德尔塔… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
印章 39篇文献引用(1998–2023) 软件作者： 科普曼，S.J。；哈维，A.C。；Doornik，J.A。；谢泼德，A。 相关软件： SsfPack；公牛；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
IF-2.0型 38篇文献引用(2002–2022) 软件作者： 马吕斯·博兹加；苏珊娜·格拉芙；劳伦特·穆尼尔 相关软件： Uppaal公司；克罗诺斯；旋转… 主要字段： 总体主题；藏品（00-XX）；动力系统与遍历理论（37-XX）；计算机科学（68-XX）…
XMP公司 46篇文献引用(1982–2002) 软件作者： 罗伊·E·马斯滕 相关软件： AIMMS；AMPL；MINOS… 主要字段： 凸和离散几何（52-XX）；数值分析（65-XX）；计算机科学（68-XX）…
GHC公司 36篇文献引用(1986–2014) 软件作者： Kazunori上田 相关软件： PARLOG；SICStus公司；基玛… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
WhyML公司 44篇文献引用(2013–2023) 软件作者： Jean-Christophe Filliátre；安德烈·帕斯科维奇 相关软件： Why3；z3；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
bc-prod公司 44篇文献引用(2000–2022) 软件作者： 盖坦省贝尔沃；劳伦斯·A·沃尔西。 相关软件： CPLEX；快速表达；MULTILSB… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
灵活的 36篇文献引用(2017–2023) 软件作者： 佩里·德瓦尔平（Perry de Valpine）、克里斯托弗·帕西奥雷克（Christopher Paciorek）、丹尼尔·图雷克（Daniel Turek），克利夫·安德森-伯格曼（Cliff Anderson-Bergman），邓肯·坦普尔·朗（Duncan Temple Lang） 相关软件： R；斯坦；卡爪… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；数值分析（65-XX）…
混乱 42篇文献引用(2012–2024) 软件作者： Saak，J.、Mena，H.、Benner，P。 相关软件： Matlab；RADI；莫拉布… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；偏微分方程（35-XX）；动力系统和遍历理论（37-XX）…
莫塞尔 37篇文献引用(2003–2021) 软件作者： Fair Isaac公司；科伦巴尼·Y、海普克·S。 相关软件： 快速表达；AMPL；游戏… 主要字段： 总体主题；藏品（00-XX）；阶、格、有序代数结构（06-XX）；数值分析（65-XX）…
SeaHorn公司 36篇文献引用(2015–2023) 软件作者： Gurfinkel，A.，Kahsai，T.，Komuravelli，A.，Navas，J.A。 相关软件： z3；垫片；CPA检查器… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
Zimpl公司 34份文件引用(2005–2023) 软件作者： 托尔斯滕·科赫 相关软件： SCIP；CPLEX；SoPlex… 主要字段： 组合数学（05-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
PMaude公司 30篇文献引用(2005–2023) 软件作者： 古尔·阿加；何塞·梅塞盖尔（JoséMeseguer）；库什克森 相关软件： 莫德；PVeStA；棱镜… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SLP-IOR系统 引用于33份文件(1992–2016) 软件作者： 梅耶·卡尔 相关软件： MSLiP；GAMS；EMP… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
cmar公司 32篇文献引用(2011–2022) 软件作者： 格哈德·威廉·韦伯；伊恩西·巴特马；科尔萨尔，吉尔瑟；巴基斯坦塔兰；叶利卡亚·奥兹科特，法塔玛 相关软件： ElemStatLearn；汽车；ARESLab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
奥德赛 32篇文献引用（1996年至2016年） 软件作者： 罗斯坦，N.，达尔马斯，S.，加利戈，A 相关软件： ADIFR；TAMC；ADOL-C… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
PHREEQC公司 31份文件引用(2004–2023) 软件作者： 帕克赫斯特，D.L.，阿佩洛，C.J 相关软件： PhreeqcRM；水文地球化学；MoMaS… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；变形固体力学（74-XX）…
dSPIN公司 22篇文献引用(2000–2014) 软件作者： Demartini，C.，Iosif，R.，Sisto，R。 相关软件： 自旋蛋白；班德拉；Java PathFinder… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
歧管 28篇文献引用(1993–2023) 软件作者： 博桑格，M.M。；Arbab，F。；德·巴克尔，J.W。；Rutten，J.J.M.M。；A.斯库特拉。 相关软件： 琳达；里奥；石灰… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
MAPCLUS公司 30篇文献引用(1982–2019) 软件作者： 菲普斯·阿拉比；卡罗尔，J.道格拉斯 相关软件： Indclus；FINDCLUS；PARAFAC… 主要字段： 历史与传记（01-XX）；组合数学（05-XX）；统计学（62-XX）…
CC-Pi公司 28篇文献引用(2007–2022) 软件作者： 玛丽亚·格拉齐亚·巴斯米（Maria Grazia Buscemi），乌戈·蒙塔纳里（Ugo Montanari） 相关软件： 奶牛；Isabelle/HOL；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）…
NLPLIB公司 30篇文献引用(1999–2020) 软件作者： 霍姆斯特罗姆（Kenneth Holmström）；马蒂亚斯·比约克曼 相关软件： OPERA；TOMLAB公司；Matlab… 主要字段： 统计学（62-XX）；数值分析（65-XX）；运筹学，数学规划（90-XX）…
PySP公司 28篇文献引用(2012–2023) 软件作者： Jean-Paul Watson；伍德拉夫，大卫·L·。；威廉·哈特（William E.Hart）。 相关软件： Pyomo；CPLEX；古罗比… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
陆军装备司令部 26篇文献引用(2007–2022) 软件作者： 安德烈亚斯·波德尔斯基（Andreas Podelski）、安德烈·里巴尔琴科（Andrey Rybalchenko） 相关软件： SLAM；跟踪器；匕首… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
TLA公司 29篇文献引用(1992–2023) 软件作者： L.兰波特 相关软件： 自旋蛋白；z3；加号… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
J流量 23篇文献引用(2002–2022) 软件作者： 安德鲁·迈尔斯 相关软件： TaintDroid；哈斯克尔；TALx86… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
锌 28篇文献引用(2005–2022) 软件作者： Kim万豪酒店；尼赫科特，尼古拉斯；雷扎·拉斐；Peter J.Stuckey。；玛丽亚·加西亚·德拉·班达；马克·华莱士 相关软件： 本质；微量锌；Gecode… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
HySAT卫星 26篇文献引用(2006–2021) 软件作者： Fränzle，Martin；克里斯蒂安·赫尔德 相关软件： 高科技；数学SAT；SpaceEx… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；粒子力学与系统（70-XX）…
乔坎尔 26篇文献引用(2000–2022) 软件作者： Fornet，塞德里克；Le Fessant，Fabrice公司；Luc Maranget；阿兰·施密特 相关软件： 皮克特；OCaml；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-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）…
皮莫尔 26篇文献引用(2015–2023) 软件作者： Rene Milk、Stephan Rave、Felix Schindler 相关软件： 红色套件；DUNE；hapod… 主要字段： 偏微分方程（35-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MIRP库 26篇文献引用(2014–2023) 软件作者： 迪米特里·帕帕乔治奥。；乔治·L·纳姆豪泽。；乔尔·索科尔；Cheon，Myun-Seok；艾哈迈特·凯哈（Ahmet B.Keha）。 相关软件： VRP；CPLEX；irace… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
GrGen公司 引用于19份文件(2006–2023) 软件作者： 盖·鲁比诺；格诺特·维特（Gernot Veit Batz）；丹尼尔·格兰德（Daniel Grund）；塞巴斯蒂安·哈克；亚当·萨勒科夫斯基 相关软件： AGG；富贾巴；凹槽… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
LINERLIB公司 25篇文献引用(2014–2022) 软件作者： 布鲁尔（Berit D.Brouer）。；阿尔瓦雷斯，J.费尔南多；克里斯蒂安·梅姆（Christian E.M.Plum）。；Pisinger、David和Sigurd、Mikkel M 相关软件： VRP；柠檬；背包… 主要字段： 运筹学、数学规划（90-XX）
皮塔 24篇文献引用(2010–2023) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；Swift，Terrance公司 相关软件： 探测日志；CP逻辑；棱镜… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
罗塞塔 21篇文献引用(1998–2021) 软件作者： 亚历山大·赫恩；Komorowski，Jan；安德烈·斯科伦（Andrzej Skowron）；彼得·西纳克 相关软件： UCI-ml；LERS；RSES… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
贝德维尔 21篇文献引用(2007–2022) 软件作者： David Baelde、Andrew Gacek、Dale Miller、Gopalan Nadatur、Alwen Tiu 相关软件： Twelf；阿贝拉；名义上的伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
考德 22篇文献引用(2018–2023) 软件作者： Lanese，I.、Nishida，N.、Palacios，A.、Vidal，G。 相关软件： 埃尔朗；GitHub；铲刀… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
Indclus公司 22篇文献引用(1982–2019) 软件作者： 卡罗尔，J.D.，阿拉比，P。 相关软件： MAPCLUS；FINDCLUS；PARAFAC… 主要字段： 历史与传记（01-XX）；统计学（62-XX）；数值分析（65-XX）…
MOPS公司 15篇文献引用(2003–2019) 软件作者： Chen，H.、Wagner，D。 相关软件： SLAM；爆破；旋转… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ADMB公司 20篇文献引用(2011–2023) 软件作者： 大卫·A·福尼尔（David A.Fournier）。；汉斯·斯科（Hans J.Skaug）。；约翰·安切塔；詹姆斯·伊内利（James Ianelli）；马格努森，阿尼；马克·N·蒙德。；尼尔森，安德斯；约翰·西伯特 相关软件： AD模型生成器；R；TMB… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）…
爱德华 15篇文献引用(2017–2023) 软件作者： Tran，D.，Kucukelbir，A.，Dieng，A.B.，Rudolph，M.，Liang，D.，Blei，D.M。 相关软件： 斯坦；TensorFlow；PyMC… 主要字段： 动力系统与遍历理论（37-XX）；统计学（62-XX）；数值分析（65-XX）…
灵活 22篇文献引用(1990–2009) 软件作者： 贾卡隆，A.，米什拉，P.，普拉萨德，S 相关软件： 皮克特；毫升；JoCaml… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
日本石油公司 16篇文献引用(2007–2023) 软件作者： Krzysztof Kuchcinski；Radoslaw Szymanek公司 相关软件： 通用电气；微量锌；Choco… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
MOIP_AIRA公司 22篇文献引用(2014–2024) 软件作者： 梅利赫·奥兹伦；本杰明·伯顿（Benjamin A.Burton）。；Cameron A.G.麦克雷。 相关软件： CPLEX；苯解；NBI… 主要字段： 数值分析（65-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
约束拉索 21篇文献引用（2018年至2024年） 软件作者： 布莱恩·盖恩斯（Brian R.Gaines）。；Kim，Juhyun；周，华 相关软件： R；古罗比；glmnet… 主要字段： 算子理论（47-XX）；统计学（62-XX）；数值分析（65-XX）…
马卡尔 18篇文献引用(1985–2023) 软件作者： Fishbone，L.G.公司。；Giesen，G。；戈尔茨坦，G。；Hymmen，H.A。；股票，K.J。；沃斯·H。；王尔德，D。；Zoelcher，R。；巴尔泽，C。；H.阿比洛克。 相关软件： 梅赛格三世；EFOM 12C；Pypsa… 主要字段： 概率论与随机过程（60-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SCEL公司 18篇文献引用(2014–2023) 软件作者： 洛科·德·尼古拉（Rocco De Nicola）、迭戈·拉特拉（Diego Latella）。Alberto Lluch Lafuente、Michele Loreti、Andrea Margheri、Mieke Massink、Andrea Morichetta、Rosario Pugliese、Francesco Tiezzi、Andrea Vandin 相关软件： 科莱姆；莫德；CARMA… 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
乔托 17篇文献引用(2001–2022) 软件作者： 托马斯·汉津格、本杰明·霍洛维茨、克里斯托夫·梅耶·基尔希 相关软件： 卢斯特；Uppaal公司；酯类… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
伊莎贝尔/UTP 引用于19份文件(2015–2021) 软件作者： 西蒙·福斯特（Simon Foster）；Zeyda，Frank；吉姆·伍德科克 相关软件： 马戏团；Isabelle/HOL；Z、 … 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）
VORPAL公司 17篇文献引用(2004–2019) 软件作者： 切特·尼特（Chet Nieter）；约翰·R·卡里。 相关软件： OSIRIS；快速图片；OOPIC… 主要字段： 数值分析（65-XX）；流体力学（76-XX）；光学、电磁理论（78-XX）…
埃沃利诺 12份文件引用(2007–2021) 软件作者： Schmidhuber，J.、Wierstra，D.、Gomez，F.J。 相关软件： 发条RNN；LSTM；darch… 主要字段： 偏微分方程（35-XX）；统计学（62-XX）；数值分析（65-XX）…
IPSSIS公司 18篇文献引用(2011–2023) 软件作者： 西多纳斯（Xidonas）、帕纳吉奥蒂斯（Panagiotis）；乔治·马夫罗塔斯；佐普尼迪斯，君士坦丁；约翰·帕萨拉斯 相关软件： 电气；GTM；NBI… 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
科卡 引用于19份文件(2014–2023) 软件作者： D.莱扬。 相关软件： 效率；GitHub；ML… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；计算机科学（68-XX）
局部解算器 引用于19份文件(2010–2024) 软件作者： 蒂埃里·贝诺伊斯特（Thierry Benoist）；伯特兰·埃斯特隆；弗雷德里克·加迪；梅格尔，罗曼；卡里姆·努伊奥瓦 相关软件： CPLEX；彗星；SCIP… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
sCASP公司 18篇文献引用(2018–2023) 软件作者： 华金·阿里亚斯（Joaquin Arias）、曼努埃尔·卡罗（Manuel Carro）、埃尔默·萨拉查（Elmer Salazar）、凯尔·马普尔（Kyle Marple）、戈帕尔·古普塔（Gopal Gupta） 相关软件： 克林戈；ezcsp；GitHub… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
皮恩 8份文件引用(2011–2021) 软件作者： A.P.Davison、D.Brüderle、J.Eppler、J.Kremkow、E.Muller、D.Pecevski、L.Perrinet、P.Yger 相关软件： 巢穴；神经元；布莱恩… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
FASTCLIME公司 16篇文献引用(2014–2023) 软件作者： 庞浩天；刘，韩；罗伯特·范德贝 相关软件： 玻璃；QUIC；R、 … 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
OmpSs公司 10篇文献引用(2015–2023) 软件作者： Bueno J、Planas J、Duran A、Badia RM、Martorell X、Ayguade E等人。 相关软件： StarPU；强力胶；DLB… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；变形固体力学（74-XX）…
并行计算工具箱 16篇文献引用(2004–2022) 软件作者： MathWorks公司。 相关软件： Matlab；CUDA；MultiMATLAB… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
暂停 17篇文献引用(1980–2021) 软件作者： 威廉·库拉托（William G.Kurator）。；理查德·奥尼尔。 相关软件： 古罗比；SCS；CVXPY… 主要字段： 偏微分方程（35-XX）；流形和细胞复合体（57-XX）；数值分析（65-XX）…
QPSchur公司 17篇文献引用(2006–2022) 软件作者： 巴特利特，罗斯科A。；Lorenz T.比格勒。 相关软件： qpOASES；LOQO；QPOPT… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
MCGP公司 12份文件引用(2008–2021) 软件作者： Gal Katz；多龙·贝利德 相关软件： 棱镜；LTL2BA；旋转… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
灵丹妙药 16篇文献引用(1982–2005) 软件作者： Ramakrishnan，K.G。；密特拉·D·。 相关软件： FIDIL；GENTRAN公司；阿尔巴 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
qpDUNES公司 16篇文献引用(2015–2022) 软件作者： Janick Frasch；汉斯-约阿希姆·费雷尔；莫里茨·迪尔；米兰·武科夫 相关软件： qpOASES；ACADO；CVXGEN… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
Cells公司 9份文件引用(2009–2019) 软件作者： 佩雷斯，J.M。；Bellens，P。；巴迪亚，R.M。；J·拉巴特。 相关软件： 英特尔TBB；CUDA；等离子体… 主要字段： 偏微分方程（35-XX）；动力系统与遍历理论（37-XX）；数值分析（65-XX）…
OPTYap公司 14篇文献引用(2001–2022) 软件作者： 里卡多·罗查；费尔南多·席尔瓦；维托尔·桑托斯·科斯塔 相关软件： XSB；YAP-Prolog；YapOr… 主要字段： 计算机科学（68-XX）
四程序IP 15篇文献引用(2020–2023) 软件作者： 夏伟；胡安·维拉（Juan C.Vera）。；路易斯·祖卢亚加（Luis F.Zuluaga）。 相关软件： QuadProgBB；GitHub；BARON… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
SO-I公司 15篇文献引用(2014–2022) 软件作者： 朱利安·米勒；Christine A.Shoemaker。；罗伯特·皮切 相关软件： NOMAD公司；EGO；MLMSRBF… 主要字段： 统计学（62-XX）；数值分析（65-XX）；地球物理学（86-XX）…
TM-对齐 9份文件引用（2009年至2021年） 软件作者： Zhang，Y.，Skolnick，J。 相关软件： 爆破；PSI-爆炸；ClustalW… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…