SAMRAI公司 51篇文献引用(2002–2023) 软件作者: 理查德·霍农(Richard D.Hornung)。;斯科特·科恩。 相关软件: PETSc;炒作;帕拉梅什… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);变形固体力学(74-XX)…
神童 24篇文献引用(1992–2019) 软件作者: Carbonell,J.、Blythe,J.,Etzioni,O.、Gil,Y.、Joseph,R.、Kahn,D.、Knoblock,C.、Minton,S.、Pérez,M.A.、Reilly,S.,Veloso,M.、Wang,X。 相关软件: UCPOP;图形平面图;KQML… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)
CSP防护 17篇文献引用(2005–2022) 软件作者: 吉野县Isobe;马库斯·罗根巴赫 相关软件: PVS;Isabelle/HOL;FDR2… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX)
SA集群 12份文件引用(2012–2022) 软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生 相关软件: 集群内;GraRep;节点2vec… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
证书KOS 10篇文献引用(2017–2022) 软件作者: Gu,R.,Shao,Z.,Chen,H.,Wu,X.N.,Kim,J.,Sjöberg,V.,Costanzo,D。 相关软件: seL4;Coq;Isabelle/HOL… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-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)…
HyTeG公司 6篇文献引用(2019–2022) 软件作者: 科尔,N。;Thönnes,D。;Drzisga,D。;Bartuschat,D。;吕德,美国。 相关软件: 利奎德;p4测试;ParILUT… 主要字段: 数值分析(65-XX);计算机科学(68-XX);变形固体力学(74-XX)…
拉赫夫特 引用于8份文件(2018–2023) 软件作者: Kafle,B.,Gallagher,J.P.,Morales,J.F。 相关软件: z3;SeaHorn;垫片… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
Inc集群 5份文件引用(2012–2020) 软件作者: 程红;周,杨;黄欣;Yu,Jeffrey Xu先生 相关软件: SA集群;线路;apcluster… 主要字段: 组合数学(05-XX);统计学(62-XX);计算机科学(68-XX)…
点RCNN 1份文件引用(2022) 软件作者: 史绍帅、王晓刚、李洪生 相关软件: VoxelNet;更快的R-CNN;SSD… 主要字段: 凸和离散几何(52-XX);数值分析(65-XX);计算机科学(68-XX)
REBA公司 4份文件引用(2019–2021) 软件作者: 莫汉·斯里德哈兰;Michael Gelfond;张世奇;杰里米·怀亚特 相关软件: 旋转;CCalc;平滑… 主要字段: 计算机科学(68-XX);运筹学,数学编程(90-XX)
CMView(CMView) 1份文件引用(2014) 软件作者: 科琳娜·维洛、亨宁·斯特尔、马蒂亚斯·温克尔曼、何塞·杜阿尔特、拉尔斯·佩佐德、朱利安·丁斯、迈克尔·拉普 相关软件: 细胞景观;采访者 主要字段: 生物学和其他自然科学(92-XX)
立体声网络 引用于2份文件(2022) 软件作者: 萨米赫·哈米斯(Sameh Khamis)、肖恩·法内洛(Sean Fanello)、克里斯托夫·莱曼(Christoph Rhemann 相关软件: MobileNets;布里斯克;效率检测… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
指数 1份文件引用(2023) 软件作者: 拉斯穆斯·罗特;拉杜·蒂莫夫特;吕克·范·古尔 相关软件: 分支机构网络;FaceNet;VGG面2… 主要字段: 统计学(62-XX);计算机科学(68-XX)
MANIP公司 1份文件引用(2011年) 软件作者: 马西尔,C。 相关软件: Web-FEM;WebDFEA;OpenGL(OpenGL) 主要字段: 计算机科学(68-XX);可变形固体力学(74-XX)
StereoDRNet公司 1份文件引用(2022) 软件作者: 罗汉·查布拉、朱利安·斯特劳布、克里斯·斯威尼、理查德·纽科姆、亨利·富克斯 相关软件: 布里斯克;效率检测;面2面… 主要字段: 计算机科学(68-XX)