阿格达 233份文件引用(1999–2024) 软件作者： 乌尔夫·诺雷尔 相关软件： Coq；哈斯克尔；Isabelle/HOL… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）…
幽灵克星 2份文件引用(2016–2019) 软件作者： 特雷弗·麦克唐奈。；Timothy A.K.Zakian。；马蒂奥·西米尼；Ryan R.牛顿。 相关软件： 举起；转让；立方… 主要字段： 计算机科学（68-XX）
SHErrLoc公司 1份文件引用(2015) 软件作者： 安德鲁·迈尔斯（Andrew Myers）、张丹凤（Danfeng Zhang） 相关软件： OCaml；EasyOCaml；vZ… 主要字段： 计算机科学（68-XX）