RVT（RVT） 4份文件引用(2016–2021) 软件作者： 斯特里奇曼，奥弗；毛尔·维茨曼 相关软件： z3；布吉；SymDiff… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
测试代码.py 1份文件引用(2022) 软件作者： J.斯宾塞 相关软件： 量子移动；量子浓缩咖啡；CMake… 主要字段： 组合数学（05-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）…