公主 30篇文献引用（2010年-2023年） 软件作者： Angelo Brillout、Daniel Kroening、Philipp Rümmer、Thomas Wahl 相关软件： FOCI；z3；Eldarica… 主要字段： 总体主题；藏品（00-XX）；数理逻辑与基础（03-XX）；计算机科学（68-XX）
Presburger Automata公司 9份文件引用(2009–2019) 软件作者： 斯特凡·贝尔霍弗；马库斯·雷特 相关软件： 存档正式证据；Isabelle/HOL；Myhill-Nerode… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
Eldarica公司 7份文件引用(2016–2023) 软件作者： 侯赛因·霍贾特；菲利普·科内钦；佛罗伦萨加尼尔；Iosif，Radu；维克多·昆卡；菲利普·吕默 相关软件： 公主；FLATA；z3… 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）
终结者 4份文件引用(2013–2022) 软件作者： 徐明；李志斌 相关软件： LoAT；停机坪；GitHub… 主要字段： 数理逻辑与基础（03-XX）；群论与推广（20-XX）；动力系统和遍历理论（37-XX）…
瓦斯 2份文件引用(2019–2020) 软件作者： Sakaguchi，K。 相关软件： github；停机坪；PPL… 主要字段： 凸和离散几何（52-XX）；计算机科学（68-XX）；运筹学、数学规划（90-XX）
欧米茄++ 1份文件引用(2015) 软件作者： 阿桑卡亚·夏尔马；王胜毅；安德烈亚科斯蒂亚；阿奎那·霍伯；魏恩根·钦 相关软件： HIP；Isabelle/HOL；Coq公司 主要字段： 数理逻辑与基础（03-XX）；计算机科学（68-XX）