弹丸 71篇文献引用(2006–2023) 软件作者： Sirin，E.，Parsia，B.，Grau，B.C.，Kalyanpur，A.，Katz，Y。；Clark&Parsia有限责任公司 相关软件： FaCT++；赛车手；赫密特… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
赛车手 引用于53份文件(2001–2022) 软件作者： Volker Haarslev、Kay Hidde、Ralf Möller、Michael Wessel 相关软件： FaCT++；颗粒；KL-ONE… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）
迷你Con 在15份文件中引用（2001年-2023年） 软件作者： 雷切尔，波廷格；阿隆·哈列维 相关软件： 核心覆盖；HyperBench；XPath… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
HoTTSQL公司 6篇文献引用(2018–2022) 软件作者： 朱淑墨、康斯坦丁·维茨、张爱文、丹·苏秋 相关软件： Coq；链接；克莱斯利… 主要字段： 数学逻辑与基础（03-XX）；代数拓扑（55-XX）；计算机科学（68-XX）
帕戈达 4份文件引用(2015–2022) 软件作者： 周玉娇；格劳，伯纳多·昆卡；亚沃·内诺夫；马克·卡明斯基（Mark Kaminski）；伊恩·霍洛克斯 相关软件： 数据日志；Polyanna；CEX… 主要字段： 计算机科学（68-XX）
IMLI公司 引用于3份文件(2021–2022) 软件作者： 比什瓦米特拉·戈什，库尔迪普·S·梅尔 相关软件： MLIC；UCI-ml；形状… 主要字段： 统计学（62-XX）；计算机科学（68-XX）