Vitalsource Technologies, Inc. Differential Forms: Theory and Practice