沃夫兰 35篇文献引用(1999–2022) 软件作者： 埃里克，韦贝克；Wil M.P.范德阿尔斯特。 相关软件： PNML；咩咩叫；WSAT… 主要字段： 总体主题；藏品（00-XX）；组合数学（05-XX）；计算机科学（68-XX）…
电动汽车 6篇文献引用(2001–2021) 软件作者： 拉尔斯-奥克·弗雷德隆德；迪利安·古罗夫；托马斯·诺尔；马德斯大坝；托马斯艺术；根纳迪·楚格诺夫 相关软件： 埃尔朗；伊莎贝尔；Coq… 主要字段： 计算机科学（68-XX）
法律规则ML 5份文件引用(2017–2020) 软件作者： Lam、Ho-Pun；穆斯塔法·哈什米；塔拉·阿桑；圭多总督府；莫妮卡·帕尔米拉尼；阿德里安·帕施克（Adrian Paschke）；亚当·怀纳 相关软件： github；精益；登录… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）
自动同步 引用于3份文件(2009–2012) 软件作者： 怀、金鹏；邓婷；李宪贤；杜宗霞；郭慧鹏 相关软件： WSAT；NuSMV；LTSA-WS… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）