TY - RPRT TI - Computability of finite simplicial complexes AU - Djamel Eddine Amir AU - Mathieu Hoyrup PY - 2022 UR - https://arxiv.org/abs/2202.04945 ID - 2202.04945 ER -