大学数学 34份文件引用(2016–2023) 软件作者： 沃沃德斯基，V.，莫特伯格，A.，阿伦斯，B.，莱利，C.，潘尼拉，T.，马特，R。 相关软件： github；Coq；立方体… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
霍特 21篇文献引用(2016–2021) 软件作者： Andrej Bauer、Jason Gross、Peter LeFanu Lumsdaine、Mike Shulman、Matthieu Sozeau、Bas Spitters 相关软件： github；Coq；数学溢出… 主要字段： 数学逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…