VESTA公司 22篇文献引用(2007–2021) 软件作者： Koushik Sen、Mahesh Viswanathan、Gul Agha 相关软件： 棱镜；莫德；HOL… 主要字段： 数学逻辑与基础（03-XX）；概率论与随机过程（60-XX）；统计学（62-XX）…
MultiVeStA公司 6篇文献引用(2016–2023) 软件作者： 斯特凡诺·塞巴斯蒂奥；安德烈·范丁 相关软件： 莫德；PVeStA；皮尔洛… 主要字段： 数学逻辑与基础（03-XX）；统计学（62-XX）；计算机科学（68-XX）…
马文 5份文件引用(2006–2017) 软件作者： ChemAxon有限公司。 相关软件： Jmol；宾沃克斯；alr3… 主要字段： 统计学（62-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…