清洁 56篇文献引用(1987–2016) 软件作者： 医学博士Plasmeijer。 相关软件： 哈斯克尔；米兰达；闪光… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…
BRANECODE公司 3份文件引用(2005–2007) 软件作者： 约翰·U·马丁。；加里·费尔德。；安德烈·弗罗洛夫（Andrei V.Frolov）。；列夫·科夫曼；马可·佩洛佐 相关软件： – 主要字段： 量子理论（81-XX）；相对论和引力理论（83-XX）