检查VML 8份文件引用(2004–2019) 软件作者： 阿尔科斯·施密特（Dániel Varró） 相关软件： 自旋蛋白；沟槽；茂物… 主要字段： 组合数学（05-XX）；计算机科学（68-XX）
MOFLON公司 1份文件引用(2006) 软件作者： Amelunxen，C.、Königs，A.、Rötschke，T.、Schürr 相关软件： 聚四氟乙烯；进度；AGG… 主要字段： 计算机科学（68-XX）
ConArg2公司 8份文件引用(2014–2022) 软件作者： Bistarelli，S。；罗西，F。；F.桑蒂尼。 相关软件： AFRA；MiniSat；邓金… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；计算机科学（68-XX）
模糊的 7份文件引用(1985–2017) 软件作者： 托马斯·莱曼；雅克·勒克斯 相关软件： Nuprl；LCF；曼蒂萨… 主要字段： 总体主题；藏品（00-XX）；历史与传记（01-XX）；动力系统和遍历理论（37-XX）…
产品生命周期管理 3份文件引用(2020) 软件作者： 丹尼尔·基什内尔 相关软件： Isabelle/HOL；精益；逻辑键… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）；粒子和系统力学（70-XX）
DiArg公司 2份文件引用(2022–2023) 软件作者： 蒂莫修斯·坎皮克（Timotheus Kampik），多夫·加巴伊（Dov Gabbay） 相关软件： 崔弟 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
欧洲广告标准 2份文件引用(2001–2005) 软件作者： Vivek K.Shanbhag。；Gopinath，K。；马尔库·图伦；阿里·阿赫蒂安；马蒂·卢克凯宁 相关软件： – 主要字段： 计算机科学（68-XX）
CRDT公司 1份文件引用(2020) 软件作者： 维克托·戈麦斯（Victor B.F.Gomes）；马丁·克莱普曼；多米尼克·P·穆里根；阿拉斯泰尔·贝雷斯福德 相关软件： GitHub；存档正式证据；布吉 主要字段： 计算机科学（68-XX）