FAdo公司 19份文件引用(2010–2023) 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 相关软件： 古伊塔；蟒蛇；Vaucanson… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
GUItar公司 11份文件引用(2010–2023) 软件作者： 安德烈·阿尔梅达；马尔科·阿尔梅达；何塞·阿尔维斯；内尔马·莫雷拉；罗杰里奥·里斯 相关软件： FAdo；蟒蛇；Vaucanson… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
校对工具 8份文件引用（2013年-2023年） 软件作者： C.Dunchev、A.Leitsch、T.Libal、M.Riener、M.Rukhaia、D.Weller、B.Woltzenlogel古 相关软件： TPTP；GAPT；切雷斯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）