自动参照 18篇文献引用(2013–2022) 软件作者： 彼得·兰米奇 相关软件： Isabelle/HOL；存档正式证据；起重… 主要字段： 数学逻辑与基础（03-XX）；常微分方程（34-XX）；数值分析（65-XX）…
隐秘HOL 9份文件引用(2017–2022) 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；存档正式证据；HOL… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融学和其他社会和行为科学（91-XX）…