隐秘HOL 11份文件引用(2017–2023) 软件作者： Basin，D.，Lochbihler，A.，Sefidgar，S.R。 相关软件： Isabelle/HOL；归档正式校对；伊莎贝尔… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；博弈论、经济学、金融和其他社会和行为科学（91-XX）…
拟Borel空间 2份文件引用(2017–2022) 软件作者： Michikazu Hirata、Yasuhiko Minamide、Tetsuya Sato 相关软件： 教会；霍尔；精益… 主要字段： 范畴理论；同调代数（18-XX）；概率论与随机过程（60-XX）；计算机科学（68-XX）