协处理器 12份文件引用(2015–2021) 软件作者： 诺伯特·曼泰 相关软件： 玲玲；MiniSat；弯曲… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
直觉 6篇文献引用（2015年至2022年） 软件作者： 科恩·克莱森；丹·罗森 相关软件： IntHistGC；fCube；ILTP… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
圣甲虫 2份文件引用(2014) 软件作者： Soh、Takehide；Tamura、Naoyuki；穆苏诺里·班巴拉 相关软件： 周六4j；GRAPPA；Lynx… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）