交通 8份文件引用(2015–2022) 软件作者： Udupa，A.、Raghavan，A.、Deshmukh，J.V.、Mador-Haim，S.、Martin，M.M.、Alur，R。 相关软件： CVC4；z3；简单… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
羚羊 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；克里奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
卡利班 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 阿里尔；克里奥；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
克里奥 2份文件引用(1991) 软件作者： 詹姆斯·M·莫里斯。；马克·霍华德 相关软件： 卡利班；阿里尔；米兰达 主要字段： 数学逻辑与基础（03-XX）；数值分析（65-XX）；计算机科学（68-XX）
JKernelmachines公司 1份文件引用(2013) 软件作者： 戴维·皮卡德（David Picard）；尼古拉斯·托姆（Nicolas Thome）；绳索，马蒂厄 相关软件： Scikit；JMLR MLOSS；科恩拉布… 主要字段： 计算机科学（68-XX）
PNlib（PNlib） 1份文件引用(2020) 软件作者： Sabrina专业；伯恩哈德·巴赫曼 相关软件： Modelica；PetriFlow；迪莫拉 主要字段： 生物学和其他自然科学（92-XX）；系统论；控制（93-XX）