Keyword : computational%20group%20theory