We describe the theoretical background for a computer program that recognizes all closed orientable three-manifolds up to complexity 8. The program can treat also nonclosed three-manifolds and manifolds of greater complexity, but without necessarily succeeding in recognizing them.
"Computer recognition of three-manifolds." Experiment. Math. 7 (2) 153 - 161, 1998.