Freshml公司 48篇文献引用(2003–2021) 软件作者： M.R.Shinwell、A.M.Pitts、M.Gabbay。 相关软件： Coq；名义上的伊莎贝尔；Twelf… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；一般代数系统（08-XX）…
亚帕 18篇文献引用(2009–2020) 软件作者： 马修·波德特；Cortier，Véronique公司；斯特凡尼德劳恩 相关软件： AVISPA；阿克斯；Maude-NPA… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；信息与通信理论，电路（94-XX）
安全Dpi 在13份文件中引用(2004–2011) 软件作者： 轩尼诗，马修；朱利安·拉特克（Julian Rathke）；吉田信子 相关软件： 乔卡姆；MJ；Jif… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
快速的 7份文件引用(2011–2020) 软件作者： 海参、布鲁诺；Basin，David A。；卡洛斯·卡莱罗 相关软件： 阿克斯；YAPA；Apte… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
工艺品 4份文件引用(2011–2022) 软件作者： 伊万·波利亚科夫；丹尼尔·索科洛夫；安德烈·莫霍夫 相关软件： VipTool；基因；石化… 主要字段： 阶、格、有序代数结构（06-XX）；计算机科学（68-XX）
重复性包 1份文件引用(2022) 软件作者： 亚历山大·比尔格拉姆（Alexander Bilgram）；彼得·詹森（Peter G.Jensen）。；托马斯·佩德森；吉·斯尔巴；Peter H.Taankvist。 相关软件： GreatSPN；塔帕尔；ITS工具… 主要字段： 计算机科学（68-XX）