×

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

大学数学

34份文件引用(2016–2023)
软件作者: 沃沃德斯基,V.,莫特伯格,A.,阿伦斯,B.,莱利,C.,潘尼拉,T.,马特,R。
相关软件: github;Coq;立方体…
主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);范畴理论;同调代数(18-XX)…

HoTT公司

21篇文献引用(2016–2021)
软件作者: Andrej Bauer、Jason Gross、Peter LeFanu Lumsdaine、Mike Shulman、Matthieu Sozeau、Bas Spitters
相关软件: github;Coq;数学溢出…
主要字段: 数学逻辑与基础(03-XX);代数几何(14-XX);范畴理论;同调代数(18-XX)…

立方agda

17篇文献引用(2020–2023)
软件作者: 安德烈亚·维佐西(Andrea Vezzosi);莫特伯格,安德斯;安德烈亚斯·亚贝尔
相关软件: 立方体;github;Coq…
主要字段: 历史与传记(01-XX);数学逻辑与基础(03-XX);范畴理论;同调代数(18-XX)…

HoTTSQL

6篇文献引用(2018–2022)
软件作者: 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋
相关软件: Coq;克莱斯利;序列…
主要字段: 数学逻辑与基础(03-XX);代数拓扑(55-XX);计算机科学(68-XX)

筛选结果依据…