×

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

559份文件引用(2001–2023)
软件作者: Moskewicz,M.、Madigan,C.、Zhao,Y.、Zhang,L.和Malik,S
相关软件: MiniSat;伯克敏;SATO…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

SMT-LIB公司

218篇文献引用(2004–2024)
软件作者: 克拉克·巴雷特;莱昂纳多·德·莫拉;西尔维奥·兰伊斯;阿伦·斯塔姆(Aaron Stump);塞萨尔·蒂内利
相关软件: z3;CVC4;Yices…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

JuMP公司

194份文件引用(2017–2024)
软件作者: I.Dunning、J.Huchette、M.Lubin
相关软件: 朱莉娅;古罗比;Ipopt…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学编程(90-XX)…

大锤

163篇文献引用(2010–2023)
软件作者: Nik苏尔塔纳;Jasmin Christian布兰切特;劳伦斯·C·鲍尔森。
相关软件: Isabelle/HOL;伊莎贝尔;Coq…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX)…

优化软件基准

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

NAS并行基准测试

73篇文献引用(1992–2018)
软件作者: 美国国家航空航天局
相关软件: MPI/MPICH;磁粉检测;CUDA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

Quaffle餐厅

64篇文献引用(2003–2023)
软件作者: L.Zhang;S.Malik;普林斯顿大学SAT研究小组;Yinlei余
相关软件: 糠;DepQBF;QUBOS…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

流行标志

68篇文献引用(2005–2023)
软件作者: 艾德米尔,B.E.,博哈农,A.,费尔贝恩,M.,福斯特,J.N.,皮尔斯,B.C.,苏厄尔,P.,维蒂尼奥蒂斯,D.,瓦什伯恩,G.,威里奇,S.,兹丹塞维奇,S。
相关软件: Coq;Twelf公司;名义上的伊莎贝尔…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)…

基拉

57篇文献引用(2018–2024)
软件作者: Maierhöfer,P。;Usovitsch,J。;乌沃,P。
相关软件: 雷杜泽;火灾;LiteRed…
主要字段: 数值分析(65-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…

Velev SAT基准

50篇文献引用(2000–2021)
软件作者: 米罗斯拉夫·韦列夫
相关软件: 糠;SATO;伯克敏…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

叫做古迪辛

56篇文献引用(2014–2024)
软件作者: INRIA公司;克莱门特·玛丽亚;Jean-Daniel Boissonnat;马克·格利塞(Marc Glisse);玛丽埃特·伊维内克
相关软件: 裂土器;PHAT;酒神…
主要字段: 代数拓扑(55-XX);概率论与随机过程(60-XX);统计学(62-XX)…

柠檬

59篇文献引用(2013年-2023年)
软件作者: Balázs Dezsőa;Alpár Jüttner;佩特科瓦奇
相关软件: CPLEX;TSPLIB;古罗比…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

优化软件的决策树

56篇文献引用(1999–2022)
软件作者: 米特尔曼,H.D。;彼得·斯佩卢奇
相关软件: 优化软件基准;MIPLIB公司;CPLEX…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

基蒂

39篇文献引用(2013–2024)
软件作者: Geiger,A.、Lenz,P.、Stiller,C.、Urtasun,R
相关软件: ImageNet;MS-COCO;亚当…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

梅蒂斯_

58篇文献引用(1987–2023)
软件作者: Joe Leslie-Hurd;metis-users@gilith.com
相关软件: Isabelle/HOL;E定理证明器;TPTP…
主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);数理逻辑与基础(03-XX)…

迷你们

54篇文献引用(2005–2023)
软件作者: Jefferson,C.、Kotthoff,L.、Moore,N.、Nightingale,P.、Petrie,K.E.、Rendl,A。
相关软件: 间隙;微量锌;OEIS…
主要字段: 组合数学(05-XX);结合环与代数(16-XX);群论与推广(20-XX)…

流量*

49篇文献引用(2015–2024)
软件作者: Xin Chen、Erika Al brahám、Sriram Sankaranarayanan
相关软件: SpaceEx;d范围;高科技…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…

MiBench公司

30篇文献引用(2002–2019)
软件作者: Matthew Guthaus、Jeff Ringenberg、Todd Austin、Trevor Mudge、Richard Brown
相关软件: MediaBench;LLVM;SimpleScalar…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

RealPaver公司

51篇文献引用(2003–2017)
软件作者: 劳伦特·格兰维尔(Laurent Granvilliers)
相关软件: 数字;进入PT_90;监狱…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

GNMT公司

35篇文献引用(2018–2023)
软件作者: 吴永辉、迈克·舒斯特、陈志峰、奎克·V.乐、穆罕默德·诺鲁兹、沃尔夫冈·马切里、马克西姆·克里昆、袁曹、秦高、克劳斯·马切利、杰夫·克林纳、阿普瓦·沙阿、梅尔文·约翰逊、刘晓兵、Ł卡斯凯撒、斯蒂芬·古尔斯、加藤吉事、工藤隆、川秀都、基思·史蒂文斯、乔治·库里安、尼山特·帕蒂尔、王伟、克利夫·杨、杰森·史密斯,杰森·里萨(Jason Riesa)、亚历克斯·鲁德尼克(Alex Rudnick
相关软件: ImageNet;AlexNet;亚当…
主要字段: 近似和展开(41-XX);统计学(62-XX);计算机科学(68-XX)…

MiniMaxSat卫星

39篇文献引用(2008–2023)
软件作者: 费德里科·赫拉斯;哈维尔·拉罗萨;阿尔伯特·奥利弗拉斯
相关软件: 周六4j;最大HS;QMaxSAT…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-XX)…

MobileNetV2手机

32篇文献引用(2020年至2024年)
软件作者: Mark Sandler、Andrew Howard、Menglong Zhu、Andrey Zhmoginov、Liang-Chieh Chen
相关软件: ImageNet;AlexNet;MobileNets…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

RevLib版

37篇文献引用(2010–2023)
软件作者: Wille,R.、Große,D.、Teuber,L.、Dueck,G.W.、Drechsler,R。
相关软件: RevKit;QISKit;GitHub…
主要字段: 算子理论(47-XX);计算机科学(68-XX);量子理论(81-XX)…

烟尘

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

速度

36篇文献引用(2009–2024)
软件作者: 马齐埃里,I。;斯图帕齐尼,M。;吉多蒂,R。;斯梅尔齐尼,C。
相关软件: COSTA;防抱死制动系统;成本表…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

UnitWalk公司

引用于33份文件(2002–2023)
软件作者: 爱德华·赫施(Edward A.Hirsch)。;阿里斯特·科耶夫尼科夫
相关软件: 糠;SATO;伯克敏…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);统计力学,物质结构(82-XX)…

盖根

35篇文献引用(2004–2022)
软件作者: Daniel Fontijne;利奥·多斯特;蒂姆·鲍马
相关软件: 加洛普;CLUCalc;克利福德…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…

辉光

31份文件引用(2019年-2023年)
软件作者: Diederik P.Kingma,Prafulla Dhariwal
相关软件: 亚当;低碳所;nflows…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

SeaHorn公司

36篇文献引用(2015–2023)
软件作者: Gurfinkel,A.,Kahsai,T.,Komuravelli,A.,Navas,J.A。
相关软件: z3;垫片;CPA检查器…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

BEEM公司

22篇文献引用(2008–2023)
软件作者: 拉德克·佩拉内克
相关软件: 自旋蛋白;迪文尼;SPOT…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

ZKBoo公司

34份文件引用(2016–2023)
软件作者: 贾科梅利,I.,马德森,J.,奥兰迪,C。
相关软件: 利格罗;天秤座;libiop…
主要字段: 组合数学(05-XX);计算机科学(68-XX);量子理论(81-XX)…

公共管理硕士

30篇文献引用(2020年至2024年)
软件作者: Faramarzi,A。;海德丽内贾德,M。;米尔贾利利,S。;A.H.甘多米。
相关软件: GWO;WOA;SSA…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

垫片

30篇文献引用(2015–2023)
软件作者: 安维什·科穆拉维利(Anvesh Komuravelli);阿里·古芬克尔(Arie Gurfinkel);萨加·查基
相关软件: z3;CVC4;SeaHorn…
主要字段: 数学逻辑与基础(03-XX);数值分析(65-XX);计算机科学(68-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);数值分析(65-XX);计算机科学(68-XX)…

drp基准

28篇文献引用(2015–2023)
软件作者: Andrä,H.,Combaret,N.,Dvorkin,J.,Glatt,E.,Han,J.;Kabel,M.,Keehm,Y.,Krzikalla,F.,Lee,M.;Madonna,C.,Marsh,M.、Mukerjic,T.,Saenger,E.H.,Sainf,R.,Saxenac,N.;Rickera,S.,Wiegmann,A.,Zhanf,X。
相关软件: FFTHomPy;FFTW;MMMFEM…
主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…

基准

28篇文献引用(2005–2023)
软件作者: Stefan Ratschan;她,志坤
相关软件: RSOLVER公司;HSolver;高科技…
主要字段: 动力系统与遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…

遗迹

28篇文献引用(2010–2023)
软件作者: Aranha,D.F.,Gouvéa,C.P.L。
相关软件: github;SwiftEC;gmp…
主要字段: 数论(11-XX);代数几何(14-XX);计算机科学(68-XX)…

DLV2型

26篇文献引用(2017–2022)
软件作者: 阿尔维亚诺,马里奥;弗朗西斯科·卡利默里;多达罗、卡明;福斯科,戴维德;尼古拉·利昂内(Nicola Leone);西蒙娜·佩里(Simona Perri);弗朗西斯科·里卡;皮尔弗朗西斯科·维尔特里;Jessica Zangari
相关软件: 克林戈;WASP;扣…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

LUBM公司

18篇文献引用(2006–2022)
软件作者: 郭毅,潘振中,赫夫林J。
相关软件: SPARQL;耶拿;DBpedia…
主要字段: 组合数学(05-XX);计算机科学(68-XX)

CPU基准

25篇文献引用(2016–2024)
软件作者: PassMark®软件
相关软件: irace;DIMACS;LKH…
主要字段: 组合数学(05-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

MRST-AD公司

26篇文献引用(2016–2023)
软件作者: 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)…

巴黎证券交易所

7份文件引用(2010–2021)
软件作者: 比尼亚,C。;库马尔,S。;辛格,J.P。;Li,K。
相关软件: 溅射-2;ALPBench;LLVM…
主要字段: 数学逻辑与基础(03-XX);概率论与随机过程(60-XX);计算机科学(68-XX)…

AMUSE公司

24篇文献引用(2005–2021)
软件作者: 哦,是的,Mneimneh MN,Andraus ZS,Sakallah KA,Markov IL
相关软件: MUP;MiniSat;箔条…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

CCured公司

18篇文献引用(2002–2018)
软件作者: Necula,G.C.,McPeak,S.,Weimer,W。
相关软件: SLAM;投掷;Java PathFinder…
主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)

SPEC基准

11份文件引用(1992–2021)
软件作者: 标准绩效评估公司(SPEC)
相关软件: 爪哇格兰德;缓存审计;pwcet…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)

希尔伯特

23篇文献引用(2012–2021)
软件作者: Aurada M、Ebner M、Ferraz-Leite S、Mayr M、Goldenits P、Karkulik M等人。
相关软件: Matlab;BEM++;p1afem…
主要字段: 偏微分方程(35-XX);积分方程(45-XX);数值分析(65-XX)…

查斯基

22篇文献引用(2014–2023)
软件作者: 穆哈,N。;Mennink,B。;Van Herrewege,A。;渡边捷昭。;Preneel,B。;Verbauwhede,I。;Joux,A。;A.优素福。
相关软件: SPECK;西蒙;Salsa20…
主要字段: 组合数学(05-XX);数论(11-XX);计算机科学(68-XX)…

parDG公司

22篇文献引用(2007–2023)
软件作者: 丹尼斯·迪尔
相关软件: HE-E1GODF;PETSc;帕梅蒂斯…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

NuMVC公司

引用于20份文件(2013年-2023年)
软件作者: 蔡少伟;苏凯乐;罗川;阿卜杜勒·萨塔尔
相关软件: CCLS;CCASat;irace…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

DGL公司

8份文件引用(2021–2023)
软件作者: 王敏杰、大正、关干、李慕飞、叶子豪、马超、周锦菁、宋翔、肖天军、童和、张健、叶文明、乔治·卡里皮斯、张正
相关软件: PyTorch;蟒蛇;亚当…
主要字段: 组合数学(05-XX);数值分析(65-XX);计算机科学(68-XX)…

英里/平方英尺

引用于20份文件(2008–2022)
软件作者: Gaudry,P.,Thomé,E。
相关软件: 电子飞机控制系统;25519号曲线;eBASH…
主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…

BHOSLIB公司

19份文件引用(2011–2024)
软件作者: 柯旭
相关软件: DIMACS;禁忌搜索;QUALEX…
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

中国科学院科学院

18篇文献引用(2018–2023)
软件作者: 华金·阿里亚斯(Joaquin Arias)、曼努埃尔·卡罗(Manuel Carro)、埃尔默·萨拉查(Elmer Salazar)、凯尔·马普尔(Kyle Marple)、戈帕尔·古普塔(Gopal Gupta)
相关软件: 克林戈;ezcsp;格林戈…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);生物学和其他自然科学(92-XX)

VoxNet公司

17篇文献引用(2018–2023)
软件作者: 丹尼尔·马图拉纳;塞巴斯蒂安·谢勒
相关软件: PointNet;OctNet;ImageNet…
主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…

瞄准@形状

17篇文献引用(2008年至2020年)
软件作者:
相关软件: PcGets;ABC4EFT;CHOLMOD…
主要字段: 总体主题;藏品(00-XX);偏微分方程(35-XX);数值分析(65-XX)…

艾伯特

10篇文献引用(2021–2023)
软件作者: 兰振中、陈明达、古德曼、金佩尔、夏尔马、索里克特
相关软件: BERT;RoBERTa公司;格洛维…
主要字段: 统计学(62-XX);计算机科学(68-XX);系统论;对照(93-XX)

Nenex公司

18篇文献引用(2008–2017)
软件作者: 弗洛里安·朗辛(Florian Lonsing)、阿明·比埃尔(Armin Biere)
相关软件: DepQBF;sQueezeBF;罕见…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)

文本排名

16篇文献引用(2007–2023)
软件作者: Rada Mihalcea;保罗·塔劳
相关软件: 胭脂;BERT;RoBERTa…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

雾化器

16篇文献引用(2004–2021)
软件作者: 弗拉纳根C,弗伦德SN
相关软件: 速度记录;单轨;橡皮擦…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

关于++

17篇文献引用(2012–2022)
软件作者: B.D.Dudson、M.V.Umansky、X.Q.Xu、P.B.Snyder和H.R.Wilson
相关软件: TOKAM-3D;TOKAM3X;格里利斯…
主要字段: 偏微分方程(35-XX);积分方程(45-XX);数值分析(65-XX)…

扩展的MIQCP

15篇文献引用(2016–2022)
软件作者: 胡安·巴勃罗(Juan Pablo);伊恩·邓宁;乔伊·休切特;卢宾,迈尔斯
相关软件: CPLEX;古罗比;邦明…
主要字段: 数值分析(65-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

高性能混凝土

引用于9份文件(1999–2021)
软件作者: Saini,Subhash;Robert Ciotti;布莱恩·T·N·甘尼。;Thomas E.Spelce。;爱丽丝·科尼格斯(Alice Koniges);Dossa,Don;Adamidis、Panagiotis;罗尔夫·拉本塞夫纳(Rolf Rabenseifner);Sunil R.Tiyyagura。;马蒂亚斯·穆勒
相关软件: LINPACK;NAS平行基准;流…
主要字段: 数值分析(65-XX);计算机科学(68-XX)

赫梅尔布

15篇文献引用(2008–2024)
软件作者: 医学博士Mazzeo。;科文尼,P.V。
相关软件: 墨菲;帕拉博斯;OpenLB…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

kdtree++

16篇文献引用(2017–2023)
软件作者: Mossaiby,F。;Shojaei,A。;扎卡里奥托,M。;美国加尔瓦内托。
相关软件: PeriPy;HPX;Peridigm…
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

L1测试包

15篇文献引用(2011–2023)
软件作者: D.A.洛伦兹
相关软件: SPGL1;PDCO;NESTA…
主要字段: 算子理论(47-XX);变分法与最优控制;优化(49-XX);数值分析(65-XX)…

帕姆

15篇文献引用(2012–2023)
软件作者: B.Li、P.Zhao、S.Hoi、V.Gopalkrishnan
相关软件: 玉米;OLPS;亚当…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

TPOT公司

10篇文献引用(2018–2023)
软件作者: Randal S.Olson、Jason H.Moore
相关软件: Auto-WEKA;自动学习;Scikit…
主要字段: 总体主题;藏品(00-XX);统计学(62-XX);计算机科学(68-XX)…

新Dsc

15篇文献引用(2016–2023)
软件作者: 亚历山大·科贝尔(Alexander Kobel);Fabrice Rouillier公司;迈克尔·萨格拉洛夫
相关软件: 隔离;集群;仲裁…
主要字段: 组合数学(05-XX);代数几何(14-XX);复变量函数(30-XX)…

弧形面

引用于9份文件(2020–2023)
软件作者: 邓建康、贾果、薛念南、斯特凡诺斯·扎菲里奥
相关软件: FaceNet;PyTorch;LFW…
主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…

CSIsat卫星

在14份文件中引用(2009–2016)
软件作者: 德克·拜尔;达米安·祖弗里(Damien Zufferey);鲁帕克·马朱姆达尔
相关软件: FOCI;公主;金刚狼…
主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-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)…

kFOIL公司

在14份文件中引用(2007–2022)
软件作者: Landwehr,N.、Passerini,A.、De Raedt,L.、Frasconi,P。
相关软件: nFOIL;阿列夫;UCI-ml…
主要字段: 数学逻辑与基础(03-XX);功能分析(46-XX);统计学(62-XX)…

MLPACK公司

引用于9份文件(2013–2020)
软件作者: Ryan R.科廷。;詹姆斯·克莱恩(James R.Cline)。;矿渣,N.P。;3月,威廉·B。;Ram,Parikshit;Nishant A.梅塔。;格雷,亚历山大·G。
相关软件: UCI-ml;SciPy;Scikit…
主要字段: 测量和集成(28-XX);统计学(62-XX);数值分析(65-XX)…

MRAG-I2D型

15篇文献引用(2015–2023)
软件作者: 罗西内利,迭戈;巴巴克·赫贾齐亚·奥塞里尼;范·里斯,维姆;马蒂亚·加佐拉;迈克尔·伯格多夫(Michael Bergdorf);彼得罗·库穆塔科斯
相关软件: 墨菲;格里斯;AMROC…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…

投影Noether

15篇文献引用(2000–2019)
软件作者: 马克·朱斯蒂(Marc Giusti);Hägele,克莱门斯;勒塞夫(Lecerf)、格雷戈里(Grégoire);乔·马尔坎德;布鲁诺·萨维
相关软件: 克罗内克;单一;FGb…
主要字段: 场论与多项式(12-XX);交换代数(13-XX);代数几何(14-XX)…

第3章

13份文件引用(2015–2023)
软件作者: Trinh MT、Chu DH、Jaffar J
相关软件: 陌生人;Z3str3;z3…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

旗鱼

13份文件引用(2014–2022)
软件作者: Januszewski,M。;M.科斯特。
相关软件: CUDA;LUDWIG;帕拉博斯…
主要字段: 数值分析(65-XX);流体力学(76-XX);经典热力学,传热(80-XX)…

SchNet公司

在14份文件中引用(2019年-2023年)
软件作者: Schütt,K。;Kinderman,P-J;Felix,H.E S。;Chmiela,S。;Tkatchenko,A。;穆勒,K-R
相关软件: 亚当;TensorFlow;ImageNet…
主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…

紫苏

在14份文件中引用(2007–2022)
软件作者: 马库斯·贝勒
相关软件: Matlab;归一化;PPL…
主要字段: 组合数学(05-XX);凸和离散几何(52-XX);计算机科学(68-XX)…

聪明人

10篇文献引用(2020–2023)
软件作者: N.Papernot、I.Goodfellow、R.Shetsley、R.Feinman、P.McDaniel
相关软件: CIFAR;深度愚人;PyTorch…
主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

科根(Cogent)

11份文件引用(2005–2018)
软件作者: 库克,拜伦;Daniel Kroening;娜塔莎·莎莉吉娜
相关软件: 卫星抗体;简化;旋转…
主要字段: 数学逻辑与基础(03-XX);偏微分方程(35-XX);数值分析(65-XX)…

DPPD公司

在14份文件中引用(1998–2015)
软件作者: Leuschel,M。
相关软件: 幼儿保育和教育;汞;登录…
主要字段: 计算机科学(68-XX)

修复匹配

10篇文献引用(2021–2023)
软件作者: Kihyuk Sohn、David Berthelot、Chun-Liang Li、Zizhao Zhang、Nicholas Carlini、Ekin D.Cubuk、Alex Kurakin、Han Zhang和Colin Raffel
相关软件: ReMixMatch;MixMatch;CIFAR…
主要字段: 组合数学(05-XX);偏微分方程(35-XX);统计学(62-XX)…

网格卫星

10篇文献引用(2006–2019)
软件作者: 科拉巴赫、瓦希德;里奇·沃尔斯基
相关软件: 糠;SATO;PSATO…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

nbodykit公司

12份文件引用(2019年-2023年)
软件作者: Nick Hand、Yu Feng、Florian Beutler、Yin Li、Chirag Modi、Uros Seljak、Zachary Slepian
相关软件: 类别;ECOSMOG;L-PICOLA…
主要字段: 粒子和系统力学(70-XX);光学、电磁理论(78-XX);量子理论(81-XX)…

反应堆反应堆

在14份文件中引用(2018–2023)
软件作者: 埃尔瑟,韦特;Lan,Ti-Yen;塔米尔·本多利
相关软件: 相位提升;导缆器流量;PhaseMax…
主要字段: 欧氏空间(42-XX)的调和分析;变分法与最优控制;优化(49-XX);数值分析(65-XX)…

阳光

11份文件引用(2014–2020)
软件作者: 罗伯托·阿马迪尼;毛里齐奥·加布里埃利;雅各布·毛罗
相关软件: 萨齐拉;微量锌;变形杆菌…
主要字段: 几何(51-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)

DAGuE公司

11份文件引用(2011–2019)
软件作者: 乔治·博西尔卡(George Bosilca)、奥雷琳·布特伊勒(Aurelien Bouteiller)、安东尼·达纳利斯(Anthony Danalis)、托马斯·赫劳(Thomas Herault)、皮埃尔·勒马利尼尔(Pierre Lemarinier)、杰
相关软件: LAPACK;血浆;岩浆…
主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-XX)…

数字信号处理器

13份文件引用(2018–2022)
软件作者: Kim,Kibaek;维克多·扎瓦拉(Victor M.Zavala)。
相关软件: PySP;SIPLIB公司;CPLEX…
主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);计算机科学(68-XX)…

Exp.未结

12份文件引用(2006–2023)
软件作者: 弗雷德里克·朗
相关软件: CADP;CAESAR_SOLVE公司;M-TREE…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);生物学和其他自然科学(92-XX)

httperf(httperf)

1份文件引用(2006年)
软件作者: Mosberger D、Jin T
相关软件: WebSphere;PerlMagick;MySQL…
主要字段: 计算机科学(68-XX)

Oink公司

13份文件引用(2018–2022)
软件作者: T·迪克。
相关软件: PGSolver;条纹;mCRL2…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)

斯普拉茨

11份文件引用(2017–2021)
软件作者: 阿明·比尔
相关软件: 弯曲;Treengeling;玲玲…
主要字段: 组合数学(05-XX);阶、格、有序代数结构(06-XX);计算机科学(68-XX)…

悉尼商学院

13份文件引用(2014–2021)
软件作者: 李毅;Albarghouthi,Aws;扎卡里·金凯;阿里·古芬克尔(Arie Gurfinkel);玛莎·契契克
相关软件: z3;vZ;OptiMathSAT…
主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);计算机科学(68-XX)…

COM-MAT-FAIL公司

12份文件引用(2014–2019)
软件作者: 奥利弗·J。;直径,I.F。;A.E.Huespe。
相关软件:
主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)

通用汽车公司

引用于9份文件(2012–2021)
软件作者: Mostafavi,S.、Ray,D.、Warde-Farley,D.、Grouios,C.、Morris,Q。
相关软件: 细胞景观;字符串;生物网格…
主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…

英特尔MPI基准测试

7份文件引用(2008–2022)
软件作者: 英特尔
相关软件: NAS平行基准;溪流;STREAM基准…
主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…

PaMiraXT公司

11份文件引用(2009–2021)
软件作者: 舒伯特,托拜厄斯;马修·刘易斯;贝恩德·贝克尔
相关软件: ManySAT;玲玲;MiniSat…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)…

AClib(AClib)

8份文件引用(2016–2022)
软件作者: Hutter,F。;López-Ibánez,M。;福塞特,C。;林道尔,M。;胡斯,H.H。;莱顿-布朗,K。;T·Stützle,T。
相关软件: 帕拉米尔斯;SMAC;irace…
主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)

航空地理信息系统

11份文件引用(2006–2021)
软件作者: 郑立杰。;Kotschenruther,M。
相关软件: 埃拉托;关贸总协定;CAESAR…
主要字段: 历史与传记(01-XX);计算机科学(68-XX);流体力学(76-XX)…

筛选结果依据…

全部的 前5名

相关软件