×

找到4个软件包(结果1-4)

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)

筛选结果依据…