wlrush@water.waterloo.edu (Wenchantress Wench Wendall) (05/25/89)
DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF WATERLOO SEMINAR ACTIVITIES SYMBOLIC COMPUTATION SEMINAR -Tuesday, May 30, 1989 Professor John McKay of Concordia University Montreal, will speak on "Computation of Galois Groups" TIME: 3:30 p.m. ROOM: MC 1304 ABSTRACT I shall discuss the developments of the past decade in automating the computation of Galois groups from polynomials determining splitting fields. The first and (to date) only implementation is Ron Sommeling's code on maple. If time permits, I shall sketch developments in solving the inverse problem: Which groups are realisable as Galois groups? The computer has played a critical role in this work.
wlrush@water.waterloo.edu (Wenchantress Wench Wendall) (06/15/89)
DEPARTMENT OF COMPUTER SCIENCE UNIVERSITY OF WATERLOO SEMINAR ACTIVITIES SYMBOLIC COMPUTATION SEMINAR -Tuesday, June 20, 1989 Dr. Manuel Bronstein, IBM Thomas-Watson Research Center, Yorkton Heights, N.Y. will speak on "An Overview of Symbolic Integration" TIME: 3:30 p.m. ROOM: DC 1304 ABSTRACT We describe the main lines of decision procedures that determine whether an elementary function has an elementary antiderivative. In particular, we show the links between the residues of a complex algebraic function and its integrability.