computer realization of two algorithms: the listing algorithm and the recognition algorithm. In
this paper the theoretical foundations of these algorithms are presented and a survey of
results concerning the practical tabulation of three-dimensional manifolds is given.