Vitalsource Technologies, Inc. Formal And Analytic Solutions Of Diff. Equations