阿格达 引用于233份文件(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
大学数学 引用于34份文件(2016–2023) 软件作者： 沃沃德斯基，V.，莫特伯格，A.，阿伦斯，B.，莱利，C.，潘尼拉，T.，马特，R。 相关软件： GitHub；Coq；立方体… 主要字段： 数理逻辑与基础（03-XX）；代数几何（14-XX）；范畴理论；同调代数（18-XX）…
奥尔加.lib 7份文件引用(2017–2023) 软件作者： 约翰·霍夫曼，维克托·列万多夫斯基 相关软件： 单数；复数；JAS… 主要字段： 交换代数（13-XX）；结合环与代数（16-XX）；偏微分方程（35-XX）…
算法628 6篇文献引用(1985–2009) 软件作者： 温克勒，F。；Buchberger，B。；Lichtenberger，F。；罗列茨切克，H。 相关软件： SYMMGRP；FGb公司 主要字段： 历史与传记（01-XX）；交换代数（13-XX）；结合环与代数（16-XX）…
IGLUE公司 3份文件引用(2001–2020) 软件作者： Mephu Nguifo，Engelbert；帕特里克·恩吉沃亚 相关软件： FCALGS；添加意向；概念浏览器… 主要字段： 有序，格，有序代数结构（06-XX）；计算机科学（68-XX）