元工具 22篇文献引用(2007–2019) 软件作者： 冯·坎普A、舒斯特S 相关软件： efmtool；凯格；亚纳… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
女妖 5份文件引用(2007–2020) 软件作者： 约翰·科杜马尔（John Kodumal）；亚历克斯·艾肯 相关软件： 锈蚀；github；z3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
朱莉娅 2份文件引用(2013–2015) 软件作者： 福斯托·斯波托 相关软件： FunArray；Julia静态分析仪；ASTREE公司 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
PRINSYS公司 1份文件引用(2019) 软件作者： Gretz，F.、Katoen，J.-P.、McIver，A。 相关软件： CEGAR；Aligator.jl；风暴… 主要字段： 计算机科学（68-XX）