Mathematica 7 takes the first steps in integrating finite group theory into the
Mathematica system, by providing extensive computable data on properties of known finite groups, as well as providing functions for efficiently counting the numbers of finite groups of particular sizes.