EXTENSION OF MATHEMATICS MECHANIZATION THEORY IN ALGEBRAIC CASE TO DIFFERENTIAL CASE