等负荷 在11份文件中引用(2001–2020) 软件作者： Ciardo，G。；A.里斯卡。；史密尼，E。 相关软件： J相；OMNet++；MCQueue… 主要字段： 概率论与随机过程（60-XX）；计算机科学（68-XX）；运筹学，数学编程（90-XX）
FoCaLiZe公司 9份文件引用(2015–2023) 软件作者： INRIA公司；佩索，F.，维娅，P.，多利盖兹，D。 相关软件： Coq；dedukti；PVS… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
FRED公司 6篇文献引用（2015年至2022年） 软件作者： Grefenstette，J.J.、Brown，S.T.、Rosenfeld，R.、DePasse，J.、Stone，N.T.、Cooley，P.C.、Wheaton，W.D.、Fyshe，A.、Galloway，D.D.、Sriram，A.等人。 相关软件： R；github；生物战… 主要字段： 变分法与最优控制；优化（49-XX）；统计学（62-XX）；计算机科学（68-XX）…
双DICE 4份文件引用(2022–2023) 软件作者： Ofir Nachum、Yinlam Chow、Bo Dai、Lihong Li 相关软件： OpenAI健身房；glmer；近似DTR… 主要字段： 统计学（62-XX）；运筹学，数学编程（90-XX）
阿格利特 引用于3份文件（2010年至2017年） 软件作者： 杰米·莫根斯坦（Jamie Morgenstern）；丹尼尔·李卡塔（Daniel R.Licata）。 相关软件： 层流；哈斯克尔；Ynot… 主要字段： 计算机科学（68-XX）
SPNica公司 引用于3份文件(2000–2023) 软件作者： 德语，莱因哈德 相关软件： 时间网络；分享；ESP… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
BaRC公司 2份文件引用(2020–2021) 软件作者： Boris Ivanovic、James Harrison、Apoorva Sharma、Mo Chen、Marco Pavone 相关软件： Python机器人；OpenAI健身房；TAMER… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
Kuai公司 2份文件引用(2019–2021) 软件作者： Majumdar，R.，Tetali，S.D.，Wang，Z。 相关软件： 食蚁兽；VeriCon公司；NetKAT… 主要字段： 计算机科学（68-XX）
从模拟到实验再到真实 1份文件引用(2023) 软件作者： 徐凯智；Ren，Allen Z。；Nguyen，Duy P。；阿尼鲁达·马朱姆达尔；杰米·费萨克（Jaime F.Fisac）。 相关软件： —— 主要字段： 计算机科学（68-XX）