IMPS公司 52篇文献引用(1990–2021) 软件作者： Farmer，William M。；约书亚·D·古特曼。；塞耶，F.哈维尔 相关软件： 伊莎贝尔；Nuprl；Coq… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；数学逻辑与基础（03-XX）…
HOLyHammer公司 31份文件引用(2014–2022) 软件作者： 塞萨里·卡利西克；约瑟夫·乌尔班 相关软件： HOL灯；VAMPIRE公司；E定理证明… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；光学、电磁理论（78-XX）
科奎利科 22篇文献引用(2015–2024) 软件作者： 西尔维·博尔多；凯瑟琳·勒雷（Catherine Lelay）；纪尧姆·梅尔昆德 相关软件： Coq；Isabelle/HOL；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；实函数（26-XX）；常微分方程（34-XX）…
ObliVM公司 14篇文献引用(2017–2023) 软件作者： Liu，C.，Wang，X.，Nayak，K.，Huang，Y.，Shi，E。 相关软件： ABY；JustGarble；倾斜-C… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；信息与通信理论，电路（94-XX）
OrcrasWeb公司 1份文件引用(2014) 软件作者： 泰国克里斯蒂娜·桑帕约·马查多；皮涅罗（Pl’acido Rogerio）；伊莎贝尔·塔玛尼尼 相关软件： 伊莎贝尔 主要字段： 统计学（62-XX）；运筹学、数学规划（90-XX）