Vitalsource Technologies, Inc. Euclidean Distance Matrices and Their Applications in Rigidity Theory