Computer classification of 3-manifolds.