Functions, Differential Equation Solver and Symbolic Mathematics