阿贝拉 57篇文献引用(2008–2023) 软件作者： 安德鲁·加塞克 相关软件： Twelf公司；白鲸；Coq… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）…
AIS-BN公司 21篇文献引用(2000–2018) 软件作者： Cheng，J。；M.J.德鲁兹泽尔。 相关软件： GAJIT；AMIDST；PMTK… 主要字段： 组合数学（05-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
灵活 22篇文献引用(1990–2009) 软件作者： 贾卡隆，A.，米什拉，P.，普拉萨德，S 相关软件： 皮克特；毫升；JoCaml… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
NoMoRe公司 22篇文献引用(2001–2012) 软件作者： 愤怒，基督徒；Kathrin Konczak；托马斯·林奇 相关软件： 亚萨特；C模型；平滑… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）
BRMaximin公司 6篇文献引用(2021–2023) 软件作者： 威廉·卡巴列罗（William N.Caballero）。；Brian J.，午餐。；理查德·尤伯（Richard P.Uber）。 相关软件： 普里巴斯；挤压探测；差异Sharp… 主要字段： 运筹学、数学规划（90-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
果汁 1份文件引用(2022) 软件作者： Dang，M。；Khosravi，P。；梁，Y。；Vergari，A。；Van den Broeck，G。 相关软件： 斯特鲁德尔 主要字段： 计算机科学（68-XX）