Vitalsource Technologies, Inc. Discrete Algebraic Methods