伯克明州 149份文件引用(2002–2022) 软件作者： 尤金·戈德伯格（Eugene Goldberg）；雅科夫·诺维科夫 相关软件： 糠；MiniSat；SATO… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…
VIKOR公司 47篇文献引用(2007–2024) 软件作者： 奥普利科维奇，塞拉菲姆；曾国雄 相关软件： MADM；PROMETHEE-MD；电气… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
迪纳摩 19份文件引用（2011年-2023年） 软件作者： 迪坎迪亚，G。；哈斯托伦，D。；詹帕尼，M。；Kakulapati，G。；拉克希曼，A。；Pilchin，A。；Sivasubramanian，S。；Vosshall，P。；沃格尔，W。 相关软件： 卡桑德拉；和弦；Bigtable… 主要字段： 概率论与随机过程（60-XX）；统计学（62-XX）；计算机科学（68-XX）…
内容CVS 5份文件引用(2014–2019) 软件作者： E.Jiménez-Ruiz、B.Cuenca Grau、I.Horrocks、R.Berlanga 相关软件： CEX；Ontop；MWB… 主要字段： 计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
ACT-R公司 4份文件引用（2014年至2020年） 软件作者： 约翰·安德森（John R.Anderson）；丹尼尔·加尔（Daniel Gall）；托姆·吕维思 相关软件： 贝叶斯DA；坚果；CLARION… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）
镜子 3份文件引用(2002–2020) 软件作者： 熊明；拉马姆里萨姆，克里蒂；Haritsa，Jayant R。；约翰·斯坦科维奇。 相关软件： SimDVS公司 主要字段： 计算机科学（68-XX）
食腐动物 4份文件引用（2017年至2021年） 软件作者： 达尼亚尔·伊特古洛夫；约翰·斯莱尼；布鲁诺沃尔岑洛格尔古 相关软件： E定理证明器；水獭；VAMPIRE… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
基马 2份文件引用(1999–2006) 软件作者： 德容、希德；尼古拉斯·马尔斯；保罗·范德维特 相关软件： – 主要字段： 计算机科学（68-XX）；可变形固体力学（74-XX）；生物学和其他自然科学（92-XX）…
PRe学习 2份文件引用(2022–2023) 软件作者： 约瑟夫·E·里夫斯。；Heule，Marijn J.H。；Randal E.布莱恩特。 相关软件： CaDiCaL；Paracooba；基萨特… 主要字段： 计算机科学（68-XX）
考拉 1份文件引用(2023) 软件作者： 博纳西纳（Bonacina）、玛丽亚·保拉（Maria Paola）；莎拉·温克勒 相关软件： 常春藤；常春藤；iProver… 主要字段： 计算机科学（68-XX）