卡奈德（Carneades） 9份文件引用(2007–2021) 软件作者： 汤姆·戈登；沃尔顿 相关软件： 钻石；糠；MiniSat… 主要字段： 历史与传记（01-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
德摩尼克 1份文件引用(2015) 软件作者： 萨姆森·艾布拉姆斯基；多米尼克·霍斯曼 相关软件： – 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；经典热力学，传热（80-XX）…