Many of the existence proofs and some of the uniqueness proofs for the sporadic groups originally used computer calculations, most of which have since been replaced by shorter hand proofs.
Многие из доказательств существования и некоторые из доказательств единственности для спорадических групп первоначально использовали компьютерные вычисления, большинство из которых затем были заменены более короткими доказательствами, сделанными вручную.