糠 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)
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)
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)…
关于++ 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)…
修复匹配 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)…