ELAN公司 106篇文献引用(1996–2020) 软件作者: 彼得·博罗万斯基(Peter Borovansky)、埃里克·德普拉涅(Eric Deplagne)、克劳德·基什内尔(Claude Kirchner)、海伦娜·基什内尔·基什内尔皮埃尔雷·伊蒂安·莫劳(Pierre-Etienne Moreau)、克里斯托夫·林盖森(Christophe 相关软件: 莫德;OBJ咖啡馆;OBJ3… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
奈亚德 7份文件引用(2017–2022) 软件作者: D.G.Murray、F.McSherry、R.Isaacs、M.Isard、P.Barham、M.Abadi 相关软件: LOLA;哈斯克尔;Apache Spark… 主要字段: 计算机科学(68-XX)
卡拉 3份文件引用(2012–2019) 软件作者: Christian Kloimüllner、Johannes Oetsch、Jörg Pührer、Hans Tompits 相关软件: ASPVIZ;阿司匹林;SeaLion… 主要字段: 总体主题;藏品(00-XX);计算机科学(68-XX);数学教育(97-XX)
棒棒糖 5份文件引用(2010–2016) 软件作者: Karl Mazurak;史蒂夫·兹丹塞维奇 相关软件: VeriML;雷卡姆;哈斯克尔… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);计算机科学(68-XX)
MarCaSPiS公司 5份文件引用(2009–2015) 软件作者: Rocco De Nicola、Diego Latella、Michele Loreti、Mieke Massink 相关软件: 奶牛;MoDeST;科莱姆… 主要字段: 总体主题;藏品(00-XX);数学逻辑与基础(03-XX);概率论与随机过程(60-XX)…