TREX公司 39篇文献引用(2001–2021) 软件作者： Aurore Annichini；艾哈迈德·博阿贾尼；米哈埃拉·西希雷亚努 相关软件： 快速；高科技；LASH… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
WSAT公司 29篇文献引用(2004–2019) 软件作者： 傅湘；布尔坦、特夫菲克；苏建文 相关软件： BPEL2PN；CADP；旋转… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）…
荷鲁斯 14篇文献引用(1995–2019) 软件作者： Robbert Van Renesse、Takako M.Hickey、Kenneth P.Birman 相关软件： Nuprl；PVS；Verdi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）…
lcpSim公司 6篇文献引用(2001–2011) 软件作者： Sztrik，J。；O·莫勒。 相关软件： 马赛尔；GreatSPN 1.7；GreatSPN公司 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）
德波拉 3份文件引用(2012–2023) 软件作者： 卢卡·比斯蒂（Luca Bisti）；卢西亚诺·伦齐尼；恩佐·明戈齐；乔瓦尼·斯特亚 相关软件： DiscoDNC；科雷利；NC-Maude… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
NuMesh（无网格） 1份文件引用(1996) 软件作者： 大卫·舒梅克（David Shoemaker）；奥诺雷，弗兰克；克里斯·梅特卡夫（Chris Metcalf）；史蒂夫·沃德 相关软件： XPP-VC公司 主要字段： 计算机科学（68-XX）
CyNC公司 1份文件引用(2023) 软件作者： Henrik Schioler；汉斯·施维费尔（Hans P.Schwefel）。；马丁·汉森。 相关软件： 科雷利；NC-Maude；德波拉… 主要字段： 信息与通信理论，电路（94-XX）
Prpu_Maxflow（最大流量） 1份文件引用(2019) 软件作者： 彼得·兰米奇（Peter Lammich）；S.雷扎·塞菲加 相关软件： Dijkstra最短路径；Why3；WhyML… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）