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