ArcAngel公司 14篇文献引用(2003–2023) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；安娜·卡瓦尔坎蒂；吉姆·伍德科克 相关软件： 马戏团；Z；电源保护… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
孩子们 11份文件引用(1992–2021) 软件作者： D.R.史密斯 相关软件： 定理；ALISA；TAMPR… 主要字段： 组合数学（05-XX）；线性代数和多线性代数；矩阵理论（15-XX）；计算机科学（68-XX）
ArcAngelC公司 5份文件引用(2010–2015) 软件作者： 马塞尔·奥利维拉（Marcel Oliveira）；泽达，弗兰克；安娜·卡瓦尔坎蒂 相关软件： 马戏团；Z；电源保护… 主要字段： 计算机科学（68-XX）