NetKAT公司 引用于33份文件(2014–2023) 软件作者: Anderson,C.J.,Foster,N.,Guha,A.,Jeannin,J.-B.,Kozen,D.,Schlesinger,C.,Walker,D。 相关软件: VeriFlow;狂热;Coq… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);结合环与代数(16-XX)…
DAGuE公司 11份文件引用(2011–2019) 软件作者: 乔治·博西尔卡(George Bosilca)、奥雷琳·布特伊勒(Aurelien Bouteiller)、安东尼·达纳利斯(Anthony Danalis)、托马斯·赫劳(Thomas Herault)、皮埃尔·勒马利尼尔(Pierre Lemarinier)、杰 相关软件: LAPACK;血浆;岩浆… 主要字段: 线性代数和多线性代数;矩阵理论(15-XX);偏微分方程(35-XX);数值分析(65-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)
NetCore公司 2份文件引用(2013–2018) 软件作者: 克里斯托弗·孟山都;Nate Foster;罗伯·哈里森(Rob Harrison);大卫·沃克 相关软件: github;NetKAT;菲马托… 主要字段: 计算机科学(68-XX)