Vitalsource Technologies, Inc. Mathematical Knowledge, Objects and Applications