×

找到871个软件包(结果1-100)

Turbo帕斯卡

165篇文献引用(1985–2017)
软件作者: 博兰德;菲利普·卡恩
相关软件: dBase;减少;COBOL…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…

协和式飞机

328份文件引用(1997–2024)
软件作者: 阿普尔盖特,大卫·L。;Robert E.Bixby。;瓦舍克·查塔尔;威廉·库克。
相关软件: TSPLIB;LKH;VRP…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

凯拉斯

265篇文献引用(2017–2024)
软件作者: F.胆汁
相关软件: TensorFlow;亚当;GitHub…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

高铁

302文件引用(1975–2023)
软件作者: 卢瑟福阿普尔顿实验室数值分析小组和其他专家
相关软件: 稀疏矩阵;Ipopt;MA57…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);可变形固体力学(74-XX)…

CoSaMP公司

267篇文献引用(2009年-2023年)
软件作者: Needell,D。;J.A.特罗普。
相关软件: PDCO;SPGL1;CVX…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

阿格达

233份文件引用(1999–2024)
软件作者: 乌尔夫·诺雷尔
相关软件: Coq;哈斯克尔;Isabelle/HOL…
主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

针织品

219篇文献引用(2003–2024)
软件作者: 青蒿;Ziena Optimization,R.Byrd,J.Nocedal,R.Waltz
相关软件: Ipopt;SNOPT;AMPL…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

DiffSharp(差异锐化)

216篇文献引用(2016–2024)
软件作者: Baydin,A.G.,Pearlmutter,B.A。
相关软件: 亚当;TensorFlow;DGM…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

SPASS公司

204篇文献引用(1996–2023)
软件作者: C Weidenbach、U Brahm、T Hillenbrand
相关软件: 吸血鬼;TPTP;E定理证明…
主要字段: 数理逻辑与基础(03-XX);群论与推广(20-XX);计算机科学(68-XX)…

神经元

146篇文献引用(1996–2023)
软件作者: Migliore,M。;坎尼亚,C。;W.W.莱顿。;Markram,Henry;M.L.海因斯。
相关软件: 巢穴;布莱恩;Pynn…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

系统标识工具箱

189份文件引用(1990–2023)
软件作者: Thomas B Schön;艾德里安·威尔斯;Brett Ninness;Lennart Ljung公司
相关软件: Matlab;船长;Wiener-Hammerstein基准…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

快速排序

179份文件引用(1962–2023)
软件作者: C.A.R.霍尔。;Sedgewick,右
相关软件: 查找;heapsort;算法347…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

优化软件基准

154份文件引用(1999–2023)
软件作者: 汉斯·米特尔曼
相关软件: 塞杜米;MIPLIB公司;SCIP…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

高斯二维码

150篇文献引用(2016–2024)
软件作者: 麦考特·M
相关软件: Matlab;rbf_qr;GitHub…
主要字段: 偏微分方程(35-XX);近似和展开(41-XX);功能分析(46-XX)…

简化

135份文件引用(2001–2023)
软件作者: Detlefs,D。;Nelson,G。;J·B·萨克斯
相关软件: z3;ESC/Java;规范#…
主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);组合数学(05-XX)…

更快的R-CNN

103篇文献引用(2017–2024)
软件作者: 任少清、何开明、罗斯·吉希克、孙健
相关软件: ImageNet;AlexNet公司;SSD…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)…

SETHEO公司

118篇文献引用(1990–2022)
软件作者: Letz,R。;舒曼,J。;拜耳,S。;比贝尔,W。
相关软件: TPTP;水獭;SPASS…
主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);数值分析(65-XX)…

序列密码

118篇文献引用(2006–2023)
软件作者: 坎奈尔,C.D。
相关软件: 三叉戟;粮食;米奇…
主要字段: 组合数学(05-XX);数论(11-XX);交换代数(13-XX)…

RMS公司

105份文献中引用(2017–2024)
软件作者: Tijmen Tieleman;杰弗里·希尔顿
相关软件: 亚当;阿达格拉德;阿达德尔塔…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

北京

100篇文献引用(2011–2023)
软件作者: 陈元美;阮凤琴。
相关软件: github;NTRU;fpLLL…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

R2 WinBUGS软件

75篇文献引用(2006–2022)
软件作者: 安德鲁·盖尔曼;西比尔·斯特茨;格雷戈·戈贾尼(Gregor Gorjanc);朱妮·科尔曼(Jouni Kerman);Uwe Ligges公司
相关软件: R;WinBUGS;CODA…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

供应商管理部

77份文件引用(1999–2024)
软件作者: 安德鲁·达尔克、威廉·汉弗莱、克劳斯·舒尔滕
相关软件: 格罗姆克斯;NAMD;CHARMM…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…

DRAT-饰件

56篇文献引用(2014–2023)
软件作者: 内森·韦兹勒(Nathan Wetzler);Heule,Marijn J.H。;沃伦·亨特。
相关软件: MiniSat;Isabelle/HOL;CaDiCaL…
主要字段: 数理逻辑与基础(03-XX);组合数学(05-XX);凸和离散几何(52-XX)…

SHERPA公司

50篇文献引用(2010–2024)
软件作者: T.格莱斯伯格;S.Hoche;F.克劳斯;M.Schonherr;S.Schumann;F Siegert;J.冬季
相关软件: MadGraph;PYTHIA8;Herwig++…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);量子理论(81-XX)…

EPANET公司

51份文件中引用(1994–2022)
软件作者: 环境保护局;刘易斯·罗斯曼
相关软件: 水力发电;Ipopt;SCIP…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

利迪亚

51份文件中引用(1995–2021)
软件作者: 英格丽德·贝尔;约翰·布赫曼(Johannes Buchmann);托马斯·帕帕尼科劳
相关软件: NTL;PARI/GP;MAPC…
主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…

CiaoPP公司

51份文件中引用(1999–2022)
软件作者: Hermenegildo M.V.、Bueno F.、Puebla G.、Lopez P。
相关软件: Ciao;SICStus公司;汞…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

米多里

46篇文献引用(2015–2023)
软件作者: 巴尼克,Subhadeep;安德烈·博格丹诺夫;Isobe,Takanori;石堤、京记;Hiwatari,Harunaga;秋田,Toru;弗朗西斯科·雷加佐尼
相关软件: 王子;极瘦的;存在…
主要字段: 组合数学(05-XX);数论(11-XX);代数几何(14-XX)…

12月运行

41篇文献引用(2000–2024)
软件作者: K.G.Chetyrkin、J.H.Kuhn、M.Steinhauser
相关软件: 表格;CRunDec;数学…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);量子理论(81-XX)…

工具链

43篇文献引用(2011–2023)
软件作者: Andrew W.Appel。;Robert Dockins;阿奎那·霍伯;Lennart Beringer;多兹,约西亚;戈登·斯图尔特;Blazy,Sandrine;泽维尔·勒罗伊
相关软件: Coq;VeriFast;锈蚀…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

javaPlex公司

42篇文献引用(2014–2022)
软件作者: Mikael Vejdemo-Johansson;亨利·亚当斯;安德鲁·陶兹
相关软件: 裂土器;古迪;英仙座…
主要字段: 动力系统与遍历理论(37-XX);代数拓扑(55-XX);统计学(62-XX)…

科科斯

37篇文献引用(2016–2024)
软件作者: C.R.Trott、M.Hoemmen、S.D.Hammond、H.C.Edwards、Sandia
相关软件: 特里利诺斯;github;库达…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…

信息技术计划

37篇文献引用(2003–2023)
软件作者: 杨荣文(R.W.Yeung)
相关软件: 港口;集群发现;NeNMF…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

丹宁色

31份文件引用(1999–2022)
软件作者: 胡塔拉,伊卡;Kärkkäinen,朱哈;Porkka、Pasi;汉努·托沃宁
相关软件: FastFD;UCI-ml;MS SQL Server…
主要字段: 阶、格、有序代数结构(06-XX);统计学(62-XX);计算机科学(68-XX)

烟尘

32篇文献引用(2004–2023)
软件作者: 瓦列·雷(Valleée-Rai,R.)、加格农(Gagnon,e.)、亨德伦(Hendren,L.J.)、兰姆(Lam,P.)、波明维尔(Pominville,P.,Sundaresan,V.)。
相关软件: github;达卡波;方面J…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

QBIC公司

25篇文献引用(1997–2018)
软件作者: W.Niblack、R.Barber、W.Equitz、M.Flickner、E.Glassman、D.Petkovic、P.Yanker、C.Faloutsos、G.Taubin
相关软件: VisualSEEk;查博特;PicHunter…
主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

同源性

34份文件引用(2001年至2024年)
软件作者: Jean-Guillaume杜马;弗兰克·赫肯巴赫(Frank Heckenbach);大卫·桑德斯;沃尔克马尔·韦尔克
相关软件: 间隙;CHomP;大写…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);代数拓扑(55-XX)…

副SCIP

32篇文献引用(2006–2023)
软件作者: Yuji Shinano、Tobias Achterberg、Timo Berthold、Stefan Heinz、Thorsten Koch
相关软件: SCIP;无人值守地面;MIPLIB…
主要字段: 变分法与最优控制;优化(49-XX);统计学(62-XX);数值分析(65-XX)…

千兆赫

33篇文献引用(1996–2024)
软件作者: 德莱克·荷尔特
相关软件: 间隙;岩浆;自动化…
主要字段: 组合数学(05-XX);群论与推广(20-XX);流形和细胞复合体(57-XX)…

XNOR-网络

28篇文献引用(2017–2023)
软件作者: Mohammad Rastegari、Vicente Ordonez、Joseph Redmon、Ali Farhadi
相关软件: ImageNet;AlexNet公司;二进制连接…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

折扣

31份文件引用(1996–2023)
软件作者: Denzinger,J。;Kronenburg,M。;舒尔茨,S。
相关软件: TPTP;吸血鬼;E定理证明…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

R2jags汽车

27篇文献引用(2011–2023)
软件作者: Yu-Sung Su、Masanao Yajima
相关软件: R;JAGS;WinBUGS…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

瓦茨

12份文件引用(2001–2023)
软件作者: D.Brooks、V.Tiwari、M.Martonosi
相关软件: 简单标尺;MiBench公司;SoftExplorer…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

zk-快照

32篇文献引用(2014–2024)
软件作者: 本·萨森,伊莱;亚历山德罗·基耶萨;特罗姆,埃兰;夫人维尔扎
相关软件: 皮诺奇;C的SNARK;GitHub…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

二进制网络

31份文件引用(2017–2024)
软件作者: 马蒂厄·库巴里奥(Matthieu Courbariaux)、伊泰·胡巴拉(Itay Hubara)、丹尼尔·苏德利(Daniel Soudry)、兰·埃尔·亚尼夫(Ran El-Yaniv)、约舒亚·本吉奥
相关软件: ImageNet;二进制连接;亚当…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

OPERA公司

30篇文献引用(1999–2020)
软件作者: 霍姆斯特罗姆(Kenneth Holmström);比约克曼,马蒂亚斯;埃里克·多特泽尔
相关软件: NLPLIB;TOMLAB公司;Matlab…
主要字段: 统计学(62-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…

runjags公司

20篇文献引用(2014–2023)
软件作者: Denwood,M.J。
相关软件: JAGS;R;WinBUGS…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

斯科特

27篇文献引用(1994–2017)
软件作者: 约翰·斯莱尼、阿诺德·比纳斯、卡利尔·霍奇森、大卫·普莱斯
相关软件: 水獭;TPTP;SETHEO…
主要字段: 总体主题;藏品(00-XX);数理逻辑与基础(03-XX);计算机科学(68-XX)

ASTRAL-II标准

26篇文献引用(2002–2024)
软件作者: S.Mirarab、T.Warnow
相关软件: ASTRID公司;巴基;RAxML…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

PICO公司

25篇文献引用(2001–2019)
软件作者: 乔纳森·埃克斯坦(Jonathan Eckstein);辛西娅·菲利普斯。;威廉·哈特(William E.Hart)。
相关软件: 交响乐;碱性磷酸酶;MIPLIB…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

项目Q

17篇文献引用(2019年至2024年)
软件作者: Damian S.Steiger、Thomas Häner、Matthias Troyer
相关软件: qHiPSTER;液体;Python…
主要字段: 偏微分方程(35-XX);计算机科学(68-XX);量子理论(81-XX)…

心理物理工具箱

17篇文献引用(2011–2023)
软件作者: D.布雷纳德
相关软件: 视频工具箱;Matlab;R、 …
主要字段: 统计学(62-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

SIDH公司

26篇文献引用(2016–2023)
软件作者: Costello,C.、Longa,P.、Naehrig,M。
相关软件: SIKE公司;github;曲线25519…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

TrueSkill公司

26篇文献引用(2008–2023)
软件作者: 拉尔夫·赫布里奇、汤姆·明卡、托尔·格雷佩尔
相关软件: 特鲁斯基尔;视觉UTA;PRMLT…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

布鲁斯

23篇文献引用(2007–2021)
软件作者: Uwe Ligges、Sibylle Sturtz、Andrew Gelman、Gregor Gorjanc;克里斯·杰克逊
相关软件: R;半标准杆;WinBUGS…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

多芯

在11份文件中引用(2010–2016)
软件作者: 西蒙·乌尔巴内克
相关软件: R;雪;CRAN任务视图…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

根求解(RootSolve)

19份文件引用(2011–2023)
软件作者: 卡琳·索塔特
相关软件: R;解算;BvpSolve…
主要字段: 常微分方程(34-XX);统计学(62-XX);数值分析(65-XX)…

TRIMAP公司

25篇文献引用(1987–2019)
软件作者: Climaco,J。;C.H.安图内斯
相关软件: ADBASE;BENSOLVE公司;视觉UTA…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

生物钟

10篇文献引用(2006–2021)
软件作者: Stajich,J.E.等人。
相关软件: R;PERL;生物蟒蛇…
主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);统计学(62-XX)…

ENZO公司

20篇文献引用(2009年-2023年)
软件作者: Bryan,G.L.、Norman,M.L.,O'Shea,B.W.、Abel,T.、Wise,J.H.、Turk,M.J.、Reynolds,D.R.、Collins,D.C.、Wang,P.、Skillman,S.W.、Smith,B.、Harkness,R.、Bordner,J.、Kim,J.-H.、Kuhlen,M.、Xu,H.、Goldbaum,N.、Hummels,C.、Kritsuk,A.G.、Tasker,E.、Skory,S.、Simpson,C.M.、Hahn、Oishi,J.S.、So,G.C.、Zhao,F.、Cen,R。,李,Y。,
相关软件: 闪光;RAMSES公司;冥王星…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

FlowNet公司

18篇文献引用(2018–2023)
软件作者: E.Ilg、N.Mayer、T.Saikia、M.Keuper、A.Dosovitskiy、T.Brox
相关软件: 亚当;EpicFlow;PWC-Net…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

电子电话

18篇文献引用(2003–2019)
软件作者: M Tomita、K Hashimoto、K Takahashi、T S Shimizu、Y Matsuzaki、F Miyoshi、K Saito S Tanida、K Yugi、J C Venter;C A和记黄埔
相关软件: GEPASI;KEGG;虚拟单元格…
主要字段: 数理逻辑与基础(03-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

GPSS世界

22篇文献引用(2005–2022)
软件作者: 分钟软件
相关软件: Globus工具包;
主要字段: 积分变换,运算微积分(44-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

CAS/PI公司

21篇文献引用(1992–2018)
软件作者: 诺伯特·卡伊勒
相关软件: Mathematica;枫树;AXIOM…
主要字段: 实函数(26-XX);计算机科学(68-XX)

纽尤尔

22篇文献引用(1992–2017)
软件作者: 马库斯·伯克哈特;安德烈亚斯·汉斯洛夫斯基(Andreas Hanselowski);埃伯哈德
相关软件: Matlab;SIMPACK;Simulink…
主要字段: 数值分析(65-XX);粒子和系统力学(70-XX);可变形固体力学(74-XX)…

cuRAND公司

20篇文献引用(2011–2022)
软件作者: NVIDIA公司
相关软件: CUDA;MersenneTwister;测试U01…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

名称2

17篇文献引用(1998–2016)
软件作者: 莱克西坎特·凯尔;Robert Skeel;米林德·班达卡;Robert Brunner;阿提拉·古尔索伊;Neal Krawetz;詹姆斯·菲利普斯;Aritom Shinozaki;克利须那州瓦拉达拉扬;克劳斯·舒尔滕
相关软件: 查姆;格罗姆克斯;NAMD…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

TVOC公司

20篇文献引用(2005–2022)
软件作者: 克拉克·巴雷特;方毅;本杰明·戈德伯格(Benjamin Goldberg);胡莹;阿米尔·普努利;勒诺尔·扎克
相关软件: CVT;Coq;z3…
主要字段: 数理逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)

Kinect公司

12份文件引用(2014–2023)
软件作者: 微软
相关软件: ChaLearn手势;锡;QP…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

性能确认4

19份文件引用(2019年-2023年)
软件作者: M.J.Kannwischer、J.Rijneveld、P.Schwabe、K.Stoffelen。
相关软件: github;凯伯;西克…
主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…

VORPAL公司

17篇文献引用(2004–2019)
软件作者: 切特·尼特(Chet Nieter);约翰·R·卡里。
相关软件: OSIRIS;快速采集;OOPIC…
主要字段: 数值分析(65-XX);流体力学(76-XX);光学、电磁理论(78-XX)…

威尔逊

13份文件引用(2018–2024)
软件作者: 杰森·埃比舍尔(Jason Aebischer)、杰基·库马尔(Jacky Kumar)、大卫·M·斯特劳布(David M.Straub)
相关软件: DsixTools;弗拉维奥;SMEFTsim…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);粒子力学与系统(70-XX)…

丹麦航空公司

18篇文献引用(2008–2016)
软件作者: 尤里·古里维奇
相关软件: 数据日志;粘结剂;平滑…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

公平竞争MP

13份文件引用(2012–2023)
软件作者: Ben-David,A.,Nisan,N.,Pinkas,B。
相关软件: 美味的;VMCrypt;VIFF…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

FunArray(趣味阵列)

18篇文献引用(2011–2021)
软件作者: 帕特里克·库索特(Patrick Cousot);拉迪亚·库索特;弗朗西斯科·洛戈佐
相关软件: ASTREE公司;z3;助推器…
主要字段: 阶、格、有序代数结构(06-XX);计算机科学(68-XX)

G教授

12份文件引用(1988–2021)
软件作者: 格雷厄姆,S.L.,凯斯勒,P.B.,麦库西克,M.K。
相关软件: 瓦尔格林德;GC;库达…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

J盒

16篇文献引用(2011–2023)
软件作者: Schäfer,J.,Poetzsch-Heffter,A。
相关软件: 防抱死制动系统;埃尔朗;甲酚…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

数学统计

18篇文献引用(2002–2009)
软件作者: 罗丝,科林;莫里·史密斯(Murray D.Smith)。
相关软件: Mathematica;枫树;R、 …
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

NGluon公司

17篇文献引用(2011–2020)
软件作者: Badger,S。;比德曼,B。;尤尔,P。
相关软件: CutTools;黑帽;HELAC-1回路…
主要字段: 交换代数(13-XX);代数几何(14-XX);几个复变量和分析空间(32-XX)…

第六部分

16篇文献引用(1990–2022)
软件作者: 舒曼,J.,莱茨,R。
相关软件: SETHEO公司;气象;TPTP…
主要字段: 数理逻辑与基础(03-XX);计算机科学(68-XX)

GRASP_质量保证计划

16篇文献引用(1996–2012)
软件作者: 莫里西奥·雷森德(Mauricio G.C.Resende)。;帕诺斯·帕达洛斯(Panos M.Pardalos)。;李勇
相关软件: QAPLIB;算法769;TTTPLOTS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

卡林

14篇文献引用(2011–2023)
软件作者: T.Lassmann、O.Frings、E.Sonnhammer
相关软件: 肌肉;ClustalW;马夫特…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

SLDRIVER系列

16篇文献引用(1997–2020)
软件作者: J.D.普莱斯。
相关软件: SLTSTPAK;雪橇;MATSLISE…
主要字段: 特殊功能(33-XX);常微分方程(34-XX);数值分析(65-XX)…

太阳能

16篇文献引用(1997–2019)
软件作者: S.托莱多,F.G.古斯塔夫森
相关软件: POOCLAPACK系列;普拉帕克;ScaLAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

备用BSOS

17篇文献引用(2018–2022)
软件作者: Tillmann Weisser;Jean B.Lasserre。;Toh,Kim Chuan
相关软件: GloptiPoly;无斑点;SeDuMi…
主要字段: 代数几何(14-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

遗忘管

16篇文献引用(2007–2022)
软件作者: 德克尔(Ofer Dekel);Shalev-Shwartz,Shai;歌手,约拉姆
相关软件: 佩加索斯;LIBSVM;RSVM…
主要字段: 功能分析(46-XX);概率论与随机过程(60-XX);统计学(62-XX)…

JSR公司

16篇文献引用(2013–2022)
软件作者: G.Vankeerberghen、J.M.Hendrickx、R.M.Jungers
相关软件: MPT;Matlab;SeDuMi…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);动力系统与遍历理论(37-XX);数值分析(65-XX)…

TEIRESIAS公司

9份文件引用(2004–2019)
软件作者: Rigoutsos I.,Floratos A。
相关软件: 普法姆;BioProspector;模因…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

循环

5份文件引用(2019年至2024年)
软件作者: 谷歌有限责任公司
相关软件: QISKit;Penny巷;Python…
主要字段: 数理逻辑与基础(03-XX);数论(11-XX);计算机科学(68-XX)…

德诺沃

15篇文献引用(2013–2023)
软件作者: 托马斯·埃文斯(Thomas M.Evans)、艾莉莎·斯塔福德(Alissa S.Stafford)、雷切尔·斯莱鲍(Rachel N.Slaybaugh)、凯文·克拉诺(Kevin T.Clarno)
相关软件: PETSc;维拉;比例尺6.2…
主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…

太阳网格引擎

5份文件引用(2010–2022)
软件作者: Gentzsch,W。
相关软件: MapReduce;泥浆;Hadoop…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)

WAPR(WAPR)

14篇文献引用(1995–2023)
软件作者: 巴里,D.A。;巴里,S.J。;P.J.库利甘·汉斯利。
相关软件: 算法443;枫树;兰伯特W…
主要字段: 拓扑群,李群(22-XX);特殊功能(33-XX);数值分析(65-XX)…

ANF公司

12份文件引用(2005–2017)
软件作者: C.R.Palmer、P.B.Gibbons、C.Faloutsos
相关软件: HyperLogLog;gSpan;WebGraph…
主要字段: 组合数学(05-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

CARP-CG公司

14篇文献引用(2010–2024)
软件作者: Dan Gordon;戈登、瑞秋
相关软件: 阿兹特克;阿兹特克OO;集团…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

DASWAM公司

14篇文献引用(1996–2022)
软件作者: Shen,Kish(基什·申)
相关软件: CiaoPP;Ciao;平滑…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

事实真相

14篇文献引用(2020–2023)
软件作者: Raymond K.Zhao、Ron Steinfeld、Amin Sakzad
相关软件: BLISS;GALATICS公司;GitHub…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

GPUTera排序

9份文件引用(2008–2017)
软件作者: Naga Govindaraju;吉姆·格雷;Ritesh Kumar;迪内什·马诺查
相关软件: CUDA;OpenCL;GPU-ABiSort…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)

启发式实验室

10篇文献引用(2004–2022)
软件作者: Stefan Wagner;迈克尔·阿芬泽勒
相关软件: ParaDisEO;欧洲法院;TSPLIB…
主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…

LDR公司

10篇文献引用(2009年至2022年)
软件作者: R.Dennis Cook、Liliana Forzani、Diego Tomassi
相关软件: R;Matlab;ldr…
主要字段: 统计学(62-XX);地球物理学(86-XX);生物学和其他自然科学(92-XX)

马特拉布

14篇文献引用(1969–2005)
软件作者: 恩格曼,C。
相关软件: 减少;伊斯兰教;数学…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

筛选结果依据…

全部的 前5名

相关软件