cplint公司 7份文件引用(2017–2022) 软件作者： 法布里齐奥·里古齐（Fabrizio Riguzzi）；朱塞佩·科塔；埃琳娜·贝洛迪；里卡多·泽斯 相关软件： ProbLog；SWI-预测；棱镜… 主要字段： 计算机科学（68-XX）
梅林 5份文件引用(2013–2017) 软件作者： Livshits VB、Nori AV、Rajamani SK、Banerjee A 相关软件： JavaScript；萨纳尔；TAJ… 主要字段： 计算机科学（68-XX）
K加热器 3份文件引用(2012) 软件作者： 马克·芬塔默（Marc Finthammer）；马蒂亚斯·蒂姆 相关软件： 炼金术；ProbLog（问题日志） 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
ProBO公司 在0个文档中引用 软件作者： Willie Neiswanger、Kirthevasan Kandasamy、Barnabas Poczos、Jeff Schneider、Eric Xing 相关软件： 超波段；DARTS；GPyOpt… 主要字段： 计算机科学（68-XX）
PyAutoFit（打印自动调整） 在0个文档中引用 软件作者： 詹姆斯。W.南丁格尔、Richard G.Hayes、Matthew Griffiths 相关软件： 朱庇特；蟒蛇；PyAutoLens… 主要字段： –