The aim of this paper is to describe a method of rigorous error analysis which meets the needs of a new technique of computer-assisted proofs based on topological tools (Mischaikow and Mrozek, 1995a, b; Mrozek, 1995; Zgliczynski, 1995).