What can be used to classify small groups even though there is no classification of all finite groups?
Computer algebra systems can be used to list small groups, but there is no classification of all finite groups.q[›]