Ipopt公司 930份文件引用(2005–2024) 软件作者: 安德烈亚斯·瓦希特(Andreas Waechter)、卡尔·莱尔德(Carl Laird) 相关软件: AMPL;SNOPT;CPLEX… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
SDPT3系统 767份文件引用(1986年至2024年) 软件作者: Toh,K.C。;托德,M.J。;TüTüncü,R.H。 相关软件: 塞杜米;YALMIP;CVX… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
交易.ii 723份文件引用(1999–2024) 软件作者: Bangerth W、Hartman R、Kanschat G 相关软件: 特里利诺斯;PETSc;测试… 主要字段: 偏微分方程(35-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
玻璃制品 641份文件引用(2008–2024) 软件作者: 拉胡尔·马祖姆德(Rahul Mazumder);特雷弗·哈斯蒂;J.弗里德曼,T。;R.蒂比拉尼 相关软件: R;glmnet;巨大… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
TETRAD公司 483份文件引用(1993–2024) 软件作者: 克拉克·格雷摩尔(Clark Glymour);理查德·谢恩斯(Richard Scheines);彼得·斯皮特斯;约瑟夫·拉姆齐 相关软件: pcalg;R;bn学习… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);统计学(62-XX)…
Nuprl公司 418份文件引用(1986–2023) 软件作者: R.L.Constable、S.F.Allen、H.M.Bromley、W.R.Cleaveland、J.F.Cremer、R.W.Harper、D.J.Howe、T.B.Knoblock、N.P.Mendler、P.Panangaden、J.T.Sasaki、S.F Smith 相关软件: Coq;HOL;自动… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
生物导体 引用于253份文件(2003–2024) 软件作者: 开放式开发项目 相关软件: R;gcrma;edgeR… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
阿尔戈68 280篇文献引用(1969–2019) 软件作者: van Wijngaarden,A.作者简介;梅勒鲁,B.J。;Peck,J.E.L。;科斯特,C.H.A。;辛佐夫,M。;Lindsey,C.H。;Meertens,L.G.L.T。;费斯克,R.G。 相关软件: ALGOL 60;Simula 67;Ada95… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…
邦明 235篇文献引用(1995–2023) 软件作者: 皮埃尔·博纳米;Lorenz T.Biegler。;Andrew R.康涅狄格。;科努约尔,热拉尔;格罗斯曼,伊格纳西奥·E·。;卡尔·D·莱尔德。;Jon Lee;安德里亚·洛迪;弗朗索瓦·马戈;尼古拉斯·萨瓦亚;安德烈亚斯·瓦赫特 相关软件: Ipopt;CPLEX;SCIP… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
针织衫 219篇文献引用(2003–2024) 软件作者: 青蒿;Ziena Optimization,R.Byrd,J.Nocedal,R.Waltz 相关软件: Ipopt;SNOPT;AMPL… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…
DUNE公司 191份文件引用(2006–2023) 软件作者: P.Bastian、M.Blatt、A.Dedner、C.Engwer、R.Klöfkorn、R.Kornhuber、M.Ohlberger、O.Sander 相关软件: PDELab;交易.ii;DuMuX… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
快速排序 179份文件引用(1962–2023) 软件作者: C.A.R.霍尔。;塞奇威克,R 相关软件: 查找;heapsort;算法347… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
SDPLR公司 175份文件中引用(1990–2024) 软件作者: Samuel Burer、Renato Monteiro、Changhui Cho 相关软件: SDPT3;塞杜米;CSDP… 主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
RStan(RStan) 133篇文献中引用(2015–2024) 软件作者: 郭继强;等。 相关软件: R;rstan;斯坦… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
RcppArmadillo公司 70篇文献引用(2012–2023) 软件作者: 罗曼·弗朗索瓦(Romain Francois)、德克·埃德布特尔(Dirk Eddelbuettel)、道格·贝茨(Doug Bates) 相关软件: R;Rcpp;犰狳… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
C-XSC 2.0版 128篇文献引用(1979–2023) 软件作者: 沃纳·霍夫舒斯特;沃尔特·克雷默;R.克拉特 相关软件: C-XSC;国际实验室;进入PT_90… 主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…
cdd(光盘) 130篇文献引用(1996年-2023年) 软件作者: 福田康美 相关软件: 多品牌;格凡;cddplus… 主要字段: 代数几何(14-XX);凸和离散几何(52-XX);计算机科学(68-XX)…
SETHEO公司 118篇文献引用(1990–2022) 软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。 相关软件: TPTP;水獭;SPASS… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);数值分析(65-XX)…
帕拉梅什 109篇文献引用(2000–2023) 软件作者: P.MacNeice、K.M.Olson、C.Mobarry、R.de Fainchtein、C.Packer 相关软件: Chombo;闪光;Gerris… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
MINL库 109篇文献引用(2002–2023) 软件作者: Michael R.Bussieck。;阿恩·斯托尔伯格(Arne Stolbjerg Drud);亚历山大·米罗斯 相关软件: SCIP;Ipopt;BARON… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
吉纳碳 92份文件引用(2002–2024) 软件作者: 欧洲专利局(EPO);C.W.Bauer、A.Frink、R.Kreckel 相关软件: 表格;雷杜泽;火灾… 主要字段: 复变量函数(30-XX);几何(51-XX);数值分析(65-XX)…
PASCAL-XSC公司 99篇文献引用(1991–2022) 软件作者: Klatte,R.、Kulisch,U.、Neaga,M.、Ratz,D.、Ullrich,Ch、Januschke,P.、Ratz,D。 相关软件: C-XSC;C-XSC 2.0;ACRITH-XSC… 主要字段: 近似和展开(41-XX);数值分析(65-XX);计算机科学(68-XX)…
seL4级 92份文件引用(2009–2023) 软件作者: Klein,G.、Elphinstone,K.、Heiser,G.,Andronick,J.、Cock,D.、Derrin,P.、Elkaduwe,D.、Engelhardt,K.,Kolanski,R.、Norrish,M.、Sewell,T.、Tuch,H.、Winwood,S。 相关软件: Isabelle/HOL;Coq;伊莎贝尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);线性代数和多线性代数;矩阵理论(15-XX)…
rstan公司 89份文件引用(2017–2024) 软件作者: 郭继强、乔纳·加布里、本·古德里奇、丹尼尔·李、科兹托夫·萨克雷吉达、奥列格·斯克莱尔、延斯·奥赫施莱格尔·阿基约希、哈德利·威克姆、乔尔·德古兹曼、约翰·弗莱彻、托马斯·海勒、埃里克·尼伯勒 相关软件: RStan;R;斯坦… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
SDPNAL公司+ 94份文件引用(2014–2024) 软件作者: 杨柳琴;孙德峰;杜金川 相关软件: SDPT3;塞杜米;QSDPNAL… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);统计学(62-XX)…
查找 90篇文献引用(1972–2023) 软件作者: C.A.R.霍尔 相关软件: 快速分拣;算法347;任天堂中位数… 主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…
赛马拉松 54篇文献引用(2008–2023) 软件作者: Behnel,S.、Bradshaw,R.、Dalcín,L.、Florisson,M.、Makarov,V.、Seljebotn,D.S。 相关软件: 蟒蛇;数字Py;科学… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
STL公司 72份文件引用(1997–2021) 软件作者: 大卫·穆瑟(David R.Musser)、亚历山大·斯捷潘诺夫(Alexander Stepanov) 相关软件: 促进;增强C++库;CGAL… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…
GenStat公司 71篇文献引用(1984–2022) 软件作者: VSN国际;Payne,R.W.、Murray,D.A.、Harding,S.A.、Baird,D.B.、Soutar,D.M。 相关软件: R;SAS;ASReml… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
科莱姆 65篇文献引用(2000–2023) 软件作者: 德尼古拉,R。;法拉利,G.L。;普格利泽,R。 相关软件: 琳达;克拉瓦;SCEL… 主要字段: 数学逻辑与基础(03-XX);一般拓扑(54-XX);计算机科学(68-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)…
SSVM(SSVM) 67篇文献引用(2001–2023) 软件作者: Lee,Yuh-Jye;O.L.,Mangasarian。 相关软件: UCI-ml;RSVM;LIBSVM… 主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
ADBASE公司 64篇文献引用(1983–2019) 软件作者: 斯图尔R.E。 相关软件: EFFACET公司;TRIMAP;BENSOLVE… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-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)…
SAMRAI公司 51篇文献引用(2002–2023) 软件作者: 理查德·霍农(Richard D.Hornung)。;斯科特·科恩。 相关软件: PETSc;炒作;帕拉梅什… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
OpenMx(OpenMx) 39篇文献引用(2006–2023) 软件作者: 史蒂文·博克(Steven Boker);迈克尔·尼尔;赫尔敏·梅斯(Hermine Maes);迈克尔·王尔德;迈克尔·施皮格尔(Michael Spiegel);蒂莫西·布里克;间谍,杰弗里;雷恩·埃斯塔布鲁克;莎拉·肯尼;蒂莫西·贝茨(Timothy Bates);梅塔,帕拉斯;约翰·福克斯 相关软件: R;Mplus;熔岩… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
阿尔法ECP 51篇文献引用(2002–2022) 软件作者: Westerlund T。;波恩·R。 相关软件: 邦明;BARON公司;Ipopt… 主要字段: 凸和离散几何(52-XX);统计学(62-XX);数值分析(65-XX)…
二次规划优化函数 39篇文献引用(2007–2024) 软件作者: A.图拉赫;安德烈亚斯·温格尔 相关软件: R;科恩拉布;卡帕拉布… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
新鲜ml 在48份文件中引用(2003–2021) 软件作者: Shinwell,M.R.、Pitts,A.M.、Gabbay,M。 相关软件: Coq;名义上的伊莎贝尔;Twelf… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
QSDP公司 50篇文献引用(2006–2023) 软件作者: Kim-Chuan Toh;R.H.Tutucu;M.J.托德 相关软件: SDPT3;QSDPNAL;Matlab… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…
跳苏格兰威士忌 在48份文件中引用(1971–2024) 软件作者: A.R.古雷。 相关软件: 罗德斯;DLMF;COMSOL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
VRP溶剂 44篇文献引用(2019–2023) 软件作者: 佩索阿,A.,萨迪科夫,R.,乌恰,E.,范德贝克,F。 相关软件: VRP;BaPCod;CVRPSEP… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
灵活的 36篇文献引用(2017–2023) 软件作者: 佩里·德瓦尔平(Perry de Valpine)、克里斯托弗·帕西奥雷克(Christopher Paciorek)、丹尼尔·图雷克(Daniel Turek)和克利夫·安德森·伯格曼(Cliff Anderson-Bergman)、邓肯·坦普尔·朗 相关软件: R;斯坦;卡爪… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
QSDPNAL公司 引用于40篇文献(2016–2024) 软件作者: Li,X.D.,Sun,D.F.,Toh。K.-C.公司。 相关软件: SDPNAL+;QSDP;SDPT3… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
近似值 37篇文献引用(2011–2023) 软件作者: 卢西安·布索尼乌 相关软件: ElemStatLearn;Scikit;Python… 主要字段: 变异微积分和最优控制;优化(49-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
同位素 32篇文献引用(2012–2023) 软件作者: de Leeuw,J.、Hornik,K.、Mair,P。 相关软件: R;Iso;coneproj… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…
MoDeST公司 引用于33份文件(2001–2022) 软件作者: 佩德罗·R·D’Argenio。;霍尔格赫尔曼斯;Joost-Pieter Katoen;里克·克拉伦 相关软件: 棱镜;Uppaal;高科技… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
COLAMD公司 34份文件引用(2000–2022) 软件作者: Timothy A.戴维斯。;约翰·吉尔伯特(John R.Gilbert)。;斯特凡·拉里莫尔。;Ng、Esmond G。 相关软件: 稀疏矩阵;Matlab;UMFPACK… 主要字段: 组合数学(05-XX);偏微分方程(35-XX);概率论与随机过程(60-XX)…
DSPCA公司 在35份文件中引用(2005–2015) 软件作者: 亚历山大·阿斯普雷蒙特(Alexandre d'Aspremont)、劳伦特·埃尔·加维(Laurent El Ghaoui)、迈克尔·乔丹(Michael I.Jordan)、格特·兰克里特(Gert R.G.Lanckriet)、罗尼·卢斯 相关软件: 塞杜米;SDPT3;SDPLR… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
ZQPCVX公司 34份文件引用(1985–2022) 软件作者: M.J.D.鲍威尔。 相关软件: QPSchur公司;QPOPT;MA57… 主要字段: 变异微积分和最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…
Cg公司 18篇文献引用(2006–2012) 软件作者: 威廉·R·马克;R.Steven Glanville;库尔特·阿克利(Kurt Akeley);马克·基尔加德 相关软件: CUDA;OpenGL;OpenCL… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
CVXR公司 27篇文献引用(2019–2023) 软件作者: 傅安琪(Anqi Fu)、巴拉苏布拉曼尼亚人(Balasubramanian Narasimhan)、斯蒂芬·博伊德(Stephen Boyd) 相关软件: CVX;CVXPY;R、 … 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
dSPIN公司 22篇文献引用(2000–2014) 软件作者: Demartini,C.,Iosif,R.,Sisto,R。 相关软件: 自旋蛋白;班德拉;Java PathFinder… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
INTBIS公司 31份文件引用(1990–2018) 软件作者: Kearfott,R.Baker;曼努埃尔三世诺沃亚 相关软件: INTLIB;IbexOpt;数值… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
POMDP公司 30篇文献引用(2001–2023) 软件作者: 安东尼·卡桑德拉。 相关软件: 棱镜;风暴;古罗比… 主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
刚毛 28篇文献引用(1986–2023) 软件作者: 施瓦茨,J.T。;杜瓦,R.B.K。;杜宾斯基,E。;肖恩伯格,E。 相关软件: Z;JSetL;裁判… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);一般代数系统(08-XX)…
伊甸园 23篇文献引用(2001–2018) 软件作者: U.Klusik、Y.Ortega-Mallén、R.Peña 相关软件: 哈斯克尔;胶;GHC… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
PAKCS公司 25篇文献引用(1994–2020) 软件作者: M.Hanus、S.Antoy、B.Braßel、M.Engelke、K.Höppner、J.Koj、P.Niederau、R.Sadre、F.Steiner 相关软件: 玩具;咖喱;哈斯克尔… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
电子控制面板 20篇文献引用(2015–2023) 软件作者: Nicholas A.James、Wenyu Zhang、David S.Matteson 相关软件: 转折点;wbs;R、 … 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);地球物理学(86-XX)…
FDR标签 22篇文献引用(2016–2023) 软件作者: 李,豪森;阿克塞尔·蒙克;席琳,汉内斯 相关软件: wbs;R;早餐… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);运筹学,数学编程(90-XX)…
mipmatch公司 27篇文献引用(2012–2023) 软件作者: Jos'e R.祖比扎雷塔。 相关软件: DOS;精细平衡;nbpMatching… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
BoTorch公司 23篇文献引用(2021–2024) 软件作者: 马克西米利安·巴兰达(Maximilian Balandat)、布莱恩·卡勒(Brian Karrer)、丹尼尔·江泽民(Daniel R.Jiang)、塞缪尔·道尔顿(Samuel Daulton)、本杰明·莱瑟姆(Benjamin Letham)、安德鲁·戈登·威尔 相关软件: PyTorch;薄荷;GPyTorch… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
色度 24篇文献引用(2009–2023) 软件作者: 爱德华兹,R.G。;乔,B。 相关软件: 量子点;TwoHadronsInBox;TRLan… 主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…
达卡波 15篇文献引用(2009–2023) 软件作者: Blackburn,S.M.、Garner,R.、Hoffman,C.、Khan,A.M.、McKinley,K.S.、Bentzur,R.,Diwan,A.、Feinberg,D.、Frampton,D.、Guyer,S.Z.、Hirzel,M.、Hosking,A.、Jump,M.,Lee,H.、Moss,J.E.B.、Phansalkar,A.、Stefanovic,D.、VanDrunen,T.、von Dincklage,D.和Wiedermann,B 相关软件: 烟尘;方面J;SPECjvm2008… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
PolyTOIL公司 19份文件引用(1997–2014) 软件作者: Bruce,K.,Schuett,A.,van Gent,R.,Fiech,A。 相关软件: 羽量级Java;埃菲尔;Smalltalk… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
阿尔法赫尔 20篇文献引用(2012–2022) 软件作者: Beatriz Pateiro-Lopez、Alberto Rodriguez-Casal 相关软件: R;几何;spatstat… 主要字段: 测量和集成(28-XX);概率论与随机过程(60-XX);统计学(62-XX)…
约束拉索 21篇文献引用(2018–2024) 软件作者: 布莱恩·R·盖恩斯。;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)
雪 21篇文献引用(2006–2022) 软件作者: 卢克·蒂尔尼(Luke Tierney);A.J.罗西尼。;李娜 相关软件: 雪;R;Rcpp… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
酶 3份文件引用(2019–2023) 软件作者: Hjorth Larsen,A。;Jörgen Mortensen,J。;Blomqvist,J。;卡斯泰利,I.E。;Christensen,R。;Dułak先生。;弗里斯·J。;格罗夫斯,M.N。;锤子,B。;哈格斯,C。;Hermes,E.D。;P.C.詹宁斯。;Bjerre Jensen,P。;科尔莫德,J。;Kitchin,J.R。;Leonhard Kolsbjerg,E。;14库巴尔,J。;Kaasbjerg,K。;Lysgaard,S。;Bergmann Maronsson,J。;Maxson,T。;Olsen,T。;Pastewka,L。;彼得森,A。;罗斯加德,C。;希奥茨,J。;舒特,O。;奇怪,M。;蒂格森,K。;Vegge,T。;Vilhemsen,L.公司。;Walter,M。;曾,Z。;雅各布森,K.W 相关软件: 蟒蛇;俾斯麦根;数字标识… 主要字段: 概率论与随机过程(60-XX);可变形固体力学(74-XX);流体力学(76-XX)…
EVPI公司 20篇文献引用(1997–2020) 软件作者: M.A.H.Dempster和R.T.Thompson 相关软件: MSLiP;GAMS;SLP-IOR… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
SBB公司 20篇文献引用(2002–2023) 软件作者: Bussieck,M.R.,Drud,A。 相关软件: BARON公司;邦明;Ipopt… 主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…
SIPLIB公司 20篇文献引用(2009–2023) 软件作者: S.Ahmed、R.Garcia、N.Kong、L.Ntaimo、G.Parija、F.Qiu、S.Sen 相关软件: CPLEX;DSP;PySP… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…
VORPAL公司 17篇文献引用(2004–2019) 软件作者: 切特·尼特(Chet Nieter);约翰·R·卡里。 相关软件: OSIRIS;快速采集;OOPIC… 主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)…
cminor(小) 17篇文献引用(2007–2016) 软件作者: A.W.阿佩尔、S.布拉齐。 相关软件: Coq;CompCert;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Dlib毫升 16篇文献引用(2014年-2023年) 软件作者: 戴维斯·金 相关软件: Scikit;蟒蛇;Matlab… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
Rmosek公司 12份文件引用(2016–2021) 软件作者: 亨利克·弗里伯格(Henrik Friberg),莫斯科 相关软件: 莫塞克;R;REBayes… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX)
中国科学院科学院 18篇文献引用(2018–2023) 软件作者: 华金·阿里亚斯(Joaquin Arias)、曼努埃尔·卡罗(Manuel Carro)、埃尔默·萨拉查(Elmer Salazar)、凯尔·马普尔(Kyle Marple)、戈帕尔·古普塔(Gopal Gupta) 相关软件: 克林戈;ezcsp;格林戈… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)
德尔芬 17篇文献引用(2003–2020) 软件作者: Schürmann,C.、Fontana,R.、Liao,Y.、Poswolsky,A。 相关软件: Twelf公司;Coq;白鲸… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
InterProScan公司 6篇文献引用(2009–2022) 软件作者: E.Quevillon、V.Silventoinen、S.Pillai、N.Harte、N.Mulder、R.Apweiler、R.Lopez 相关软件: 爆炸;PSI-爆炸;UniProt… 主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…
SoDA公司 17篇文献引用(2004–2023) 软件作者: 约翰·钱伯斯。 相关软件: R;晶格;质量(R)… 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
FASTCLIME公司 16篇文献引用(2014年-2023年) 软件作者: 庞浩天;刘,韩;罗伯特·范德贝 相关软件: 玻璃;QUIC;R、 … 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
FODD-计划 15篇文献引用(2008–2022) 软件作者: Joshi,S。;R.卡顿。 相关软件: FluCaP;图形平面图;高尔夫… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
GDB公司 15篇文献引用(1998–2023) 软件作者: R.Stallman;R.佩奇 相关软件: 瓦尔格林德;自旋蛋白;日晷… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
mlr3号机组 6篇文献引用(2021–2023) 软件作者: Michel Lang、Bernd Bischl、Jakob Richter、Patrick Schratz、Giuseppe Casalicchio、Stefan Coors、Quay Au、Martin Binder 相关软件: R;Scikit;mlr… 主要字段: 统计学(62-XX);计算机科学(68-XX)
Mtac公司 16篇文献引用(2013–2021) 软件作者: Ziliani,贝塔;德里克·德雷尔(Derek Dreyer);Krishnaswami,Neelakantan R。;阿列克桑达尔·纳内夫斯基;维克托·瓦菲亚迪斯 相关软件: Coq;阿格达;Idris… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
pyMDO公司 13份文件引用(2008–2018) 软件作者: 内森·特福德。;Joaquim R.R.A.Martins。 相关软件: SNOPT;蟒蛇;科学工具… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
pyOpt选项 14篇文献引用(2012–2023) 软件作者: 鲁本·佩雷斯(Ruben E.Perez)。;彼得·詹森(Peter W.Jansen)。;Joaquim R.R.A.Martins。 相关软件: SNOPT;顶部.m;Python… 主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);变形固体力学(74-XX)…
Cells公司 9份文件引用(2009–2019) 软件作者: 佩雷斯,J.M。;Bellens,P。;巴迪亚,R.M。;J·拉巴特。 相关软件: 英特尔TBB;CUDA;血浆… 主要字段: 偏微分方程(35-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…
Emacs公司 15篇文献引用(1991–2013) 软件作者: 迈克尔·肖诺弗。;约翰·S·鲍伊(John S.Bowie)。;威廉·R·阿诺德。 相关软件: 不及物动词;OCaml;自动… 主要字段: 总体主题;藏品(00-XX);交换代数(13-XX);计算机科学(68-XX)
可视化DSD 15篇文献引用(2013年-2023年) 软件作者: Lakin,M.R.、Youssef,S.、Polo,F.、Emmott,S.和Phillips,A。 相关软件: 棱镜;z3;Yosys… 主要字段: 计算机科学(68-XX);生物学和其他自然科学(92-XX);系统论;控制(93-XX)…
ADMBB公司 7份文件引用(2019–2022) 软件作者: 罗、赫志;白晓迪;Lim,Gino;彭继明 相关软件: CPLEX;QuadProgBB;BARON… 主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
贝叶斯 在14份文件中引用(2014年-2023年) 软件作者: 克里斯蒂安·罗伯特 相关软件: R;拜耳主义;abcrf… 主要字段: 统计学(62-XX);计算机科学(68-XX);天文学和天体物理学(85-XX)…
BoogiePL公司 11份文件引用(2005–2020) 软件作者: DeLine,R.,Leino,K.R.M。 相关软件: z3;规格#;布吉… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)