Standard Generators for Sporadic Simple Groups

In recent years an increasing amount of our knowledge about finite groups, and especially the sporadic simple groups, has been obtained by computer calculations. This has many advantages over more traditional methods, especially speed and accuracy, and problems can be solved that are out of reach of theoretical methods. But there are also some disadvantages, the most frequently mentioned being problems of checking or reproducing results. (The accusation of unreliability need not detain us, as the average published proof ‘by hand’ is equally, if not more, unreliable.) Much progress has however been made in remedying these deficiencies. A properly carried out computational proof can be much more rigorously and thoroughly checked than any proof ‘by hand’, and if it is properly documented then there should be no problem with repeating the calculations and reproducing the results. It has to be admitted, however, that many computational results fall far short of these ideal standards. The aim of the present paper is to make a small contribution towards improving the reproducibility of computational results on the sporadic simple groups. True reproducibility requires that both data and programs be produced independently. As regards programs, there are several independent systems capable of performing basic (or not so basic) calculations with