TY - RPRT TI - Symbolic computations in differential geometry AU - Diego Conti PY - 2008 UR - https://arxiv.org/abs/0804.3193 ID - 0804.3193 ER -