GEX公司 34份文件引用(1996–2023) 软件作者： Gao，X.-S.等。 相关软件： GeoGebra；日本国债交易所；GCLC… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；数值分析（65-XX）…
ArgoCLP公司 14篇文献引用(2011–2023) 软件作者： 萨那斯托亚诺维奇；巴甫洛维奇，韦斯纳；Janičić，普雷德拉格 相关软件： Coq；GCLC；TPTP… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）…
加利福尼亚州 4份文件引用(2007–2014) 软件作者： Fonseca MJ、Pimentel C、Jorge JA 相关软件： SketchREAD；塔胡提；HCRF… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
地理2007F 4份文件引用(2011–2018) 软件作者： de Nivelle，H。 相关软件： MiniSat；ModGen；CVC精简版… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
业务运营 2份文件引用(2011–2020) 软件作者： 沃尔特·阿利尼·马蒂亚斯·博德斯 相关软件： 埃比格；github；pdfCluster… 主要字段： 统计学（62-XX）；数值分析（65-XX）；计算机科学（68-XX）
向ATINF致敬 2份文件引用(2001–2012) 软件作者： 卡费拉、里卡多；尼古拉斯·佩尔蒂埃（Nicolas Peltier）；弗朗索瓦·普伊特 相关软件： GEX；日本国债交易所；发现者… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
GMBL公司 1份文件引用(2021) 软件作者： Ryan Krueger；Han、Jesse Michael；丹尼尔·塞尔萨姆 相关软件： TensorFlow；MMP/Geometer；GEOTHER 1.1… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）