Vitalsource Technologies, Inc. Computer-aided Analysis Of Difference Schemes For Partial Differential