LISP公司 114篇文献引用(1960–2023) 软件作者： 约翰·麦卡锡 相关软件： ACL2；NQTHM；哈斯克尔… 主要字段： 数理逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）…
DeMat公司 29篇文献引用(2008–2023) 软件作者： Storn R、Price K、Neumaier A、Zandt合资公司 相关软件： 玉；CEC 05；ElemStatLearn… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
MleanCoP公司 16篇文献引用(2014–2023) 软件作者： 延斯·奥滕 相关软件： TPTP；QMLTP；E定理证明器… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
组合学_单词 10篇文献引用(2017–2023) 软件作者： Štěpán Holub；马丁·拉什卡；Štěpán Starosta 相关软件： Isabelle/HOL；伊莎贝尔；存档正式证据… 主要字段： 计算机科学（68-XX）
mkESA公司 2份文件引用(2014–2023) 软件作者： Robert Homann、David Fleer、Robert Giegerich、Marc Rehmsmeier 相关软件： CMU基准；BWA公司 主要字段： 计算机科学（68-XX）
利比加米斯 2份文件引用(2014–2015) 软件作者： 阿拉希奥提斯，北卡罗来纳州。；Berger，S。；Flouri，T。；Pissis，S.P。；斯塔马塔基斯，A。 相关软件： BWA；肥皂；EMBOSS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；生物学和其他自然科学（92-XX）
减少 2份文件引用(2017–2020) 软件作者： 汤米·琼蒂拉；马蒂·卡帕；佩特里·卡斯基（Petteri Kaski）；朱卡·科亨 相关软件： 斯普拉茨；Treengeling；弯曲… 主要字段： 计算机科学（68-XX）