Numerical methods to compute a pixel-pixel correlation matrix from Planck CMB data and associated tools for cosmic topology research.