C-SHORe公司 6篇文献引用(2013–2017) 软件作者： 克里斯托弗·布劳德本特（Christopher Broadbent）；Carayol，阿诺；马修·黑格；奥利维尔·塞雷 相关软件： AProVE；廷巴克；MoCHi… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
TravMC2（移动MC2） 5份文件引用(2016–2020) 软件作者： Robin P.Neatherway，C.-H.Luke Ong 相关软件： ByMC；github；MoCHi… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
TravMC公司 2份文件引用(2012–2017) 软件作者： 不远处，罗宾·P。；史蒂文·拉姆齐（Steven J.Ramsay）。；王志浩（音） 相关软件： TravMC2；github；MoCHi… 主要字段： 计算机科学（68-XX）
布拉加方法 1份文件引用(2022) 软件作者： 多米尼克·拉切·温德林（Dominique Larchey-Wendling）；Jean-François莫宁 相关软件： OCaml；CompCert公司；Coq公司 主要字段： 计算机科学（68-XX）
THORS公司 1份文件引用(2012) 软件作者： Lester，M.M.，Neatherway，R.P.，Ong，C.-H.L.，Ramsay，S.J。 相关软件： TRecS；特征CFA 主要字段： 计算机科学（68-XX）