×

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

线性代数库

425篇文献引用(1995–2023)
软件作者: L.S.布莱克福德。;Choi,J。;克利里,A。;D’Azevedo,E。;德梅尔,J。;迪尔隆,I。;Dongarra,J。;哈默林,S。;亨利,G。;佩蒂特,A。;斯坦利,K。;Walker,D。;R.C.惠利。
相关软件: LAPACK;BLAS;PLAPACK…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

特里利诺斯

424份文件引用(2003–2024)
软件作者: Trilinos贡献者
相关软件: PETSc;交易.ii;毫升…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

贝尔蒂尼

290份文件引用(2008–2024)
软件作者: D.Bates、J.Hauenstein、A.Sommese、C.Wampler
相关软件: PHCpack;麦考利2号;HOM4PS…
主要字段: 交换代数(13-XX);代数几何(14-XX);线性代数和多线性代数;矩阵理论(15-XX)…

SVM灯

214篇文献引用(2000–2023)
软件作者: 托尔斯滕·约阿希姆斯
相关软件: LIBSVM;UCI-ml;SVMTorch…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

可爱的

244篇文献引用(1994–2024)
软件作者: 邦加兹,I。;康涅狄格州A。;古尔德,N。;Toint博士。
相关软件: 切割机;L-BFGS;minpack…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

12月6日

236篇文献引用(2003–2023)
软件作者: 尼古拉斯·I.M.古尔德。;多米尼克·奥尔班;马桶,菲利普·L。
相关软件: 切割机;minpack;L-BFGS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);变异微积分和最优控制;优化(49-XX);数值分析(65-XX)…

VODE(旁白)

216篇文献引用(1989–2024)
软件作者: 彼得·N·布朗(Peter N.Brown)。;乔治·D·伯恩。;Alan C.Hindmarsh。
相关软件: 罗德斯;CHEMKIN公司;LSODE…
主要字段: 常微分方程(34-XX);偏微分方程(35-XX);数值分析(65-XX)…

TISEAN公司

165篇文献引用(1999–2023)
软件作者: Rainer Hegger、Holger Kantz、Thomas Schreiber
相关软件: Matlab;K2;科学…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

简化

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

MIM公司

137篇文献引用(1995–2024)
软件作者: 大卫·爱德华兹
相关软件: 玻璃;TETRAD公司;R、 …
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);统计学(62-XX)…

测试U01

127篇文献引用(2005–2024)
软件作者: P.L'Ecuyer;R.西蒙德
相关软件: MersenneTwister公司;迪哈德;NIST统计测试套件…
主要字段: 动力系统与遍历理论(37-XX);统计学(62-XX);数值分析(65-XX)…

序列密码

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

COIN或

109篇文献引用(2004年-2023年)
软件作者: http://www.coin-or.org/members.html
相关软件: CPLEX;SCIP;Ipopt…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

投掷

59篇文献引用(2005–2022)
软件作者: 帕特丽斯·戈德弗里德;尼尔斯·克拉伦德;Koushik Sen公司
相关软件: 可爱的;z3;KLEE…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

贞洁

57篇文献引用(2009–2024)
软件作者: 米格尔·O·伯纳乌。;拉斐尔·博尔达斯;帕希马纳坦,普拉斯;乔·皮特·弗朗西斯;乔纳森·库珀(Jonathan Cooper);阿兰·加里;大卫·J·加瓦汉。;布兰卡·罗德里格斯;南部,詹姆斯·A。;乔纳森·怀特利(Jonathan P.Whiteley)。
相关软件: CellML;PhysiCell;PETSc…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

FronTier公司

55份文件引用(2005–2024)
软件作者: J.Du、B.Fix、J.Glimm、X.Jia、X.Li、Y.Li和L.Wu
相关软件: 卡拉肯;河流;Gerris…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

StFinMetrics公司

52篇文献引用(2003–2024)
软件作者: 埃里克·齐沃特(Eric Zivot);王家辉
相关软件: R;预测;预测…
主要字段: 动力系统与遍历理论(37-XX);概率论与随机过程(60-XX);统计学(62-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)…

R度量

40篇文献引用(2008–2023)
软件作者: Rmetrics协会
相关软件: R;fGarch;基础…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

CONTSID公司

39篇文献引用(2003–2023)
软件作者: Garnier,H.、Gilson,M.、Bastogne,T.、Mensler,M。
相关软件: 船长;系统识别工具箱;Matlab…
主要字段: 实函数(26-XX);变异微积分和最优控制;优化(49-XX);计算机科学(68-XX)…

DEAP公司

21篇文献引用(2015–2023)
软件作者: 费利克斯·安托万·福廷;弗朗索瓦·马歇尔·德雷恩维尔;马克·安德烈·加德纳;马克·帕里索;克里斯蒂安·加涅
相关软件: 蟒蛇;Scikit;科学…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

半群

37篇文献引用(2011–2023)
软件作者: J.D.米切尔。
相关软件: 间隙;组织环境信息系统;Smallsemi…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);范畴理论;同调代数(18-XX)…

莫塞尔

37篇文献引用(2003–2021)
软件作者: Fair Isaac公司;科伦巴尼·Y、海普克·S。
相关软件: XPRESS;AMPL;游戏…
主要字段: 总体主题;藏品(00-XX);阶、格、有序代数结构(06-XX);数值分析(65-XX)…

JUnit公司

16篇文献引用(2002–2022)
软件作者: Yoonsik Cheon;Gary T.Leavens。
相关软件: JML;埃菲尔;ESC/Java…
主要字段: 概率论与随机过程(60-XX);数值分析(65-XX);计算机科学(68-XX)…

G流量

24篇文献引用(2017年-2023年)
软件作者: 马修斯,亚历山大·G·德·G。;范德威尔克,马克;汤姆·尼克森;藤井圭介;布库瓦拉斯,亚历克西斯;巴勃罗León-Villagrá;Ghahramani,Zoubin;詹姆斯·亨斯曼
相关软件: TensorFlow;亚当;GPy…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…

PYTHIA公司

28篇文献引用(1996–2018)
软件作者: 胡斯蒂斯,埃利亚斯·N。;Catlin,Ann C。;赖斯(John R.Rice)。;瓦西里奥斯·维里基奥斯(Vassilios S.Verykios)。;纳伦罗摩克里希南;霍斯蒂斯(Houstis)、凯瑟琳(Catherine E.)、维拉瓦拉纳(Weerawarana)、桑吉瓦(Sanjiva);胡斯蒂斯,埃利亚斯·N。;赖斯(John R.Rice)。;Joshi,Anupam;侯斯蒂斯,凯瑟琳·E。
相关软件: 珍珠包;高斯;PYTHIA8…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

现场跳闸

21篇文献引用(2012–2023)
软件作者: R.Oostenveld、P.Fries、E.Maris、J.Schoffelen
相关软件: Matlab;头脑风暴;EEGLAB…
主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…

S-TaLiRo型

26篇文献引用(2011–2023)
软件作者: 安普雷迪(Annpureddy),亚什旺斯(Yashwanth);刘,车;费内科斯(Fainekos,Georgios);桑卡拉纳拉亚南,斯里拉姆
相关软件: 违约;SpaceEx;流量*…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

项目Q

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

罗塞塔

21篇文献引用(1998–2021)
软件作者: 亚历山大·赫恩;Komorowski,Jan;安德烈·斯科伦(Andrzej Skowron);彼得·西纳克
相关软件: UCI-ml;LERS;RSES…
主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…

通用控制塔

21篇文献引用(2013–2023)
软件作者: Yang J、Lee SH、Goddard ME、Visscher PM
相关软件: PLINK;R;生物导体…
主要字段: 总体主题;藏品(00-XX);线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX)…

色域

18篇文献引用(2007–2023)
软件作者: 尤金·努德曼(Eugene Nudelman)、詹妮弗·沃特曼(Jennifer Wortman)、凯文·莱顿·布朗(Kevin Leyton-Brown)、约夫·肖姆(Yoav Shoham)
相关软件: 赌博;CPLEX;MINOS…
主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

SBR工具箱

20篇文献引用(2000–2019)
软件作者: 克里斯蒂安·比肖夫(Christian H.Bischof);布鲁诺·朗;孙小白
相关软件: LAPACK;ScaLAPACK;BLAS…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

UniTESK公司

在14份文件中引用(2002–2015)
软件作者: 俄罗斯科学院系统编程研究所
相关软件: SpecExplorer;投掷;可爱…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

GenSSI公司

20篇文献引用(2013–2023)
软件作者: Chis O、Banga J、Balsa-Canto E
相关软件: 雏菊;西安;COMBOS…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);统计学(62-XX)…

贝叶斯测试R

6篇文献引用(2020–2023)
软件作者: 多米尼克·马科斯基(Dominique Makowski)、丹尼尔·吕德克(Daniel Lüdecke)、马坦·本·沙查尔(Mattan S.Ben-Shachar)、迈克尔·威尔逊(Michael D.Wilson)、保尔·克里斯蒂安·比尔克纳(Paul-Christian Bürkner)、
相关软件: R;斯坦;性能…
主要字段: 交换代数(13-XX);测量和集成(28-XX);统计学(62-XX)…

qHiPSTER公司

10篇文献引用(2016–2024)
软件作者: Mikhail Smelyanskiy、Nicolas P.D.Sawaya、Alán Aspuru-Guzik
相关软件: 项目Q;液体;Python…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

rp.flm.测试

18篇文献引用(2019年至2024年)
软件作者: 库斯塔·阿尔贝托斯(Juan A.Cuesta-Albertos)。;加西亚-葡萄牙,爱德华多;Febrero-Bande,Manuel;文塞斯劳Gonz'alez-Manteiga
相关软件: fda(R);R;fda.usc…
主要字段: 总体主题;藏品(00-XX);概率论与随机过程(60-XX);统计学(62-XX)

SpecExplorer(SpecExplorer)

在14份文件中引用(2005–2018)
软件作者: 微软研究院
相关软件: N模型;Java PathFinder;TorX…
主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)

jInv公司

17篇文献引用(2016–2024)
软件作者: Lars Ruthotto、Eran Treister、Eldad Haber
相关软件: 朱莉娅;流行性腮腺炎;巴黎…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

起源

15篇文献引用(2008–2022)
软件作者: 郭文革;希亚马尔·佩达达
相关软件: MCFDR;MMC测试;bootlib…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

暂停

17篇文献引用(1980–2021)
软件作者: 威廉·G·库拉特。;理查德·奥尼尔。
相关软件: 古罗比;SCS;CVXPY…
主要字段: 偏微分方程(35-XX);流形和细胞复合体(57-XX);数值分析(65-XX)…

Agena风险

在14份文件中引用(2013–2023)
软件作者: 诺曼·芬顿;尼尔、马丁
相关软件: R;TETRAD公司;Elicitator…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

全球实验室

15篇文献引用(2008–2017)
软件作者: 穹顶,费伦茨
相关软件: BARON公司;椰子;LINDO…
主要字段: 历史与传记(01-XX);数值分析(65-XX);计算机科学(68-XX)…

gR基础

7份文件引用(2015–2024)
软件作者: 瑟伦·霍斯加德;Claus Dethlefsen;克莱夫·鲍舍
相关软件: R;处理;bn学习…
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

ITSM公司

16篇文献引用(1991年-2002年)
软件作者: 彼得·布罗克韦尔(Peter J.Brockwell);理查德·戴维斯
相关软件: 其mr;S-PLUS;MINITAB…
主要字段: 常微分方程(34-XX);概率论与随机过程(60-XX);统计学(62-XX)…

JFLAP公司

在14份文件中引用(2002–2023)
软件作者: 罗杰S,芬利T
相关软件: 自旋蛋白;GeoWin;FAUST…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

HTK公司

8份文件引用(1997–2007)
软件作者: 杨,S.J;剑桥大学工程系(CUED)
相关软件: 普拉特;拉斯塔马特;狮身人面像II…
主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

YOGI公司

13份文件引用(2010–2022)
软件作者: Aditya V.Nori、Sriram K.Rajamani、SaiDeep Tetali、Adityas V.Thakur
相关软件: z3;投掷;可爱…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LDR公司

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

m像素-深度

在14份文件中引用(2015–2022)
软件作者: 拉胡尔·加格;珍妮·加尔文;李廷文;斯里坎斯·潘纳拉
相关软件: OpenFOAM;跛行;亮点…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);粒子力学与系统(70-XX)…

q值

12份文件引用(2008–2023)
软件作者: John D.Storey、Andrew J.Bass、Alan Dabney、David Robinson
相关软件: multtest;R;GitHub…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);运筹学,数学规划(90-XX)…

SLTSTPAK公司

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

算法880

在11份文件中引用(2011年至2018年)
软件作者: O.A.Marques、C.Vo¨mel、J.W.Demmel、B.N.Parlett
相关软件: LAPACK;ScaLAPACK;MKL…
主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…

BOCOR公司

13份文件引用(2016–2023)
软件作者: 乔里斯·穆德
相关软件: 贝叶斯DA;BIEMS;BFpack…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

BPOLY公司

13份文件引用(2001–2019)
软件作者: 蔡一峰;Rida T.Farouoki。
相关软件: MultRoot;Matlab;GLEW…
主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…

DeepXlore公司

9份文件引用(2019–2023)
软件作者: 裴可欣、曹银芝、杨俊峰、苏曼·贾纳
相关软件: 深度愚人;ImageNet;重新连接…
主要字段: 偏微分方程(35-XX);统计学(62-XX);计算机科学(68-XX)…

N模型

10篇文献引用(2007–2021)
软件作者: 乔纳森·杰基;Veanes、Marqus;科林·坎贝尔(Colin Campbell);沃尔夫拉姆·舒尔特
相关软件: SpecExplorer;UniTESK公司;DART…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

拉斯科

在11份文件中引用(2009–2022)
软件作者: 永藏;永丰;郑刚(音译)
相关软件: Eigenstrat;JMP;R、 …
主要字段: 历史与传记(01-XX);统计学(62-XX);数值分析(65-XX)…

光谱

13份文件引用(2014–2023)
软件作者: 埃德加·多布里班
相关软件: 选择性收缩;QuEST;RMTool…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);概率论与随机过程(60-XX);统计学(62-XX)…

ATGen公司

6篇文献引用(2005–2022)
软件作者: 克里斯托夫·穆代克
相关软件: 快速检查;派克斯;路特斯…
主要字段: 计算机科学(68-XX)

UNIRAN公司

12份文件引用(1987–2013)
软件作者: Ken Marse、Stephen D.Roberts
相关软件: AS 183;测试U01;MRG32k3a…
主要字段: 数论(11-XX);统计学(62-XX);数值分析(65-XX)…

BED工具

7份文件引用(2012–2019)
软件作者: 昆兰AR,霍尔IM
相关软件: R;肥皂;IGV…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

fdANOVA公司

在11份文件中引用(2019年至2024年)
软件作者: 托马斯·戈雷基;乌卡斯·斯马加
相关软件: fda(R);R;fda.usc…
主要字段: 总体主题;藏品(00-XX);功能分析(46-XX);概率论与随机过程(60-XX)…

高功率激光器

7份文件引用(2017年-2023年)
软件作者: Petitet A、Whaley RC、Dongarra J、Cleary A
相关软件: LINPACK;mctoolbox;CUDA…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

McIPM公司

在11份文件中引用(2004–2017)
软件作者: 朱晓航;彭继明;塔马斯·特拉基;张国庆
相关软件: 溶胶;莫塞克;SeDuMi…
主要字段: 变异微积分和最优控制;优化(49-XX);数值分析(65-XX);运筹学、数学规划(90-XX)

Quicksilver公司

在11份文件中引用(2018年至2024年)
软件作者: Yang,X.、Kwitt,R.、Styner,M.、Niethammer,M。
相关软件: 公平.m;克莱尔;体素变形…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

SLEIGN公司

在11份文件中引用(1991–2023)
软件作者: Marco Marletta
相关软件: 雪橇;侦查2;算法700…
主要字段: 常微分方程(34-XX);动力系统与遍历理论(37-XX);算子理论(47-XX)…

SNARK09系列

在11份文件中引用(2012–2023)
软件作者: R.Davidi、G.T.Herman、J.Klukowska
相关软件: SNARK93;AIR工具;Matlab…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);算子理论(47-XX);数值分析(65-XX)…

安娜

8份文件引用(1986–2007)
软件作者: 大卫·勒克姆
相关软件: Ada95;火花;规范#…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

10篇文献引用(1995–2020)
软件作者: 埃斯特玛;H.汉森
相关软件: PcGive;GiveWin;OxMetrics…
主要字段: 动力系统与遍历理论(37-XX);算子理论(47-XX);统计学(62-XX)…

获取DDM

10篇文献引用(2016–2022)
软件作者: 蒂埃里,B。;维昂,A。;托尼尔,S。;El Bouajaji,M。;科林农,D。;Marsic,北。;安东尼,X。;格乌赞,C。
相关软件: Gmsh;获取DP;MUMPS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

斯巴克

9份文件引用(2008–2023)
软件作者: 范登伯格;迈克尔·弗里德兰德(Michael P.Friedlander);吉尔斯·亨尼芬特;费利克斯·J·埃尔曼;Rayan Saab;厄兹古尔·伊尔马兹
相关软件: FPC_AS;PDCO;SPGL1…
主要字段: 变异微积分和最优控制;优化(49-XX);凸和离散几何(52-XX);数值分析(65-XX)…

气泡探查器

8份文件引用(2019–2023)
软件作者: Peter Athron、Csaba Balázs、Michael Bardsley、Andrew Fowlie、Dylan Harries、Graham White
相关软件: 宇宙转换;任何气泡;FindBounce…
主要字段: 统计学(62-XX);光学、电磁理论(78-XX);量子理论(81-XX)…

曲线LP

9份文件引用(2017年-2023年)
软件作者: 杨亚光
相关软件: 溶胶;Matlab;PCx…
主要字段: 数值分析(65-XX);运筹学、数学规划(90-XX)

日本标准普尔

4份文件引用(2018–2022)
软件作者: 乔纳森之爱;拉维·塞尔克;马尔滕·马尔斯曼;塔希拉·贾米尔;Damian Dropmann;Josine Verhagen;亚历山大·李;昆廷·格罗诺;马丁·什米拉;Sacha Epskamp;多拉·马茨克(Dora Matzke);野生安妮莉丝;帕特里克·奈特;杰弗里·鲁德;理查德·莫雷;Eric-Jan Wagenmakers公司
相关软件: R;贝叶斯因子;SPSS…
主要字段: 特殊功能(33-XX);统计学(62-XX);数值分析(65-XX)

生活

9份文件引用(2009-2013年)
软件作者: 克里斯托夫·普鲁德霍姆
相关软件: 感觉++;PETSc;获取DP…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

LOTOSphere公司

6篇文献引用(2000–2015)
软件作者: T.Bolognesi、J.van de Lagemaat、C.Vissers
相关软件: LOTOS;并发工作台;HOL…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

多Java

在0个文档中引用
软件作者: 马,Y.-S。;Offutt,A.J。;Kwon,Y.右
相关软件: BPEL4WS;TVG;AETG…
主要字段:

净现值法

8份文件引用(2015–2022)
软件作者: 伍德罗·伯切特;阿曼达·埃利斯
相关软件: R;GenOrd;FRB…
主要字段: 统计学(62-XX);计算机科学(68-XX)

QT测试

9份文件引用(2015–2023)
软件作者: Regenwetter,M.,Davis-Stober,C.P.,Lim,S.H.,Guo,Y.,Popova,A.,Zwilling,C.,Cha,Y.-S Messner,W。
相关软件: 跨国公司;门户网站;R、 …
主要字段: 凸和离散几何(52-XX);统计学(62-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

暮光

6篇文献引用(2005–2012)
软件作者: 斯凯德,斯蒂芬妮;斯潘,雷纳
相关软件: 暮光;生物导体;R、 …
主要字段: 组合数学(05-XX);统计学(62-XX);数值分析(65-XX)…

单一模块性

9份文件引用(2013–2023)
软件作者: 马提亚斯·沃尔特;克劳斯·特鲁厄温
相关软件: 单一模块性测试;github;PDCO…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…

引导WPTOS

8份文件引用(2017–2021)
软件作者: 亚历山德罗·卡迪纳利;盖伊·P·纳森。
相关软件: WaveThresh4;wmtsa;哈菲斯…
主要字段: 欧氏空间(42-XX)的调和分析;统计学(62-XX);数值分析(65-XX)…

戴坦

6篇文献引用(2013–2022)
软件作者: Clause,J.、Li,W.、Orso,A。
相关软件: TAJ公司;TaintDroid;像素…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)…

ESSC公司

8份文件引用(2014–2020)
软件作者: 詹姆斯·威尔逊(James D.Wilson)。;王思敏;彼得·穆查。;尚卡尔,巴米迪;诺贝尔,安德鲁B。
相关软件: 根卢万;CoSaMP;qstest…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

FHT公司

8份文件引用(2008–2023)
软件作者: Dan Rockmore;格雷戈里·雷朋(Gregory Leibon);罗伯特·泰托
相关软件: DLMF;切布冯;SHTns…
主要字段: 特殊功能(33-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…

F外壳

6篇文献引用(2010–2016)
软件作者: 安德烈亚斯·霍尔泽(Andreas Holzer);克里斯蒂安·夏尔哈特;迈克尔·陶奇尼格(Michael Tautschnig);赫尔穆特·维思
相关软件: Java PathFinder;CPA检查员;RapiTime…
主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)

矩阵eQTL

6篇文献引用(2018年至2024年)
软件作者: 安德烈·沙巴林
相关软件: R;TreeQTL;野狗…
主要字段: 统计学(62-XX);生物学和其他自然科学(92-XX)

MissMech公司

6篇文献引用(2018–2023)
软件作者: 莫塔扎·贾姆什迪安(Mortaza Jamshidian);Siavash Jalal;卡姆登·詹森
相关软件: R;mvnormtest;阿米莉亚…
主要字段: 统计学(62-XX)

分子网

4份文件引用(2020–2023)
软件作者: 吴振琴、拉姆松达尔、埃文·范伯格、约瑟夫·戈麦斯、卡莱布·杰尼斯、阿内什·S·帕普、卡尔·莱辛、维杰伊·潘德
相关软件: PyTorch;Rdkit;锌…
主要字段: 组合数学(05-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

PLS图

7份文件引用(2004–2020)
软件作者: Chin,W.W;软建模公司。
相关软件: SmartPLS;XLStat;LISREL…
主要字段: 统计学(62-XX);数值分析(65-XX)

真相/SLC

4份文件引用(2001–2007)
软件作者: Martin Leucker;诺尔,托马斯
相关软件: mCRL;CADP;PlayGame游戏
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

验证

6篇文献引用(2021–2024)
软件作者: 托马索·德罗西(Tommaso Dreossi)、丹尼尔·弗雷蒙特(Daniel J.Fremont)、施洛蒙娜·戈什(Shromona Ghosh)、爱德华·金(Edward Kim)、哈迪·拉文巴赫(Hadi Ravanbakhsh)、马塞尔·巴斯奎兹·香拉特(Marcell Vazque
相关软件: Reluplex;NNV;阿波罗…
主要字段: 计算机科学(68-XX);系统论;控制(93-XX)

AirSim公司

5份文件引用(2020–2024)
软件作者: Shital Shah、Debadeepta Dey、Chris Lovett、Ashish Kapoor
相关软件: Matlab;MuJoCo;TORCS…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

Klocwork公司

2份文件引用(2007–2021)
软件作者: Rogue Wave软件公司。
相关软件: FindBugs;CodeSonar;斯坦斯…
主要字段: 计算机科学(68-XX)

卢特斯

5份文件引用(1999–2012)
软件作者: 杜布斯克,L。;Quabdeselam,F。;帕里西斯,I。;Richier,J.-L。;北卡罗来纳州佐安诺。
相关软件: ATGen;卢斯特;网关…
主要字段: 计算机科学(68-XX)

MEGA4公司

6篇文献引用(2009–2018)
软件作者: 田村小一郎;乔尔·达德利;内正太;苏迪尔·库马尔
相关软件: MEGA;肌肉;clusterfind…
主要字段: 场论与多项式(12-XX);统计学(62-XX);数值分析(65-XX)…

节点py

6篇文献引用(2014–2022)
软件作者: 大卫·凯奇森
相关软件: Rk-opt;github;RODAS…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)

前缀

3份文件引用(2008–2016)
软件作者: Heer J、Card SK、Landay JA
相关软件: GVF;开放街道地图;地理地图…
主要字段: 统计学(62-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

筛选结果依据…

全部的 前5名

相关软件