萨塔拉克 67篇文献引用(2010–2023) 软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒 相关软件: TPTP;Isabelle/HOL;LEO-II… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
大学数学 34份文件引用(2016–2023) 软件作者: 沃沃德斯基,V.,莫特伯格,A.,阿伦斯,B.,莱利,C.,潘尼拉,T.,马特,R。 相关软件: GitHub;辅酶q;立方体… 主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);范畴理论;同调代数(18-XX)…