污水处理厂 46篇文献引用(2007–2023) 软件作者： 维杰·加内什（Vijay Ganesh）；特雷弗·汉森；马特·索斯；Dan Liew；Ryan Govostes；安德鲁·琼斯；等。 相关软件： z3；投掷；可爱… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数值分析（65-XX）…
SMT-RAT型 25篇文献引用(2013–2024) 软件作者： Corzilius，F.、Kremer，G.、Junges，S.、Schupp，S.和Al brahám，E。 相关软件： z3；SMT-LIB；CVC4… 主要字段： 数学逻辑与基础（03-XX）；交换代数（13-XX）；代数拓扑（55-XX）…
内部控制系统 19份文件引用（2001年至2016年） 软件作者： Jean-Christophe Filliátre；猫头鹰，山姆；哈拉尔德街；Natarajan Shankar 相关软件： CVC-Lite；CVC；箔条… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；场论与多项式（12-XX）…
动态 7份文件引用(2017–2022) 软件作者： 尼古拉·普雷扎 相关软件： github；get-git-revisions；r-指数… 主要字段： 计算机科学（68-XX）；生物学和其他自然科学（92-XX）
CoSA公司 2份文件引用(2020–2022) 软件作者： Mattarei，C.、Mann，M.、Barrett，C.等人。 相关软件： 尤瑟斯；爱格；BtorMC… 主要字段： 计算机科学（68-XX）