埃尔米特 26篇文献引用(2013–2023) 软件作者： 格利姆，伯尔特；伊恩·霍洛克斯（Ian Horrocks）；Boris Motik；乔戈斯·斯托洛斯（Giorgos Stoilos）；王哲；右采煤机。 相关软件： 颗粒；FaCT++；Konclude… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
无HR 6篇文献引用（2015年至2022年） 软件作者： 卡洛斯·洛佩斯；马蒂亚斯·克诺尔；约昂·莱特 相关软件： Potassco；康clude；赫密特… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
酷 3份文件引用(2014–2018) 软件作者： 丹尼尔·戈林；德克·帕丁森；卢茨·施罗德；弗洛里安·维德曼；托尔斯滕·魏斯曼 相关软件： LoTREC公司；精益K；E定理证明… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）