UPPAAL TIGA公司 48篇文献引用(2007–2023) 软件作者： Behrmann，G.、Cougnard，A.、David，A.、Fleury，E.、Larsen，K.G.、Lime，D。 相关软件： Uppaal；棱镜；合成… 主要字段： 线性代数和多线性代数；矩阵理论（15-XX）；变分法与最优控制；优化（49-XX）；计算机科学（68-XX）…
PGSolver公司 41篇文献引用(2009–2023) 软件作者： 奥利弗·弗里德曼；马丁·兰格 相关软件： Oink；条纹；mCRL2… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）…
GAMUT公司 18篇文献引用(2007–2023) 软件作者： 尤金·努德曼（Eugene Nudelman）、詹妮弗·沃特曼（Jennifer Wortman）、凯文·莱顿·布朗（Kevin Leyton-Brown）、约夫·肖姆（Yoav Shoham） 相关软件： 赌博；CPLEX；MINOS… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
GAVS公司 10篇文献引用(2005–2022) 软件作者： Cheng，Chih-Hong；巴克尔（Christian Buckl）；Michael Luttenberger；阿洛伊斯·诺尔 相关软件： 主旨；PRISM-名称；棱镜… 主要字段： 计算机科学（68-XX）；粒子和系统力学（70-XX）；运筹学，数学规划（90-XX）…
EAGLE公司 10篇文献引用(2015–2021) 软件作者： 亚历克西斯·图米；朱利安·古铁雷斯（Julian Gutierrez）；迈克尔·伍尔德里奇 相关软件： 棱镜；PRISM-名称；MCMAS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
欧氏瓣心内膜炎 7份文件引用（2019年-2023年） 软件作者： 穆罕默德·纳吉布 相关软件： MCMAS；普拉林；MCMAS-SLK… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
QUASY公司 6篇文献引用(2011–2021) 软件作者： 克里希南多·查特吉；托马斯·亨辛格（Thomas A.Henzinger）。；巴巴拉·乔布斯曼（Barbara Jobstmann）；罗希特·辛格 相关软件： 棱镜；摩卡；PRISM-games… 主要字段： 计算机科学（68-XX）；运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
长期平均价格 5份文件引用(2017–2022) 软件作者： Cameron Finucane；港元景；哈达斯·克雷斯·加济特 相关软件： TuLiP；佩索阿；SCOTS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…