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）…
POLSYS_GLP公司 9份文件引用(2006–2017) 软件作者： 苏海军；J.迈克尔·麦卡锡；Masha Sosonkina；莱恩·T·沃森 相关软件： 贝尔蒂尼；PHCpack；POLSYS_PLP… 主要字段： 场论与多项式（12-XX）；代数几何（14-XX）；复变量函数（30-XX）…
HoTTSQL 6篇文献引用(2018–2022) 软件作者： 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件： 辅酶q；链接；克莱斯利… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
ADHO公司 2份文件引用(2012–2021) 软件作者： 刘银平；廖世军；李志斌 相关软件： 枫树 主要字段： 代数拓扑（55-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）；系统论；控制（93-XX）