The advance of computer algebra systems has made it possible to build databases of several types of mathematical structures As an example, a database compiled by Besche, Eick and O'Brien contains all groups of order up to 2000 excluding those of order 210 (see [3]). This database is available through the computational algebra packages GAP ([4]) and MAGMA ([8]).. It allows group theorists to test conjectures or find counterexamples, and even detect theorems by examining a large number of examples.
展开▼