Reluplex公司 71篇文献引用(2017–2024) 软件作者： 盖伊·卡茨、克拉克·巴雷特、大卫·迪尔、凯尔·朱利安、米克尔·科钦德费尔 相关软件： 马拉博；AI2；NNV… 主要字段： 概率论与随机过程（60-XX）；数值分析（65-XX）；计算机科学（68-XX）…
卡门 2份文件引用(2005–2009) 软件作者： 蒙特默罗，M.，罗伊，N.，特伦，S 相关软件： 活性氧；高温；Tekkotsu… 主要字段： 计算机科学（68-XX）；系统论；控制（93-XX）
PANOC公司 5份文件引用(2020–2023) 软件作者： Sathya，A.，Sopasakis，P.，Themelis，A.，Parys，R.V.，Pipeleers，G.，Patrinos，P。 相关软件： HPIPM；LiftOpt；acados… 主要字段： 变分法与最优控制；优化（49-XX）；数值分析（65-XX）；计算机科学（68-XX）…
性格 引用于3份文件(2014–2023) 软件作者： Y.Li、W.Jia、C.Shen、A.van den Hengel 相关软件： COCO-文本；R2CNN；SReN… 主要字段： 计算机科学（68-XX）；信息与通信理论，电路（94-XX）
发动机控制模块 1份文件引用(2016) 软件作者： van Toll，Wouter；库克四世，阿特拉斯·F。；范·克雷维尔德（Marc van Kreveld）；罗兰·杰勒茨 相关软件： Unity3D；VRONI公司 主要字段： 计算机科学（68-XX）