A new algorithm for integral of trigonometric functions with mechanization. - Wang, Weiming; Lin, Changsheng (Appl. Math. Comput., 2005)