克莱纳代数 9份文件引用（2015年至2022年） 软件作者： A.阿姆斯特朗、G.斯特鲁斯、T.韦伯。 相关软件： 存档正式证据；Isabelle/HOL；大锤… 主要字段： 数理逻辑与基础（03-XX）；组合数学（05-XX）；群论与推广（20-XX）…