卢比 172份文件引用(2013年至2024年) 软件作者: 德克·埃德布特尔;罗曼·弗朗索瓦;JJ Allaire;约翰·钱伯斯;道格拉斯·贝茨;凯文·乌西 相关软件: R;RcppArmadillo;ggplot2… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
OpenACC(开放ACC) 28篇文献引用(2014年-2023年) 软件作者: 桑德拉·维恩克;保罗·斯普林格;克里斯蒂安·特博文(Christian Terboven);迪特尔·安·梅 相关软件: CUDA;开放式CL;CUBLAS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
转发差异 28篇文献引用(2017–2023) 软件作者: Jarrett Revels、Miles Lubin、Theodore Papamarkou 相关软件: 朱莉娅;PyTorch;TensorFlow… 主要字段: 偏微分方程(35-XX);统计学(62-XX);数值分析(65-XX)…
TSFC公司 23篇文献引用(2016–2022) 软件作者: 米克洛斯·霍莫利娅、劳伦斯·米切尔、法比奥·卢波里尼、大卫·哈姆 相关软件: Firedrake;PETSc;UFL… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);可变形固体力学(74-XX)…
咖啡 20篇文献引用(2016–2021) 软件作者: Fabio Luporini、Ana Lucia Varbanescu、Florian Rathgeber、Gheorghe-Teodor Bercea、J.Ramanujam、David A.Ham、Paul H.J.Kelly 相关软件: Firedrake;PETSc;TSFC… 主要字段: 偏微分方程(35-XX);全局分析,流形分析(58-XX);数值分析(65-XX)…
绿洲 21篇文献引用(1990–2009) 软件作者: 阿列克谢·库丘莫夫;谢尔盖·赖宾(Sergey Rybin);阿尔弗雷德·斯特罗梅尔 相关软件: ADML;C4.5;Oracle… 主要字段: 数论(11-XX);数值分析(65-XX);计算机科学(68-XX)…
捕食者 15篇文献引用(2012–2021) 软件作者: 卡米尔·杜德卡;米勒、佩特;彼得·佩林格(Petr Peringer);汤姆·沃纳 相关软件: CPA检查员;CBMC;幻灯片… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
IML-整数矩阵库 18篇文献引用(2005–2023) 软件作者: Z.Chen;A.Storjohann;科里·弗莱彻 相关软件: LinBox;4ti2;PipLib… 主要字段: 数论(11-XX);代数几何(14-XX);数值分析(65-XX)…
8月 12份文件引用(2016–2022) 软件作者: Q.Wang,X.Zhang,Y.Zhangs,Q.Yi 相关软件: LAPACK;R;MKL… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);统计学(62-XX);数值分析(65-XX)…
示例(exafmm) 12份文件引用(2018–2023) 软件作者: R.横田;洛杉矶巴巴 相关软件: pvfmm;ScalFMM;热… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);流体力学(76-XX)…
ScaffCC公司 10篇文献引用(2017–2023) 软件作者: Ali JavadiAbhari、Shruti Patil、Daniel Kudrow、Jeff Heckey、Alexey Lvov、Frederic Chong和Margaret Martonosi 相关软件: 奎珀;QPL;液体… 主要字段: 计算机科学(68-XX);量子理论(81-XX)
乌托邦 13份文件引用(2018–2023) 软件作者: P.Zulian、A.Kopani cha ková、M.C.G.Nestola、A.Fink、N.Fadel、V.Magri、T.Schneider、E.Botter 相关软件: PETSc;驼鹿;ParMoonolith… 主要字段: 偏微分方程(35-XX);概率论与随机过程(60-XX);数值分析(65-XX)…
中枢神经系统 引用于9份文件(1999–2018) 软件作者: A.T Brünger、P.D Adams、G.M Clore、W.L DeLano、P Gros、R.W Grosse-Kunstleve、J.S Jiang、J Kuszewski、M Nilges、N.S Pannu、R.J Read、L.M Rice、T Simonson、G Warren 相关软件: 查姆;Xplor-NIH;VMD… 主要字段: 组合数学(05-XX);几何(51-XX);统计力学,物质结构(82-XX)…
GMac公司 引用于9份文件(2014–2022) 软件作者: 艾哈迈德·霍斯尼·阿瓦德·艾德 相关软件: 盖根;加洛普;CLUCalc… 主要字段: 数论(11-XX);线性代数和多线性代数;矩阵理论(15-XX);几何(51-XX)…
学院 6篇文献引用(2018–2023) 软件作者: 罗宾·弗舒伦(Robin Verschueren)、吉安卢卡·弗里森(Gianluca Frison)、迪米特里斯·库佐普斯(Dimitris Kouzoupis)、尼尔斯·范·杜伊克伦(Niels van Duijkeren)、安德烈亚·扎内利(Andrea Zanelli)、布兰尼米尔·诺沃塞尔尼克(Branimir Novoselnik)、乔纳森· 相关软件: HPIPM;ACADO;CasADi… 主要字段: 变分法与最优控制;优化(49-XX);数值分析(65-XX);运筹学,数学规划(90-XX)…
束 3份文件引用(2013–2018) 软件作者: Mancoridis,S.、Mitchell,B.、Chen,Y.、Gansner,E。 相关软件: 蚂蚁;集群发现;CPLEX… 主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
雅克斯塔布 引用于7份文件(2011–2023) 软件作者: Johannes Kinder,Helmut Veith 相关软件: 卫星抗体;WPDS++;SLAM… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
繁荣 引用于7份文件(2007-2010年) 软件作者: 利文特·洪亚迪 相关软件: 繁荣;HOL灯;HOL… 主要字段: 总体主题;藏品(00-XX);历史与传记(01-XX);计算机科学(68-XX)…
疯狂的 引用于7份文件(2011–2021) 软件作者: Foster,N.、Harrison,R.、Freedman,M.J.、Monsanto,C.、Rexford,J.、Story,A.、Walker,D。 相关软件: NetKAT;荨麻;VeriCon… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
FOC网 5份文件引用(2020–2023) 软件作者: X.Jia、S.Liu、X.Feng、L.Zhang 相关软件: MemNet;FFD网络;ImageNet… 主要字段: 数值分析(65-XX);计算机科学(68-XX);信息与通信理论,电路(94-XX)
CDS检查器 5份文件引用(2015–2017) 软件作者: 布莱恩·诺里斯、布莱恩·德姆斯基 相关软件: 开放式CL;Coq;线程消毒剂… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
空标题 3份文件引用(2017–2022) 软件作者: Christopher R.Aberger、Susan Tu、Kunle Olukotun、Christophers Ré 相关软件: HyperBench;利格拉;图形X… 主要字段: 组合数学(05-XX);计算机科学(68-XX)
Exasim公司 4份文件引用(2023–2024) 软件作者: J.Vila-Pérez、R.Loek Van Heyningen、N.-C.Nguyen、J.Peraire 相关软件: 奈克塔++;PyFR;FESTUNG… 主要字段: 数值分析(65-XX);可变形固体力学(74-XX);流体力学(76-XX)…
QuantumOptics.jl公司 在0个文档中引用 软件作者: 塞巴斯蒂安·克雷默(Sebastian Krämer)、大卫·普朗肯斯坦纳(David Plankensteiner)、劳林·奥斯特曼(Laurin Ostermann)、赫尔穆特·里奇(Helmut Ritsch) 相关软件: QuTiP;朱莉娅;微分方程.jl… 主要字段: ——
澄清器 5份文件引用(1995–2005) 软件作者: 肯尼·亨特(Kenny Hunt);詹姆斯·克里默 相关软件: 分子;鹦鹉螺;ACSL… 主要字段: 凸和离散几何(52-XX);统计学(62-XX);计算机科学(68-XX)…
CompCertS公司 4份文件引用(2017–2019) 软件作者: 贝松,弗雷德里克;Blazy,Sandrine;皮埃尔·威尔克 相关软件: Coq;CompCert;CompCertTSO… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
铜斑蛇 1份文件引用(2016) 软件作者: Catanzaro,B.,Garland,M.,Keutzer,K。 相关软件: CUDA;开放式CL;PyOpenCL… 主要字段: 计算机科学(68-XX)
DiSL公司 2份文件引用(2016–2022) 软件作者: 卢卡什·马雷克(LukášMarek)、郑宇迪(Yudi Zheng 相关软件: 阿克卡普洛夫;JMeter;Kieker… 主要字段: 计算机科学(68-XX)
长石 2份文件引用(2015年至2016年) 软件作者: E.Axelsson、K.Claessen、G.Devai、Z.Horvath、K.Keijzer、B.Lyckegard、A.Persson、M.Sheeran、J.Sveningsson、A.Vajda 相关软件: 熔岩;哈斯克尔;旋风… 主要字段: 计算机科学(68-XX)
G小调 4份文件引用(2010–2019) 软件作者: 安德鲁·麦克里特(Andrew McCreight);蒂姆·骑士;安德鲁·托尔马赫 相关软件: Coq;CompCert;CompCertTSO… 主要字段: 计算机科学(68-XX)
夹克 4份文件引用(2010–2014) 软件作者: Harmonic软件 相关软件: Matlab;CUDA;J转换… 主要字段: 统计学(62-XX);数值分析(65-XX);计算机科学(68-XX)…
自动筛选 3份文件引用(2003–2004) 软件作者: 美国国家航空航天局;乔恩·惠特尔(Jon Whittle)、约翰·舒曼(Johann Schumann) 相关软件: SciNapse;莫德;规范软件… 主要字段: 计算机科学(68-XX);系统论;控制(93-XX)
对象数学 3份文件引用(1997–2014) 软件作者: 尼古拉斯·安德森;彼得·弗里茨森 相关软件: 奥莫拉;Mathematica;ASCEND… 主要字段: 总体主题;藏品(00-XX);数值分析(65-XX);计算机科学(68-XX)…
Ocelot公司 2份文件引用(2013–2015) 软件作者: 迪亚莫斯,G.F.,克尔,A.R.,亚拉曼奇利,S.,克拉克,N。 相关软件: CUDA;开放式CL;铬… 主要字段: 计算机科学(68-XX)
Terra公司 2份文件引用(2015年至2022年) 软件作者: Zachary DeVito、James Hegarty、Alex Aiken、Pat Hanrahan、Jan Vitek 相关软件: 链子;DyNet;宏复制… 主要字段: 数值分析(65-XX);计算机科学(68-XX)
asm.js公司 2份文件引用(2017–2019) 软件作者: D.Herman、L.Wagner、A.Zakai 相关软件: spatiasql.js;math.js;TensorFlow.js… 主要字段: 计算机科学(68-XX);运筹学、数学规划(90-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX)
巴拉库达 1份文件引用(2021) 软件作者: 阿里尔·艾森伯格(Ariel Eizenberg)、彭元峰(Yuanfeng Peng)、托马·皮格利(Toma Pigli)、威廉·曼斯基(William Mansky)、约瑟夫·迪维蒂(Joseph Devietti) 相关软件: GPU验证;GM种族;CURD… 主要字段: 计算机科学(68-XX)
远端 2份文件引用(2016–2017) 软件作者: Martin Biely、Pamela Delgado、Zarko Milosevic、Andre Schiper 相关软件: 同步;TLA;旋转… 主要字段: 计算机科学(68-XX)
流体防火阀 2份文件引用(2020–2022) 软件作者: C.T.雅各布斯,M.D.皮戈特 相关软件: PETSc/TS;ADCIRC;FEniCS… 主要字段: 数值分析(65-XX);流体力学(76-XX);地球物理学(86-XX)
霍尔巴 2份文件引用(2020–2022) 软件作者: 迪德里克·伦德伯格(Didrik Lundberg);罗伯特·瓜夏莱(Roberto Guanciale);安德烈亚斯·林德纳;达姆,麦兹 相关软件: RGITL;达夫尼;GNAT证明… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
mbeddr公司 1份文件引用(2017) 软件作者: 马库斯·沃尔特、丹尼尔·拉蒂乌、伯恩哈德·沙伊茨、伯恩德·科尔布 相关软件: 旋风;休谟;Cedalion… 主要字段: 计算机科学(68-XX)
尼泊尔卢比+ 1份文件引用(2021) 软件作者: 扎卡里亚·艾蒂安 相关软件: NRPyCritCol;SFcollapse1D;朱庇特… 主要字段: 统计力学,物质结构(82-XX);相对论与引力理论(83-XX)
奥西佩 1份文件引用(1994) 软件作者: 弗朗索瓦·科隆纳;吕克·亨利,乔利;雷蒙德·波里埃(Raymond A.Poirier)。;Angyán,János G。;乔治·詹森 相关软件: 高斯人;艾菲尔 主要字段: 计算机科学(68-XX)
solc验证 2份文件引用(2021) 软件作者: 阿尔科斯·哈伊杜,德扬·约瓦诺维奇 相关软件: VerX;深海;Manticore… 主要字段: 计算机科学(68-XX);博弈论、经济学、金融和其他社会和行为科学(91-XX);信息与通信理论,电路(94-XX)
斯宾西姆 1份文件引用(2023) 软件作者: Alex Tritt、Joshua Morris、Joel Hochstetter、R.P.Anderson、James Saunderson、L.D.Turner 相关软件: Numba;qopt;PULSEE… 主要字段: 偏微分方程(35-XX);近似和扩展(41-XX);数值分析(65-XX)…
塔基 1份文件引用(2013) 软件作者: 谢尔盖·利西琴(Sergey Lisitsyn);克里斯蒂安·维德默(Christian Widmer);费尔南多·伊格莱西亚斯·加西亚 相关软件: 犰狳;光谱;Scikit… 主要字段: 计算机科学(68-XX)
电视监控 1份文件引用(2021) 软件作者: 陈田琪(Tianqi Chen)、蒂埃里·莫罗(Thierry Moreau)、姜子亨(Ziheng Jiang)、郑连敏(Lianmin Zheng)、颜爱迪(Eddie Yan)、梅根·考恩(Meghan Cowan 相关软件: 异丙基氯;POMDPs.jl;Python… 主要字段: 计算机科学(68-XX)
乌苏巴 2份文件引用(2020–2021) 软件作者: 大流士·麦卡迪尔 相关软件: github;位片屏蔽乘法;BearSSL… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
阿尔特达克 在0个文档中引用 软件作者: 库尔特·比里;Eric Flumerfelt;约翰·弗里曼;卫斯利·凯彻姆;Gennadiy Lukhanin;亚当·里昂;罗恩·雷切马赫(Ron Rechenmacher);瑞安·里维拉(Ryan Rivera);洛伦佐紧身裤;玛格丽特·沃塔瓦 相关软件: XDAQ公司 主要字段: ——
布拉加方法 1份文件引用(2022) 软件作者: 多米尼克·拉切·温德林(Dominique Larchey-Wendling);Jean-François莫宁 相关软件: OCaml;CompCert;Coq公司 主要字段: 计算机科学(68-XX)
直接转矩控制 1份文件引用(2018) 软件作者: Wintz,J.、Kloczko,T.、Niclausse,N.、Rey,D。 相关软件: Axl;VTK公司 主要字段: 代数几何(14-XX);数值分析(65-XX)
升高 1份文件引用(2020) 软件作者: Yang Wang、Manos Kapritsos、Lara Schmidt、Lorenzo Alvisi、Mike Dahlin 相关软件: ASM;PeerSim;密码… 主要字段: 计算机科学(68-XX)
费米·杰尔 在0个文档中引用 软件作者: G.J.R.Aroeira、M.M.Davis、J.M.Turney、H.F.Schaefer 相关软件: VENUS96;Unitful.jl;MLJ… 主要字段: ——
弗拉雷莫德 在0个文档中引用 软件作者: Y.Dallilar、S.von Fellenberg、M.Bauböck、P.T.de Zeeuw、A.Drescher、F.Eisenhauer、R.Genzel、S.Gillessen、M.Habibi、T.Ott、G.Ponti、J.Stadler、O.Straub、F.Widmann、G.Witzel、A.Young 相关软件: PyOpenCL;LMFIT;蟒蛇 主要字段: ——
Highdicom公司 在0个文档中引用 软件作者: 克里斯托弗·布里奇(Christopher P.Bridge)、克里斯·戈尔曼(Chris Gorman)、史蒂文·皮埃尔(Steven Pieper)、肖恩·多伊尔(Sean W.Doyle)、约琴·K·伦内兹(Jochen K.Lennerz)、贾亚什雷·卡尔帕西·克莱默(Jayashre Kalpathy-Cramer)、 相关软件: CUDA;cuDNN;dicom3tools… 主要字段: ——
林内亚 1份文件引用(2021) 软件作者: 亨利克·巴瑟尔斯(Henrik Barthels);克里斯托斯·帕萨拉斯;保罗·比伦蒂内西 相关软件: LAPACK;FFTW;DxTer… 主要字段: 数值分析(65-XX)
项目管理咨询公司 1份文件引用(2001) 软件作者: Simon Mørk、Ken Larsen、Henrik Reif Andersen、Lyngby Danmark、Peter Sestoft 相关软件: LOTOS;酯类 主要字段: 计算机科学(68-XX)
Silq公司 1份文件引用(2023) 软件作者: 本杰明·比谢尔(Benjamin Bichsel);蒂蒙·盖尔;马克西米利安·巴德;马丁·维切夫 相关软件: QISKit公司 主要字段: 计算机科学(68-XX);量子理论(81-XX)
SQCK公司 1份文件引用(2016) 软件作者: Haryadi S.Gunawi、Abhishek Rajimwale、Andrea C.Arpaci-Dusseau、Remzi H.Arpaci-Dosseau 相关软件: PostgreSQL;爆炸;Eleven82… 主要字段: 计算机科学(68-XX)
暗房 在0个文档中引用 软件作者: 詹姆斯·赫加蒂(James Hegarty);John Brunhaver;扎卡里·德维托;乔纳森·拉甘·凯利(Jonathan Ragan-Kelley);诺伊·科恩;史蒂文·贝尔(Steven Bell);瓦西里耶夫,阿尔特姆;马克·霍洛维茨;帕特·汉拉罕 相关软件: —— 主要字段: ——