Vitalsource Technologies, Inc. Diskrete Algebraische Methoden