Mathematical strategies in the coarse-graining of extensive systems: Error quantification and adaptivity