陌生人 22篇文献引用(2011–2023) 软件作者： 方宇、穆阿特·阿尔哈拉夫、特维克·布尔坦 相关软件： 汉普；S3；Z3str3… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
SPeeDI公司 7份文件引用(2002–2017) 软件作者： 细辛，尤金；佩斯，戈登；杰拉尔多·施奈德；塞尔吉奥·尤文 相关软件： GSPeeDI；高科技；ParaPlan… 主要字段： 常微分方程（34-XX）；计算机科学（68-XX）；系统论；控制（93-XX）
C-SHORe公司 6篇文献引用(2013–2017) 软件作者： 克里斯托弗·布劳德本特（Christopher Broadbent）；Carayol，阿诺；黑格，马修；奥利维尔·塞雷 相关软件： AProVE；廷巴克；MoCHi… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）