测试二元运算乘法表是否构成群表的算法设计
张大坤;王光兴
Algorithmic design of testing with computer whether the multiplication table of binary operation forms group table
Zhang, Da-Kun (1); Wang, Guang-Xing (1)
东北大学学报(自然科学版) . 2003, (3): 233 -236 .  DOI: -