斯卡拉 88篇文献引用(2005–2023) 软件作者: Christos K.K.Loverdos。;阿波斯托洛斯·西罗普洛斯 相关软件: Coq;z3;轻量级Java… 主要字段: 数学逻辑与基础(03-XX);统计学(62-XX);数值分析(65-XX)…
萨塔拉克 67篇文献引用(2010–2023) 软件作者: 乍得·E·布朗;安德烈亚斯·提克(Andreas Teucke);杰夫·萨克利夫(Geoff Sutcliffe);弗兰克·泰伊;格特·斯莫尔卡;朱利安·巴克斯;克里斯·本兹米勒 相关软件: TPTP;Isabelle/HOL;LEO-II… 主要字段: 数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX);计算机科学(68-XX)
立方agda 17篇文献引用(2020–2023) 软件作者: 安德烈亚·维佐西(Andrea Vezzosi);莫特伯格,安德斯;安德烈亚斯·亚贝尔 相关软件: 立方体;github;Coq… 主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…
SMTCoq公司 14篇文献引用(2017–2022) 软件作者: Ekici,B.等人。 相关软件: Coq;Isabelle/HOL;CVC4… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);几何(51-XX)…
FinFuns公司 5份文件引用(2009–2017) 软件作者: 安德烈亚斯·洛赫比勒 相关软件: Isabelle/HOL;伊莎贝尔;HOL… 主要字段: 数学逻辑与基础(03-XX);组合数学(05-XX);有序,格,有序代数结构(06-XX)…