Vitalsource Technologies, Inc. Computational Invariant Theory