GMO公司 引用于3份文件(2002–2008) 软件作者： 辛弃疾；M.H.Khammash；M.V.萨拉帕卡 相关软件： QDES公司 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）；信息与通信理论，电路（94-XX）
西塔 2份文件引用(2015–2021) 软件作者： 乔蒂莫·德斯穆赫（Jyotirmoy Deshmukh）；金小青；詹姆斯·卡宾斯基；奥德·马勒 相关软件： 违约；S-TaLiRo；自适应压力测试.jl… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
SVR-AMA公司 1份文件引用(2019) 软件作者： 劳拉·费兰蒂；Pu，Ye；科林·琼斯。；塔马斯·凯维茨基 相关软件： MPT公司 主要字段： 运筹学、数学规划（90-XX）；系统论；控制（93-XX）