标签 37篇文献引用(2005–2020) 软件作者: Madden S、Franklin MJ、Hellerstein JM、Hong W 相关软件: 自旋;弦;Protelis… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);计算机科学(68-XX)…
PHiPAC公司 48篇文献引用(1997–2016) 软件作者: Jeff A Bilmes;克尔斯特·阿萨诺维奇;Rich Vuduc;Sriram Iyer;吉姆·德梅尔;CheeWhye Chin;多米尼克·林 相关软件: ATLAS;BLAS;LAPACK… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX)…
流量* 49份文件中引用(2015–2024) 软件作者: Xin Chen、Erika Al brahám、Sriram Sankaranarayanan 相关软件: SpaceEx;d范围;高科技… 主要字段: 数学逻辑与基础(03-XX);常微分方程(34-XX);数值分析(65-XX)…
NINJA公司 30篇文献引用(2000–2019) 软件作者: 何塞·莫雷拉(JoséE.Moreira)。;塞缪尔·米奇夫(Samuel P.Midkiff)。;马尼什省古普塔;吴鹏;乔治·阿尔马西(George Almasi);阿蒂加斯,佩德罗 相关软件: TNT;爪哇格兰德;忍者… 主要字段: 数值分析(65-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)
Blitz++库 32篇文献引用(2000–2021) 软件作者: 托德·维尔德胡岑 相关软件: 闪电战++;促进;布拉斯… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
盖根 35篇文献引用(2004–2022) 软件作者: Daniel Fontijne;利奥·多斯特;蒂姆·鲍马 相关软件: 加洛普;CLUCalc;克利福德… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
学习库 27篇文献引用(2011–2023) 软件作者: 哈拉尔德·拉菲尔特;伯恩哈德·斯特芬;特蕾莎·伯格;蒂齐亚娜·玛格丽亚 相关软件: libalf;z3;Uppaal… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
瓦茨 12份文件引用(2001–2023) 软件作者: D.Brooks、V.Tiwari、M.Martonosi 相关软件: 简单标尺;MiBench公司;SoftExplorer… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
cohomCalg公司 28篇文献引用(2011–2023) 软件作者: 拉夫·布鲁门哈根(Ralph Blumenhagen);本杰明·朱尔克;托尔斯滕·拉恩 相关软件: Calabi-Yau数据库;PALP;SageMath… 主要字段: 代数几何(14-XX);几个复变量和分析空间(32-XX);微分几何(53-XX)…
HySAT卫星 26篇文献引用(2006–2021) 软件作者: Fränzle,Martin;克里斯蒂安·赫尔德 相关软件: 高科技;数学SAT;SpaceEx… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX);粒子力学与系统(70-XX)…
TSFC公司 23篇文献引用(2016–2022) 软件作者: 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆 相关软件: Firedrake;PETSc;UFL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…
英里/平方英尺 20篇文献引用(2008–2022) 软件作者: Gaudry,P.,Thomé,E。 相关软件: 电子飞机控制系统;25519号曲线;eBASH… 主要字段: 数论(11-XX);交换代数(13-XX);代数几何(14-XX)…
qHiPSTER公司 10篇文献引用(2016–2024) 软件作者: Mikhail Smelyanskiy、Nicolas P.D.Sawaya、Alán Aspuru-Guzik 相关软件: 项目Q;液体;Python… 主要字段: 动力学系统和遍历理论(37-XX);数值分析(65-XX);计算机科学(68-XX)…
DMPlex公司 16篇文献引用(2016–2023) 软件作者: 迈克尔·兰格;劳伦斯·米切尔;马修·克内普利(Matthew G.Knepley)。;杰拉德·J·戈尔曼。 相关软件: PETSc;Firedrake;道芬… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
新Dsc 15篇文献引用(2016–2023) 软件作者: 亚历山大·科贝尔(Alexander Kobel);Fabrice的Rouillier;迈克尔·萨格拉洛夫 相关软件: 隔离;集群;仲裁… 主要字段: 组合数学(05-XX);代数几何(14-XX);复变量函数(30-XX)…
示例(exafmm) 12份文件引用(2018–2023) 软件作者: R.横田;洛杉矶巴巴 相关软件: pvfmm;ScalFMM;热… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
CompCertTSO公司 14篇文献引用(2013–2022) 软件作者: 什耶夫切克,雅罗斯拉夫;维克多·瓦菲亚迪斯;弗朗切斯科,扎帕·纳尔德利;苏雷什·贾甘纳森;彼得·休厄尔 相关软件: Coq;CompCert;皮尔斯纳… 主要字段: 数学逻辑与基础(03-XX);阶、格、有序代数结构(06-XX);一般代数系统(08-XX)…
GALATICS公司 13份文件引用(2020–2024) 软件作者: G.Barthe、S.Belaíd、T.Espitau、P.-A.Fouque、M.Rossi、M.Tibouchi 相关软件: BLISS;事实真相;齐古拉… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);计算机科学(68-XX)…
西格玛* 13份文件引用(2013–2022) 软件作者: 马特科·博廷坎(Matko Botinčan)、多马戈伊·巴比奇(Domagoj Babić) 相关软件: 拉利布;libalf;z3… 主要字段: 计算机科学(68-XX)
稀疏度 10篇文献引用(2005–2018) 软件作者: EJ Im、K Yelick、R Vuduc 相关软件: 稀疏矩阵;PETSc;MKL… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
原分子 8份文件引用(2003–2015) 软件作者: Matthey,Thierry;特雷弗·奇科夫斯基;斯科特·汉普顿;Ko,Alice;马群;马修·尼尔吉斯(Matthew Nyerges);特洛伊Raeder;托马斯·斯拉巴赫;耶苏斯·A·伊扎古尔。 相关软件: OOMPAA;GSHMC;MPI… 主要字段: 数值分析(65-XX);流体力学(76-XX);量子理论(81-XX)…
AltAlt键 6篇文献引用(2002–2009) 软件作者: 罗密奥·桑切斯·奈根达(Romeo Sanchez Nigenda)、玄龙阮(XuanLong Nguyen)、苏巴拉奥·坎巴帕蒂(Subbarao Kambhampati) 相关软件: STAN;图形平面图;SAPA… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX)
Calysto公司 5份文件引用(2008–2020) 软件作者: Babić,D.,Hu,A.J。 相关软件: z3;电子稳定控制系统/Java;BoogiePL… 主要字段: 计算机科学(68-XX)
gmm公司++ 6篇文献引用(2005–2018) 软件作者: 伊夫·雷纳德(Yves Renard)、朱利安·波米耶(Julien Pommier) 相关软件: Getfem++;特征值;XFEM… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…
凯伯 引用于7份文件(2019–2023) 软件作者: 莱昂·博特罗斯;Kannwischer,Matthias J。;彼得·施瓦布 相关软件: PQM4;SIKE公司;猎鹰… 主要字段: 数值分析(65-XX);计算机科学(68-XX);量子理论(81-XX)…
MLP溢流 6篇文献引用(2001年至2008年) 软件作者: 塔夫特,J.R。 相关软件: NAS平行基准;PVM公司 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)
SHIELD(屏蔽) 引用于7份文件(2016–2019) 软件作者: 阿尔哈桑·凯德;格伦·古拉克(Glenn Gulak);维诺德·瓦昆塔坦 相关软件: FHEW;HElib;如果… 主要字段: 统计学(62-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
Fastsg公司 6篇文献引用(2014年至2021年) 软件作者: 阿林·穆拉拉什、杰里特·巴斯、德克·弗吕格、约瑟夫·韦登多夫、阿恩特·博德 相关软件: CUDA;开放式CL;炒作… 主要字段: 数值分析(65-XX);流体力学(76-XX);生物学和其他自然科学(92-XX)
高功率晶体管 4份文件引用(2017–2021) 软件作者: 保罗·斯普林格(Paul Springer)、童苏(Tong Su)、保罗·比安蒂内西(Paolo Bientinesi) 相关软件: TTC;BLIS;P3DFFT… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);计算机科学(68-XX)…
LaraDB公司 6篇文献引用(2018–2023) 软件作者: 迪伦·哈奇森(Dylan Hutchison)、比尔·豪(Bill Howe)、丹·苏秋(Dan Suciu) 相关软件: 马特朗;xarray;APL… 主要字段: 组合数学(05-XX);线性代数和多线性代数;矩阵理论(15-XX);结合环与代数(16-XX)…
LMS公司 5份文件引用(2010–2022) 软件作者: 蒂亚克·隆普夫(Tiark Rompf),马丁·奥德斯基(Martin Odersky) 相关软件: 科卡;博客;TMB… 主要字段: 计算机科学(68-XX)
薄荷 4份文件引用(2015–2018) 软件作者: Unat D、Cai X、Baden S 相关软件: CUDA;Pochoir;帕图斯… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
ALPBench公司 3份文件引用(2010–2019) 软件作者: Li,M.,Sasanka,R.,Adve,S.V.,kuang Chen,Y.,Debes,E 相关软件: 解析;溅射-2;PAPI… 主要字段: 概率论与随机过程(60-XX);计算机科学(68-XX)
鸡蛋 4份文件引用(2021–2023) 软件作者: Max Willsey、Chandrakana Nandi、Yisu Remy Wang、Oliver Flatt、Zachary Tatlock、Pavel Panchekha 相关软件: CatLib;同意;Verigraph… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
柔道STM 3份文件引用(2012–2022) 软件作者: Olszewski,M.、Cutler,J.、Steffan,J.G。 相关软件: NOrec;DiSTM;TLRW… 主要字段: 计算机科学(68-XX)
SAFKASI公司 3份文件引用(2005–2015) 软件作者: D.S.Wallach、A.W.Appel、E.W.Felten 相关软件: 棱镜;JFlow;活页夹… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
cuHE公司 4份文件引用(2016–2022) 软件作者: 戴伟;伯克·苏纳尔 相关软件: CUDA;HElib;GitHub… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
DeepSpeed公司 4份文件引用(2021–2023) 软件作者: 微软;Rasley,J.,Rajbhandari,S.,Ruwase,O.,He,Y 相关软件: ELECTRA公司;GPT-3;Linformer… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
GTW公司 3份文件引用(1996–2019) 软件作者: Samir Das、Richard Fujimoto、Kiran Panesar、Don Allison、Maria Hybinette 相关软件: 罗斯;使徒;Python PDEVS… 主要字段: 偏微分方程(35-XX);计算机科学(68-XX);运筹学,数学规划(90-XX)…
OptiX公司 3份文件引用(2014年-2023年) 软件作者: NVIDIA公司;史蒂文·帕克(Steven G.Parker)、詹姆斯·比格勒(James Bigler)、安德烈亚斯·迪特里希(Andreas Dietrich)、海科·弗里德里希(Heiko Friedrich)、贾里德·霍伯洛克(Jared Hoberock)、大卫·卢贝克(David Luebke)、大卫·麦卡利斯特(David Mcall 相关软件: SudoDEM;Blaze-DEMGPU;曝光渲染… 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…
JST公司 3份文件引用(2015–2017) 软件作者: Ghosh I、Shafiei N、Li G、蒋W 相关软件: S3;Z3-str;通过… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
MedleySolver公司 3份文件引用(2021–2022) 软件作者: 尼基尔·皮姆帕尔切尔(Nikhil Pimpalkhare);费德里科·莫拉;伊丽莎白·波尔格林(Elizabeth Polgreen);Sanjit A.Seshia。 相关软件: 马赫SMT;z3;SATZILA… 主要字段: 计算机科学(68-XX)
Ocelot公司 2份文件引用(2013–2015) 软件作者: 迪亚莫斯,G.F.,克尔,A.R.,亚拉曼奇利,S.,克拉克,N。 相关软件: CUDA;开放式CL;铬… 主要字段: 计算机科学(68-XX)
PuReMD公司 3份文件引用(2014–2020) 软件作者: Kylasa,S.B.公司。;阿图尔加,H.M。;纽约格拉玛。 相关软件: ReaxFF;sPuReMD;灯… 主要字段: 数值分析(65-XX);统计力学,物质结构(82-XX)
张量摩尔 2份文件引用(2021–2023) 软件作者: 坤耀;等人。 相关软件: PhysNet;PointNet;折叠网… 主要字段: 近似和扩展(41-XX);欧氏空间(42-XX)的调和分析;数值分析(65-XX)…
Terra公司 2份文件引用(2015年至2022年) 软件作者: Zachary DeVito、James Hegarty、Alex Aiken、Pat Hanrahan、Jan Vitek 相关软件: 链子;DyNet;宏复制… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
ZKPDL公司 1份文件引用(2021) 软件作者: Sarah Meiklejohn、C.Christopher Erway、Alptekin Küpçü、Theodora Hinkle、Anna Lysyanskaya 相关软件: bplib;艾美;LIBSCAPI… 主要字段: 信息与通信理论,电路(94-XX)
自动密码 2份文件引用(2022–2023) 软件作者: 法比奥·亚历山大·格拉特(Fabio Alexander Gratl);斯泰芬·塞克勒;汉斯·约阿希姆·本加茨(Hans-Joachim Bungartz);菲利普·诺伊曼 相关软件: ms2;TweTriS;马尔丹… 主要字段: 计算机科学(68-XX);粒子和系统力学(70-XX);流体力学(76-XX)…
巴拉库达 1份文件引用(2021) 软件作者: 阿里尔·艾森伯格(Ariel Eizenberg)、彭元峰(Yuanfeng Peng)、托马·皮格利(Toma Pigli)、威廉·曼斯基(William Mansky)、约瑟夫·迪维蒂(Joseph Devietti) 相关软件: GPU验证;GM种族;CURD… 主要字段: 计算机科学(68-XX)
地窖管理员 2份文件引用(2014–2020) 软件作者: 彼得森,P.A.H。 相关软件: 泰索;TransCrypt;HyperCrypt… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
定义 2份文件引用(2023年) 软件作者: 胆汁,Igor;克莱斯,泽维尔;皮埃尔·福廷(Pierre Fortin);劳拉·格里戈里 相关软件: FFTW;BLAS;pchip… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);数值分析(65-XX);粒子和系统力学(70-XX)
DiMEPACK公司 2份文件引用(2006) 软件作者: 科瓦希克,M。;魏ß,C。 相关软件: MpCCI;卡切格林 主要字段: 数值分析(65-XX);计算机科学(68-XX);可变形固体力学(74-XX)…
DNS工具 2份文件引用(2004–2008) 软件作者: Th.豪泽。;马托克斯,T.I。;勒博,R.P。;迪茨,H.G。;P.G.黄。 相关软件: 阿特拉斯 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
福克斯公共安全实验室 1份文件引用(2017) 软件作者: Sara Magliabane;菲利普·斯图茨(Philip Stutz);保罗·格罗斯;亚伯拉罕·伯恩斯坦 相关软件: 索赔评估;HyPER;博客… 主要字段: 统计学(62-XX);计算机科学(68-XX)
锯齿状突起 2份文件引用(2012–2020) 软件作者: Pham Quang,Phuong;德林尚特,伯努瓦 相关软件: Matlab;ADiJaC;dco/c++… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
卡斯科 在0个文档中引用 软件作者: Joana M.F.da Trindade、Konstantinos Karanasos、Carlo Curino、Samuel Madden、Julian Shun 相关软件: 利格拉;图形框架;WebGraph… 主要字段: ——
多种族 1份文件引用(2017) 软件作者: 埃利·波兹尼安斯基(Eli Pozniansky),阿萨夫·舒斯特(Assaf Schuster) 相关软件: 螺纹消毒剂;CDS检查器;ktsan… 主要字段: 计算机科学(68-XX)
QSYM公司 1份文件引用(2023年) 软件作者: Yun I、Lee S、Xu M、Jang Y、Kim T。 相关软件: 内乌兹;FuzzGen;DifFuzz… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
RUMD公司 1份文件引用(2022) 软件作者: 尼古拉斯·贝利(Nicholas P.Bailey)、特隆德·英格布雷格森(Trond S.Ingebrigtsen 相关软件: OpenMM;车灯;琥珀色… 主要字段: 流体力学(76-XX)
斯塔丹 1份文件引用(2011) 软件作者: Francisco Ortin、Miguel Garcia、Baltasar Garcia Perez Schofield、Jose Quiroga 相关软件: 红宝石;RPython;Pycket… 主要字段: 计算机科学(68-XX)
星光大道2号 2份文件引用(2019–2024) 软件作者: 奥格尔维,H.A.,布卡特,R.R.,德拉蒙德,A.J。 相关软件: treeOclock;MURPAR公司;跨骑… 主要字段: 总体主题;藏品(00-XX);组合数学(05-XX);运筹学,数学规划(90-XX)…
电视监控 1份文件引用(2021) 软件作者: 陈田琪(Tianqi Chen)、蒂埃里·莫罗(Thierry Moreau)、姜子亨(Ziheng Jiang)、郑连敏(Lianmin Zheng)、颜爱迪(Eddie Yan)、梅根·考恩(Meghan Cowan 相关软件: 异丙基氯;POMDPs.jl;Python… 主要字段: 计算机科学(68-XX)
邮政编码系统 2份文件引用(2020–2021) 软件作者: Niksefat,S。;Sadeghiyan,B。;莫哈塞尔,P。;SS萨德基安 相关软件: FairplayMP;github;澳大利亚银行 主要字段: 信息与通信理论,电路(94-XX)
字节转换器 1份文件引用(2023年) 软件作者: 翟玉佳、蒋程泉、王乐元、贾小英、张尚、陈自忠、刘鑫、朱一博 相关软件: Sunny.jl;OpenBLAS(开放BLAS) 主要字段: 量子理论(81-XX);统计力学,物质结构(82-XX)
卡达克劳 1份文件引用(2015) 软件作者: J.A.Stuart、H.Gorune Ohannessian、K.Mandli、G.Turkiyyah、J.D.Owens、D.Ketcheson 相关软件: 偏见;夹紧装置 主要字段: 流体力学(76-XX)
ELINA公司 1份文件引用(2017) 软件作者: Gagandeep Singh;Püschel,马库斯;马丁·维切夫(Martin Vechev);苏黎世ETH 相关软件: PPL;停机坪 主要字段: 计算机科学(68-XX)
快速测试-3D 1份文件引用(2007) 软件作者: Christoph Scheit、Georg Hager、Jan Treibig、Stefan Becker、Gerhard Wellein 相关软件: 莱索克 主要字段: 流体力学(76-XX);经典热力学,传热(80-XX)
弗雷格尔 1份文件引用(2022) 软件作者: 岩崎、秀霞;肯托州埃莫托;森田、秋叶;松崎,Kiminori;胡镇江 相关软件: SympleGraph;美人鱼;PathGraph… 主要字段: 计算机科学(68-XX)
libFastMesh数据库 1份文件引用(2024) 软件作者: 马泰奥·法隆;阿隆·扎默雷特;德洛姆,Yann;埃德里(Edri)、亚尼尔(Yanir);Amouyal,Solal A.T。;马克·瓦瑟曼(Mark Wasserman);丁朝晖;瓦莱里奥·达莱桑德罗 相关软件: PETSc4FOAM;caafoam公司;开放式泡沫 主要字段: 计算机科学(68-XX);流体力学(76-XX)
Linq优化器 1份文件引用(2017) 软件作者: N.Palladinos,K.Rontogiannis 相关软件: OCaml;ScalaBlitz;单胞菌… 主要字段: 计算机科学(68-XX)
NChooseK公司 1份文件引用(2019) 软件作者: Khetawat,Harsh;阿什莱沙·阿特里;乔治·李;弗兰克·米勒(Frank Mueller);斯科特·帕金 相关软件: QISKit公司;openQASM;Microsoft Quantum… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
ProGraML软件 在0个文档中引用 软件作者: Chris Cummins、Zacharias V.Fisches、Tal Ben-Nun、Torsten Hoefler、Hugh Leather 相关软件: 亚当;XLA;TensorFlow… 主要字段: ——
SIFT公司 1份文件引用(2014) 软件作者: Ozsoy、Meltem;德米特里·波诺马列夫;Abu-Ghazaleh,内尔;苏里、塔米什 相关软件: JFlow;电梯;M-Sim公司 主要字段: 计算机科学(68-XX)
智能应用程序 1份文件引用(2001) 软件作者: 劳伦斯·劳希沃格(Lawrence Rauchwerger);南希·M·阿马托。;约塞普·托雷拉斯 相关软件: VCODE(视频编码) 主要字段: 计算机科学(68-XX)