We describe the theoretical background for a computer program that rec
ognizes all closed orientable three-manifolds up to complexity 8. The
program can treat also nonclosed three-manifolds and manifolds of grea
ter complexity, but without necessarily succeeding in recognizing them
.