凯伊迈拉X 26篇文献引用(2015–2024) 软件作者： Fulton，N.、Mitsch，S.、Quesel，J.、Völp，M.、Platzer，A。 相关软件： 凯伊迈拉；Isabelle/HOL；Bellerophon… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
三倍的 16篇文献引用(2002–2015) 软件作者： Michael Sintek；斯特凡·戴克 相关软件： SPARQL；平滑；XSB… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；天文学和天体物理学（85-XX）…
RSBR公司_ 18篇文献引用（2001年至2020年） 软件作者： 钟宁；董菊珍；Setsuo Ohsuga 相关软件： LERS；C4.5；D-SCIDS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
HiTag2标签 10篇文献引用(2009–2021) 软件作者： – 相关软件： 谷物；RAKAPOSHI；OpenCL… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；交换代数（13-XX）…
贝勒罗芬 8份文件引用(2017–2023) 软件作者： 富尔顿，内森；斯特凡·米奇；博勒，布兰登；安德烈·普拉泽 相关软件： 凯伊迈拉X；凯伊迈拉；ModelPlex… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；计算机科学（68-XX）…
CalCS公司 8份文件引用(2013–2019) 软件作者： Nuzzo，P.、Puggelli，A.、Seshia，S.A.、Sangiovanni-Vincentelli，A.L。 相关软件： dReal；z3；dReach… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
无HR 6篇文献引用(2015–2022) 软件作者： 卡洛斯·洛佩斯；马蒂亚斯·克诺尔；约昂·莱特 相关软件： Potassco；康clude；赫密特… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
COSMOS公司 6篇文献引用(2013–2021) 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： 棱镜；Ymer；VESTA… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
HASL公司 6篇文献引用(1986–2016) 软件作者： Ballarini，P.、Djafri，H.、Duflot，M.、Haddad，S.、Pekergin，N。 相关软件： COSMOS；Uppaal；棱镜… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
帕戈达 4份文件引用(2015–2022) 软件作者： 周玉娇；格劳，伯纳多·昆卡；亚沃·内诺夫；马克·卡明斯基（Mark Kaminski）；伊恩·霍洛克斯 相关软件： 数据日志；Polyanna；CEX… 主要字段： 计算机科学（68-XX）
PelletSpatial公司 2份文件引用(2015–2016) 软件作者： 斯托克，M。；Sirin，E。 相关软件： GeoSPARQL；数据日志；SPARQL公司 主要字段： 计算机科学（68-XX）
EFSMT公司 2份文件引用(2016–2019) 软件作者： Cheng CH、Shankar N、Ruess H、Bensalem S 相关软件： z3；Yices；SMT-RAT… 主要字段： 计算机科学（68-XX）