存档正式证据 249篇文献引用(1963–2024) 软件作者： Jasmin Christian布兰切特；马克西米利安·哈斯贝克；丹尼尔·马提库克（Daniel Matichuk）；托比亚斯·尼普科 相关软件： Isabelle/HOL；伊莎贝尔；Coq… 主要字段： 数学逻辑与基础（03-XX）；组合数学（05-XX）；数论（11-XX）…
根 2份文件引用(2010–2021) 软件作者： I.Antcheva等人 相关软件： 根；PYTHIA8；克林… 主要字段： 数值分析（65-XX）；量子理论（81-XX）；统计力学，物质结构（82-XX）