AProVE公司 171篇文献引用(2002–2023) 软件作者： Jürgen Giesl、Peter Schneider-Kamp、RenéThiemann 相关软件： 蒂罗尔；多终端；莫德… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；结合环与代数（16-XX）…
接线盒 15篇文献引用(2006–2021) 软件作者： J·恩德鲁利斯 相关软件： AProVE；蒂罗尔；多终端… 主要字段： 数理逻辑与基础（03-XX）；结合环与代数（16-XX）；计算机科学（68-XX）