伊萨尔 156篇文献引用(2000–2024) 软件作者： 马卡里乌斯·温泽尔 相关软件： 伊莎贝尔；Isabelle/HOL；Coq… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；组合数学（05-XX）…
K校准仪 52篇文献引用(2007–2024) 软件作者： 罗什、格里戈尔等人 相关软件： 莫德；K工具；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
K工具 20篇文献引用(2010–2022) 软件作者： 大卫·拉扎尔（David Lazar）、安德烈·阿鲁索艾（Andrei Arusoaie）、特拉安·弗洛林·埃尔布努（Traian Florinöerbţnu）、丘奇·埃利森（Chucky Ellison）、拉杜·梅雷塔（Radu Mereuta）、多雷尔·卢卡努（Dorel Lucan 相关软件： K校准仪；莫德；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；生物学和其他自然科学（92-XX）
ShapeNet公司 在16份文件中引用(2018–2023) 软件作者： Angel X.Chang、Thomas Funkhouser、Leonidas Guibas、Pat Hanrahan、Qixing Huang、Zimo Li、Silvio Savarese、Manolis Savva、Shuran Song、Hao Su、Xiao、Li Yi、Fisher Yu 相关软件： PointNet；3D-R2N2；亚当… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
SyncSpecCnn（同步规范cn） 7份文件引用(2018–2022) 软件作者： 李毅、郝苏、郭兴文、列奥尼达斯·吉巴斯 相关软件： PointNet；DeepWalk；SpectralNet… 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；统计力学，物质结构（82-XX）…
临床 4份文件引用(1994–2017) 软件作者： Chu，H.，Plaisted，D.A.，理论博物馆 相关软件： iProver；E-Darvin；达尔文… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
辐条 4份文件引用(2008–2020) 软件作者： Gebser，M.、Pührer，J.、Schaub，T.、Tompits，H.、Woltran，S。 相关软件： 格林戈；天基信息平台；SeaLion… 主要字段： 总体主题；藏品（00-XX）；计算机科学（68-XX）
I2T型 1份文件引用(2012) 软件作者： 姚，B。；Yang，X.先生。；林，L。；Lee，M.W。；朱S.C。 相关软件： Im2Text；密度盖；PASCAL VOC… 主要字段： 计算机科学（68-XX）
LWDOS公司 1份文件引用(2003) 软件作者： 拉拉比、斯利曼；萨利哈·布阿格尔；费利克斯·M·特里斯帕德内。；尤西比奥Lopez de la Fuente 相关软件： —— 主要字段： 计算机科学（68-XX）