On the numerical redundancies of geometric constraint systems | IEEE Conference Publication | IEEE Xplore