本质 27篇文献引用(2008–2023) 软件作者： 艾伦·M·弗里希（Alan M.Frisch）。；沃里克·哈维；克里斯·杰斐逊（Chris Jefferson）；马丁内斯·埃尔南德斯（Martínez-Hernández），伯纳黛特（Bernadette）；伊恩·米格尔 相关软件： 微量锌；锌；ESRA… 主要字段： 结合环与代数（16-XX）；计算机科学（68-XX）；量子理论（81-XX）…
HOCL公司 7份文件引用(2006–2020) 软件作者： Banâtre，J.-P。；弗雷德，P。；拉德纳克，Y。 相关软件： MGS；汤姆；Stratego… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
格拉帕 8份文件引用(2014–2022) 软件作者： 格哈德·布鲁卡（Gerhard Brewka）；斯特凡·沃尔特兰 相关软件： Lpopt；钻石；Clingo… 主要字段： 历史与传记（01-XX）；计算机科学（68-XX）
套 4份文件引用(2017–2022) 软件作者： David Meyer、Kurt Hornik、Christian Buchta 相关软件： R；关系；fclust… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）
嵌套多集 4份文件引用(2017–2023) 软件作者： 贾斯敏·克里斯蒂安·布兰切特；马蒂亚斯·弗勒里（Mathias Fleury）；德米特里·特拉泰尔 相关软件： Isabelle/HOL；Coq；Isar… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
曝光器 2份文件引用(2021) 软件作者： Khoo，Y.P.，Foster，J.S.，Hicks，M 相关软件： 校对工具；哈斯克尔；半环 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）