数学方案 9份文件引用(2011–2021) 软件作者： 雅克·卡雷特；Farmer，William M。；罗素·奥康纳 相关软件： 辅酶q；阿格达；HOL灯… 主要字段： 总体主题；藏品（00-XX）；数学逻辑与基础（03-XX）；计算机科学（68-XX）…