SETHEO公司 118篇文献引用(1990–2022) 软件作者： Letz，R。；舒曼，J。；拜耳，S。；比贝尔，W。 相关软件： TPTP；水獭；SPASS… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；数值分析（65-XX）…
MaLeCoP公司 30篇文献引用(2011–2023) 软件作者： Josef Urban、JiříVyskočil、PetrŠtěpánek 相关软件： E定理证明；马拉雷亚；Mizar… 主要字段： 数理逻辑与基础（03-XX）；几何（51-XX）；计算机科学（68-XX）
FEMaLeCoP公司 23篇文献引用(2015–2023) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： E定理证明；MaLeCoP；精简CoP… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；几何（51-XX）…
格林 5份文件引用（2001年至2008年） 软件作者： 希格弗里德·霍芬格 相关软件： 精密路径指示器；Gprof；线性代数库 主要字段： 数值分析（65-XX）；计算机科学（68-XX）；量子理论（81-XX）…
iTIS心理健康网络 3份文件引用(2017–2018) 软件作者： Kabir M、Iqbal M、Ahmad S、Hayat M 相关软件： iCar-PseCp；iRSpot-EL；iPreny-PseAAC… 主要字段： 生物学和其他自然科学（92-XX）
雇佣 1份文件引用(2022) 软件作者： 克雷维科尔，乔纳斯；Jens Robben；安东尼奥·卡特里恩 相关软件： gbm；SynthETIC；R、 … 主要字段： 博弈论、经济学、金融和其他社会和行为科学（91-XX）
restez公司 在0个文档中引用 软件作者： 多米尼克·J·贝内特（Dominic J.Bennett）；汉内斯·赫特林；丹尼尔·西尔维斯特罗；罗格斯沃斯大学；亚历山大·安东内利 相关软件： 伦特斯；Entrez；门… 主要字段： ——