帕科 25篇文献引用(2013–2021) 软件作者： Chung-Kil Hur、Georg Neis、Derek Dreyer、Viktor Vafeiadis 相关软件： Coq；Isabelle/HOL；Agda… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
MiniAgda公司 在11份文件中引用(2011–2023) 软件作者： A.阿贝尔。 相关软件： Coq；阿格达；GitHub… 主要字段： 数学逻辑与基础（03-XX）；范畴理论；同调代数（18-XX）；代数拓扑（55-XX）…