泥浆 在13份文件中引用(2015–2023) 软件作者: SLURM团队;Yoo AB、Jette MA、Grondona M 相关软件: 蟒蛇;太阳网格引擎;TensorFlow… 主要字段: 数值分析(65-XX);计算机科学(68-XX);流体力学(76-XX)…
Giac公司 17篇文献引用(2010–2024) 软件作者: B.巴黎 相关软件: GeoGebra;单一;Xcas… 主要字段: 交换代数(13-XX);代数几何(14-XX);几何(51-XX)…
DD验证 9份文件引用(2009–2019) 软件作者: Witkowski,T.、Blanc,N.、Kroening,D.、Weissenbacher,G 相关软件: SLAM;CBMC;卫星… 主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)
波乔里 10篇文献引用(2013-2019) 软件作者: Tang,Y.、Chowdhury,R.A.、Kuszmaul,B.C.、Luk,C.K.、Leiserson,C.E。 相关软件: PATUS公司;GPU验证;Coq… 主要字段: 偏微分方程(35-XX);数值分析(65-XX);计算机科学(68-XX)…
KDE工具箱 5份文件引用(2008–2017) 软件作者: 亚历山大·伊勒 相关软件: LIBSVM;PRMLT;rflowcyt… 主要字段: 概率论与随机过程(60-XX);统计学(62-XX);数值分析(65-XX)…
GILK公司 3份文件引用(2002–2012) 软件作者: 大卫·皮尔斯(David J.Pearce)。;Paul H.J.凯利。;托尼·菲尔德(Tony Field);乌利·哈德 相关软件: 瓦尔格林德;协和式飞机;伊比斯… 主要字段: 统计学(62-XX);计算机科学(68-XX);运筹学、数学规划(90-XX)
XtreemFS公司 在0个文档中引用 软件作者: Hupfeld,F.、Cortes,T.、Kolbeck,B.、Stender,J.、Focht,E.、Hess,M.、Malo,J.,Marti,J.和Cesario,E 相关软件: CloudSim;发电机;BlobSeer… 主要字段: ——
AstraVer公司 2份文件引用(2021–2022) 软件作者: 格里戈里·沃尔科夫、米哈伊尔·曼德利金、丹尼斯·埃弗雷莫夫 相关软件: Coq;Why3;Dafny… 主要字段: 计算机科学(68-XX)
dproc公司 2份文件引用(2002–2003) 软件作者: Jancic,J。;波埃拉鲍尔,C。;施万,K。;Wolf,M。;北卡罗来纳州布莱特。 相关软件: XtremWeb;BOINC公司;Globus工具包… 主要字段: 计算机科学(68-XX)
O配置文件 2份文件引用(2016–2018) 软件作者: J.莱文。 相关软件: 瓦尔格林德;ADIFR;AMPI… 主要字段: 计算机科学(68-XX);地球物理学(86-XX);运筹学、数学规划(90-XX)
BzzMath公司 2份文件引用(2010–2014) 软件作者: 吉多·布齐·费拉里斯(Guido Buzzi-Ferraris)、弗拉维奥·马南蒂(Flavio Manenti) 相关软件: —— 主要字段: 总体主题;藏品(00-XX);统计学(62-XX);数值分析(65-XX)…
SOFI3D软件 2份文件引用(2021–2024) 软件作者: Bohlen,T。;De Nil,D。;Koehn,D。;Jetschny,S。 相关软件: SMIwiz;libEMM;L-BFGS… 主要字段: 数值分析(65-XX);计算机科学(68-XX);地球物理学(86-XX)
泰索牌手表 2份文件引用(2014–2020) 软件作者: Müller,T.,Freiling,F.C.,Dewald,A。 相关软件: 地窖看守人;TransCrypt;HyperCrypt… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
AESSE公司 1份文件引用(2020) 软件作者: Müller,T.、Dewald,A.、Freiling,F。 相关软件: TransCrypt;超级地穴;武装… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
超级地穴 1份文件引用(2020) 软件作者: Götzfried,J.、Dörr,N.、Palutke,R.、Müller,T。 相关软件: TransCrypt;武装;Salsa20… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
RamCrypt公司 1份文件引用(2020) 软件作者: Götzfried,J.、Müller,T.、Drescher,G.、Nürnberger,S.、Backes,M。 相关软件: TransCrypt;超级地穴;武装… 主要字段: 计算机科学(68-XX);信息与通信理论,电路(94-XX)
RTXI公司 在0个文档中引用 软件作者: Lin R.J.、Bettencourt J.、White J.A.、Christini D.J.、Butera R.J。 相关软件: 魔法;MagicPy;Magpy… 主要字段: ——
萨卢斯 在0个文档中引用 软件作者: 尼尔斯·阿文兹(Niels Avonds)、拉乌尔·斯特拉克(Raoul Strackx)、彼得·阿格滕(Pieter Agten)、弗兰克·皮森斯(Frank Piessens) 相关软件: 砂壳;普里夫曼;闭包库… 主要字段: ——
SecVisor公司 在0个文档中引用 软件作者: Seshadri,A.,Luk,M.,Qu,N.,Perrig,A。 相关软件: CloudSec;ReVirt;RSYSLOG… 主要字段: 计算机科学(68-XX)
gkmSVM 在0个文档中引用 软件作者: 马哈茂德·甘迪;莫特扎·穆罕默德·努里(Morteza Mohammad Noori);加雷格哈尼(Ghareghani),纳尔吉斯(Narges);李东元;列维·加拉韦(Levi A.Garraway)。;迈克尔·A·比尔。 相关软件: —— 主要字段: ——