This thesis contributes to the computational theory of finitely presented groupoids. It develops, implements and illustrates data types and algorithms aimed at pure and applied topology. In particular, the thesis designs ...