×

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

X减少

53篇文献引用(2003–2020)
软件作者: Haruo Hosoya,Benjamin C.Pierce(本杰明·皮尔斯)
相关软件: CDuce;XPath;PiDuce…
主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);计算机科学(68-XX)

德尔芬

17篇文献引用(2003–2020)
软件作者: Schürmann,C.、Fontana,R.、Liao,Y.、Poswolsky,A。
相关软件: Twelf公司;Coq;白鲸…
主要字段: 数学逻辑与基础(03-XX);计算机科学(68-XX)

MiniAgda公司

11份文件引用(2011–2023)
软件作者: A.阿贝尔。
相关软件: Coq;阿格达;GitHub…
主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);代数拓扑(55-XX)…

方程

6篇文献引用(2010–2020)
软件作者: 索索、马蒂厄
相关软件: Coq;精益;Idris…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)

图形调查员

引用于2份文件(2011–2016)
软件作者: 捷克语,Wojciech;维托尔德·德兹温;Sławomir Goryczka;托马斯·阿罗德;阿卡迪乌斯·杜德克。
相关软件: SpectralNET;StOCNET网络
主要字段: 组合数学(05-XX);计算机科学(68-XX);运筹学,数学编程(90-XX)…

UTP铝业

引用于2份文件(2017–2020)
软件作者: 安德鲁·巴特菲尔德
相关软件: Isabelle/UTP;PVS;Coq…
主要字段: 计算机科学(68-XX)

筛选结果依据…