AURA公司 10篇文献引用(2008–2016) 软件作者： 贾利民；杰弗里·沃恩（Jeffrey A.Vaughan）。；Karl Mazurak；赵建洲；卢克·扎尔科；约瑟夫·肖尔（Joseph Schorr）；史蒂夫·兹丹塞维奇 相关软件： Coq；F*；Agda… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
TensorHive公司 1份文件引用(2021) 软件作者： 帕韦·罗希·齐泽夫斯基；马蒂尼亚克，米夏乌；菲利普·肖多夫斯基 相关软件： 泥浆；PyTorch；TensorFlow公司 主要字段： 计算机科学（68-XX）