Funder
Natural Sciences and Engineering Research Council of Canada
Publisher
Springer Science and Business Media LLC
Subject
Artificial Intelligence,Computational Theory and Mathematics,Software
Reference10 articles.
1. Alperin, J.L.: A classification of $$n$$-abelian groups. Can. J. Math. 21, 1238–1244 (1969)
2. Baer, R.: Factorization of n-soluble and n-nilpotent groups. Proc. Am. Math. Soc. 4, 15–26 (1953)
3. Beeson, M.: Mathematical induction in Otter-lambda. J Autom. Reason. 36, 311–344 (2006)
4. Bell, H.E.: The Identity $$(xy)^n = x^n y^n$$: does it buy commutativity? Math. Mag. 55, 165–70 (1982)
5. Gallian, J.A., Reid, M.: Abelian forcing sets. Am. Math. Mon. 100(6), 580–582 (1993)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Formalization and Verification of Cyclic Group;2021 16th International Conference on Intelligent Systems and Knowledge Engineering (ISKE);2021-11-26