New Techniques to Solve Differential Equations Automatically | IEEE Conference Publication | IEEE Xplore