Vitalsource Technologies, Inc. Progress In Differential-algebraic Equations