A Mathematical Formalism for the Evaluation of C-space for Redundant Robots el 31 de Diciembre del 2005