mwang@watmath.UUCP (mwang) (07/12/83)
_D_E_P_A_R_T_M_E_N_T _O_F _C_O_M_P_U_T_E_R _S_C_I_E_N_C_E _U_N_I_V_E_R_S_I_T_Y _O_F _W_A_T_E_R_L_O_O _S_E_M_I_N_A_R _A_C_T_I_V_I_T_I_E_S _S_Y_M_B_O_L_I_C _C_O_M_P_U_T_A_T_I_O_N _S_E_M_I_N_A_R - Tuesday, July 19, 1983. Prof. J.H. Davenport of Emmanuel College will speak on ``Integration of Algebraic Functions''. TIME: 3.30 PM ROOM: MC 5158 ABSTRACT The integration of algebraic functions (e.g. sqrt(x**2-1)) is a more complicated problem than the integration of rational or transcendental functions. It requires the use of several concepts from algebraic geometry, as well the application of many familiar techniques of computer algebra in new contexts. We will discuss ``Coates' algorithm'', the key to our ap- proach to integration, and show how it ``almost al- ways'' enables one to find closed form integrals or prove that they do not exist. We will then sketch the filling of the ``almost always'' gap, and mention some extensions. The talk should be largely intelligible to those without an algebraic geometry background. July 12, 1983