GENREG公司 70篇文献引用(1999–2024) 软件作者： 马库斯·梅林格 相关软件： 鹦鹉螺；踪迹；图形之家… 主要字段： 组合数学（05-XX）；几何（51-XX）；计算机科学（68-XX）…
SQEMA公司 40篇文献引用(2005–2021) 软件作者： 威廉·康雷迪（Willem Conradie）；瓦伦丁·戈兰科 相关软件： Isabelle/HOL；认识逻辑；存档正式证据… 主要字段： 数学逻辑与基础（03-XX）；阶、格、有序代数结构（06-XX）；计算机科学（68-XX）…
阿根廷 3份文件引用(2002–2009) 软件作者： Serge S.Tratch。；Marina S.Molchanova。；尼古拉·泽菲罗夫。 相关软件： —— 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）